School of Computing

Publications by Dr Olaf Chitil

Also view these in the Kent Academic Repository

Articles
Faddegon, M. and Chitil, O. (2017) 'A Type Generic Definition for Debugging Lazy Functional Programs by Value Observation', Computer Languages, Systems & Structures. Elsevier, pp. 92-110. doi: 10.1016/j.cl.2017.05.001.
Swierstra, S. D. and Chitil, O. (2009) 'Linear, bounded, functional pretty-printing', Journal of Functional Programming. Cambridge University Press, pp. 1-16. doi: 10.1017/S0956796808006990.
Chitil, O. and Luo, Y. (2007) 'Structure and Properties of Traces for Functional Programs', Electronic Notes in Theoretical Computer Science. Edited by I. Mackie. Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006, Elsevier, pp. 39-63. doi: 10.1016/j.entcs.2006.10.032.
Chitil, O. (2005) 'Pretty printing with lazy dequeues', Transactions on Programming Languages and Systems. ACM, pp. 163-184. doi: 10.1145/1053468.1053473.
Chitil, O. (1999) 'Type Inference Builds a Short Cut to Deforestation', ACM SIGPLAN Notices. Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Broadway, New York, USA: ACM, pp. 249-260. doi: 10.1145/317765.317907.
Chitil, O. (1997) 'The Sigma-Semantics: A Comprehensive Semantics for Functional Programs', Fundamenta Informaticae. IOS Press, pp. 253-294. doi: 10.3233/FI-1997-313404.
Book sections
Sharrad, J. and Chitil, O. (2020) 'Scaling Up Delta Debugging of Type Errors', in Byrski, A. and Hughes, J. (eds) Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland. 21st International Symposium on Trends in Functional Programming, Cham, Switzerland: Springer, pp. 71-93. doi: 10.1007/978-3-030-57761-2_4.
Chitil, O., Faddegon, M. and Runciman, C. (2017) 'A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs', in Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. Implementation and Application of Functional Languages, IFL 2016, New York, USA: ACM. doi: 10.1145/3064899.3064904.
Faddegon, M. and Chitil, O. (2016) 'Lightweight Computation Tree Tracing for Lazy Functional Languages', in Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, New York, USA: ACM, pp. 114-128. doi: 10.1145/2908080.2908104.
Faddegon, M. and Chitil, O. (2015) 'Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack', in Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI 2015, New York, USA: ACM, pp. 33-42. doi: 10.1145/2737924.2737985.
Chitil, O. (2012) 'Practical Typed Lazy Contracts', in Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012), New York, USA: ACM, pp. 67-76. doi: 10.1145/2364527.2364539.
Chitil, O. (2011) 'A semantics for lazy assertions', in Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, New York, USA: ACM, pp. 141-150. doi: 10.1145/1929501.1929527.
Chitil, O. (2009) 'Functional Programming', in Wah, B. W. (ed.) Encyclopedia of Computer Science and Engineering. Hoboken, NJ: John Wiley & Sons, pp. 1334-1344.
Chitil, O. and Davie, T. (2008) 'Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs', in PPDP '08 Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming. PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, New York, USA: ACM, pp. 205-216. doi: 10.1145/1389449.1389475.
Chitil, O. and Huch, F. (2007) 'Monadic, prompt lazy assertions in Haskell', in Shao, Z. (ed.) Programming Languages and Systems. Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Berlin, Germany: Springer, pp. 38-53. doi: 10.1007/978-3-540-76637-7_4.
Luo, Y. and Chitil, O. (2007) 'Proving the correctness of algorithmic debugging for functional programs', in Nilsson, H. (ed.) Trends in Functional Programming. Seventh Symposium on Trends in Functional Programming, TFP 2006, Bristol, UK: Intellect Books, pp. 19-34.
Chitil, O. and Huch, F. (2007) 'A Pattern Logic for Prompt Lazy Assertions', in Horváth, Z., Zsok, V., and Butterfield, A. (eds) Implementation and Application of Functional Languages. Implementation and Application of Functional Languages, 18th International Workshop, IFL 2006, Berlin, Germany: Springer, pp. 126-144. doi: 10.1007/978-3-540-74130-5.
Silva, J. and Chitil, O. (2006) 'Combining Algorithmic Debugging and Program Slicing', in Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative. 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, New York, USA: ACM, pp. 157-166. doi: 10.1145/1140335.1140355.
Chitil, O. (2005) 'Source-Based Trace Exploration', in Grelck, C., Huch, F., Michaelson, G., and Trinder, P. (eds) Implementation and Application of Functional Languages 16th International Workshop. Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Berlin, Germany: Springer, pp. 126-141. doi: 10.1007/11431664_8.
Chitil, O., McNeill, D. and Runciman, C. (2004) 'Lazy Assertions', in Trinder, P., Michaelson, G., and Pena, R. (eds) Implementation of Functional Languages 15th International Workshop. Implementation of Functional Languages: 15th International Workshop, IFL 2003, Berlin, Germany: Springer, pp. 1-19. doi: 10.1007/978-3-540-27861-0_1.
Braßel, B., Chitil, O., Hanus, M. and Huch, F. (2004) 'Observing Functional Logic Computations', in Jayaraman, B. (ed.) Practical Aspects of Declarative Languages 6th International Symposium. Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), Springer, pp. 193-208. doi: 10.1007/978-3-540-24836-1_14.
Claessen, K., Runciman, C., Chitil, O., Hughes, J. and Wallace, M. (2003) 'Testing and Tracing Lazy Functional Programs using QuickCheck and Hat', in Advanced Functional Programming 4th International School. 4th Summer School in Advanced Functional Programming, Berlin, Germany: Springer, pp. 59-99. doi: 10.1007/978-3-540-44833-4_3.
Chitil, O. (2001) 'Compositional Explanation of Types and Algorithmic Debugging of Type Errors', in Proceedings of the sixth ACM SIGPLAN international conference on Functional programming. Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), New York, USA: ACM, pp. 193-204. doi: 10.1145/507635.507659.
Chitil, O., Runciman, C. and Wallace, M. (2001) 'Freja, Hat and Hood --- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs', in Mohnen, M. and Koopman, P. (eds) Implementation of Functional Languages 12th International Workshop. Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), Berlin, Germany: Springer, pp. 176-193. doi: 10.1007/3-540-45361-X_11.
Monographs
Chitil, O. (2011) StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict. University of Kent. doi: 2-11.
Luo, Y. and Chitil, O. (2007) Algorithmic Debugging with Cyclic Traces of Lazy Functional Programs. Computing Laboratory, University of Kent.
Luo, Y. and Chitil, O. (2007) Algorithmic Debugging for Locally Defined Functions. University of Kent, Canterbury.
Luo, Y. and Chitil, O. (2007) Algorithmic debugging and trusted functions. Computing Laboratory, University of Kent.
Luo, Y. and Chitil, O. (2007) Replacing unevaluated parts in the traces of functional programs. University of Kent, Canterbury, Kent.
Chitil, O. (2006) Pretty Printing with Delimited Continuations. University of Kent.
Chitil, O. (1997) Adding an Optimisation Pass to the Glasgow Haskell Compiler. RWTH Aachen, Germany.
Chitil, O. (1996) The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. RWTH Aachen. doi: AIB-07-1996.
Conference or workshop items
Sharrad, J. and Chitil, O. (2022) 'Refining the Delta Debugging of Type Errors', in. 33rd Symposium on Implementation and Application of Functional Languages (IFL '21), New York, NY, USA: ACM. doi: 10.1145/3544885.3544888.
Tsushima, K., Chitil, O. and Sharrad, J. (2020) 'Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker', in. IFL 2019: 31st Symposium on Implementation and Application of Functional Languages, New York, NY, USA: ACM. doi: 10.1145/3412932.3412939.
Sharrad, J., Chitil, O. and Wang, M. (2019) 'Delta Debugging Type Errors with a Blackbox Compiler', in. 30th Symposium on Implementation and Application of Functional Languages (IFL 2018), ACM, pp. 13-24. doi: 10.1145/3310232.3310243.
Tsushima, K. and Chitil, O. (2018) 'A Common Framework Using Expected Types for Several Type Debugging Approaches', in. FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming, Springer, pp. 230-246. doi: 10.1007/978-3-319-90686-7_15.
Tsushima, K. and Chitil, O. (2014) 'Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo)', in. 12th Asian Symposium on Programming Languages and Systems, APLAS 2014. Available at: http://loris-7.ddns.comp.nus.edu.sg/~aplas14/poster-session.html.
Tsushima, K. and Chitil, O. (2014) 'Enumerating Counter-Factual Type Error Messages with an Existing Type Checker', in. 16th Workshop on Programming and Programming Languages, PPL2014. Available at: http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/.
Faddegon, M. and Chitil, O. (2014) 'Type Generic Observing', in Hage, J. and McCarthy, J. (eds). Symposium on Trends in Functional Programming 2014, Springer, pp. 84-103. doi: 10.1007/978-3-319-14675-1_6.
Chitil, O. (2008) 'Heat — An Interactive Development Environment for Learning & Teaching Haskell', in. Implementation and Application of Functional Programs, IFL 2008.
Chitil, O. and Huch, F. (2006) 'A Pattern Logic for Prompt Lazy Assertions in Haskell', in. Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary: Eotvos Lorand University.
Davie, T. and Chitil, O. (2006) 'Display of Functional Values for Debugging', in. Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary: Eotvos Lorand University, pp. 326-337.
Chitil, O. (2006) 'Promoting Non-Strict Programming', in. Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary: Eotvos Lorand University, pp. 512-516.
Luo, Y. and Chitil, O. (2006) 'Replacing Unevaluated Parts in the Traces of Functional Programs', in. Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary: Eotvos Lorand University, pp. 304-325.
Davie, T. and Chitil, O. (2006) 'One Right Does Make a Wrong', in. Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. Available at: http://www.cs.nott.ac.uk/~psznhn/TFP2006/Papers/18-DavieChitil-OneRightDoesMakeAWrong.pdf.
Chitil, O. and Luo, Y. (2006) 'Towards a Theory of Tracing for Functional Programs based on Graph Rewriting', in Mackie, I. (ed.). Draft Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006, Termgraph.
Chitil, O. and Luo, Y. (2006) 'Proving the Correctness of Algorithmic Debugging for Functional Programs', in. Seventh Symposium on Trends in Functional Programming, TFP 2006.
Davie, T. and Chitil, O. (2005) 'Hat-Delta --- One Right Does Make a Wrong', in Runciman, C. (ed.). Hat Day 2005: work in progress on the Hat tracing system for Haskell, Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, pp. 6-11.
Chitil, O. (2005) 'Pretty Printing with Partial Continuations', in Butterfield, A. (ed.). 17th International Workshop on Implementation and Application of Functional Languages, IFL 2005.
Chitil, O. (2005) 'Hat-Explore: Source-Based Trace Exploration', in Runciman, C. (ed.). Hat Day 2005: work in progress on the Hat tracing system for Haskell, University of York, UK.
Chitil, O. (2004) 'Source-Based Trace Exploration', in. 16th International Workshop on Implementation of Functional Languages, IFL 2004, University of Kiel.
Chitil, O., Runciman, C. and Wallace, M. (2003) 'Transforming Haskell for Tracing', in Ricardo, P. and Thomas, A. (eds). Implementation of Functional Languages: 14th International Workshop, IFL 2002, Berlin: Springer-Verlag Berlin, pp. 165-181. doi: 10.1007/3-540-44854-3_11.
Chitil, O., Runciman, C. and Wallace, M. (2002) 'Transforming Haskell for Tracing', in Ricardo, P. and Thomas, A. (eds). Draft Proceedings of the 14th International Workshop on Implementation of Functional Languages, IFL 2002.
Chitil, O. (2001) 'A Semantics for Tracing', in Arts, T. and Mohnen, M. (eds). Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001, Älvsjö, Sweden, pp. 249-254.
Wallace, M., Chitil, O., Brehm, T. and Runciman, C. (2001) 'Multiple-View Tracing for Haskell: a New Hat', in Hinze, R. (ed.). 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy.
Simon, A., Chitil, O. and Huch, F. (2000) 'Typeview: A Tool for Understanding Type Errors', in Mohnen, M. and Koopman, P. (eds). Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages, Aachen, Germany, pp. 63-69.
Chitil, O., Runciman, C. and Wallace, M. (2000) 'Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems', in Mohnen, M. and Koopman, P. (eds). Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages, Aachen, Germany, pp. 47-62.
Chitil, O. (2000) 'Deforestation of Functional Programs through Type Inference', in Goerigk, W. (ed.). 17 Workshops der GI-Fachgruppe 2.1.4. Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten, Bericht Nr. 2007 des Instituts für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel, pp. 121-130.
Chitil, O. (2000) 'Type-Inference Based Short Cut Deforestation (Nearly) without Inlining', in Clack, C. and Koopman, P. (eds). 11th International Workshop on Implementation of Functional Languages, IFL 1999, Springer, pp. 19-35. doi: 10.1007/10722298.
Chitil, O. (1999) 'Denotational Semantics for Teaching Lazy Functional Programming', in. Proceedings of the Workshop on Functional and Declarative Programming in Education.
Chitil, O. (1999) 'Type-Inference Based Short Cut Deforestation (nearly) without Inlining', in Clack, C. and Koopman, P. (eds). 11th International Workshop on Implementation of Functional Languages, pp. 17-32.
Chitil, O. (1998) 'Common Subexpressions are Uncommon in Lazy Functional Languages', in Clack, C., Hammond, K., and Davie, T. (eds). Implementation of Functional Languages: 9th International Workshop, IFL '97, pp. 53-71. doi: 10.1007/BFb0055424.
Chitil, O. (1997) 'Common Subexpression Elimination in a Lazy Functional Language', in Clack, C., Davie, T., and Hammond, K. (eds). Draft Proceedings of the 9th International Workshop on Implementation of Functional Languages, pp. 501-516.
Theses
Chitil, O. (2000) Type-Inference Based Deforestation of Functional Programs.
Chitil, O. (1995) Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung.
Edited books
Chitil, O. (ed.) (2021) IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages. New York, NY, USA: ACM. doi: 10.1145/3462172.
Chitil, O. and King, A. (2014) PPDP '14: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. Edited by O. Chitil, A. King, and D. Olivier. ACM. Available at: http://dl.acm.org/citation.cfm?id=2643135.
Chitil, O. (2011) Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008; Hatfield, UK, September 2008; Revised Selected Papers. Edited by S.-B. Scholz and O. Chitil. Springer-Verlag, pp. 182-196. doi: 10.1007/978-3-642-24452-0.
Chitil, O. (2008) Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Edited by O. Chitil, Z. Horváth, and V. Zsòk. Berlin, Heidelberg: Springer-Verlag. doi: 10.1007/978-3-540-85373-2.
Reviews
Chitil, O. (2009) 'Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008', Journal of Functional Programming. Cambridge University Press, pp. 723-725. doi: 10.1017/S0956796809007357.
Total publications in KAR: 70 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 19/03/2024