School of Computing

Publications by Dr Olaf Chitil

Also view these in the Kent Academic Repository

Article
Swierstra, S. and Chitil, O. (2009). Linear, bounded, functional pretty-printing. Journal of Functional Programming [Online] 19:1-16. Available at: http://dx.doi.org/10.1017/S0956796808006990.
Chitil, O. (2005). Pretty printing with lazy dequeues. Transactions on Programming Languages and Systems [Online] 27:163-184. Available at: http://dx.doi.org/10.1145/1053468.1053473.
Chitil, O. (1997). The Sigma-Semantics: A Comprehensive Semantics for Functional Programs. Fundamenta Informaticae [Online] 31:253-294. Available at: http://dx.doi.org/10.3233/FI-1997-313404.
Book section
Chitil, O. (2009). Functional Programming. in: Wah, B. W. ed. Encyclopedia of Computer Science and Engineering. Hoboken, NJ: John Wiley & Sons, pp. 1334-1344.
Monograph
Chitil, O. (2011). StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict. University of Kent.
Luo, Y. and Chitil, O. (2007). Replacing unevaluated parts in the traces of functional programs. University of Kent, Canterbury, 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). Algorithmic Debugging with Cyclic Traces of Lazy Functional Programs. Computing Laboratory, University of 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. Available at: http://ftp.informatik.rwth-aachen.de/Publications/AIB/1996/1996-07.ps.gz.
Conference or workshop item
Chitil, O., Faddegon, M. and Runciman, C. (2017). A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. in: Implementation and Application of Functional Languages, IFL 2016. ACM. Available at: http://dx.doi.org/10.1145/3064899.3064904.
Faddegon, M. and Chitil, O. (2016). Lightweight Computation Tree Tracing for Lazy Functional Languages. in: 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016. ACM Press, pp. 114-128. Available at: http://dx.doi.org/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: 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI 2015. ACM, pp. 33-42. Available at: http://dx.doi.org/10.1145/2737924.2737985.
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.
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. Available at: http://dx.doi.org/10.1007/978-3-319-14675-1_6.
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/.
Chitil, O. (2012). Practical Typed Lazy Contracts. in: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012). ACM, pp. 67-76. Available at: http://doi.acm.org/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. ACM, pp. 141-150. Available at: http://doi.acm.org/10.1145/1929501.1929527.
Chitil, O. (2008). Heat An Interactive Development Environment for Learning & Teaching Haskell. in: Implementation and Application of Functional Programs, IFL 2008.
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. ACM, pp. 205-216. Available at: http://dx.doi.org/10.1145/1389449.1389475.
Chitil, O. and Luo, Y. (2007). Structure and Properties of Traces for Functional Programs. in: Mackie, I. ed. Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. Elsevier, pp. 39-63. Available at: http://dx.doi.org/10.1016/j.entcs.2006.10.032.
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, 18th International Workshop, IFL 2006. Germany: Springer, pp. 126-144. Available at: http://dx.doi.org/10.1007/978-3-540-74130-5.
Chitil, O. and Huch, F. (2007). Monadic, prompt lazy assertions in Haskell. in: Shao, Z. ed. Programming Languages and Systems, 5th Asian Symposium, APLAS 2007. Springer, pp. 38-53. Available at: http://dx.doi.org/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. Seventh Symposium on Trends in Functional Programming, TFP 2006. United States: Intellect UK, pp. 19-34.
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. (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 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.
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.
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.
Silva, J. and Chitil, O. (2006). Combining Algorithmic Debugging and Program Slicing. in: 8th ACM SIGPLAN international conference on Principles and practice of declarative programming. New York, New York (USA): ACM Press, pp. 157-166. Available at: http://doi.acm.org/10.1145/1140335.1140355.
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. (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. (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). Source-Based Trace Exploration. in: Grelck, C. et al. eds. Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004. Springer, pp. 126-141. Available at: http://dx.doi.org/10.1007/11431664_8.
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., McNeill, D. and Runciman, C. (2004). Lazy Assertions. in: Trinder, P., Michaelson, G. and Pena, R. eds. Implementation of Functional Languages: 15th International Workshop, IFL 2003. Springer, pp. 1-19.
Brassel, B. et al. (2004). Observing Functional Logic Computations. in: Jayaraman, B. ed. Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04). Springer, pp. 193-208.
Chitil, O. (2004). Source-Based Trace Exploration. in: Draft Proceedings of the 16th International Workshop on Implementation of Functional Languages, IFL 2004. Technical Report 0408, University of Kiel, pp. 239-244.
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. Available at: http://dx.doi.org/10.1007%2F3-540-44854-3_11.
Claessen, K. et al. (2003). Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. in: 4th Summer School in Advanced Functional Programming. Springer, pp. 59-99. Available at: http://link.springer.com/chapter/10.1007%2F978-3-540-44833-4_3.
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. et al. (2001). Multiple-View Tracing for Haskell: a New Hat. in: Hinze, R. ed. 2001 ACM SIGPLAN Haskell Workshop. Firenze, Italy.
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 (ICFP'01). Firenze, Italy: ACM, pp. 193-204. Available at: http://dx.doi.org/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. Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000). Aachen, Germany: Springer, pp. 176-193. Available at: http://dx.doi.org/10.1007/3-540-45361-X_11.
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). 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. Available at: http://dx.doi.org/10.1007/10722298.
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. (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. (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 Builds a Short Cut to Deforestation. in: Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming (ICFP '99). Broadway, New York, USA: ACM Press, pp. 249-260.
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. Available at: http://dx.doi.org/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.
Thesis
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 book
Chitil, O., King, A. and Olivier, D. eds. (2014). PPDP '14: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. [Online]. ACM. Available at: http://dl.acm.org/citation.cfm?id=2643135.
Scholz, S.-B. and Chitil, O. eds. (2011). Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008; Hatfield, UK, September 2008; Revised Selected Papers. [Online]. Springer-Verlag. Available at: http://dx.doi.org/10.1007/978-3-642-24452-0.
Chitil, O., Horváth, Z. and Zsòk, V. eds. (2008). Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. [Online]. Berlin, Heidelberg: Springer-Verlag. Available at: http://dx.doi.org/10.1007/978-3-540-85373-2.
Review
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 [Online] 19:723-725. Available at: http://dx.doi.org/10.1017/S0956796809007357.
Total publications in KAR: 63 [See all in KAR]

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

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

Last Updated: 24/07/2017