Olaf Chitil

37 papers A* 2A 3B 1C 5Misc 1Journal 4Unranked 16
YearRankTypeTitle / Venue / Authors
2021 — conf
Refining the Delta Debugging of Type Errors.
IFL
Joanna Sharrad, Olaf Chitil
2020 — ed.
IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020
IFL
Olaf Chitil
2020 — conf
Scaling Up Delta Debugging of Type Errors - Category: Research.
TFP
Joanna Sharrad, Olaf Chitil
2019 — conf
Type debugging with counter-factual type error messages using an existing type checker.
IFL
Kanae Tsushima, Olaf Chitil, Joanna Sharrad
2018 Misc conf
A Common Framework Using Expected Types for Several Type Debugging Approaches.
FLOPS
Kanae Tsushima, Olaf Chitil
2018 — conf
Delta Debugging Type Errors with a Blackbox Compiler.
IFL
Joanna Sharrad, Olaf Chitil, Meng Wang
2018 J jnl
Type generic observation of intermediate data structures for debugging lazy functional programs.
Comput. Lang. Syst. Struct.
Maarten Faddegon, Olaf Chitil
2016 — conf
A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs.
IFL
Olaf Chitil, Maarten Faddegon, Colin Runciman
2016 A* conf
Lightweight computation tree tracing for lazy functional languages.
PLDI
Maarten Faddegon, Olaf Chitil
2015 A* conf
Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack.
PLDI
Maarten Faddegon, Olaf Chitil
2014 C ed.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014
PPDP
Olaf Chitil, Andy King, Olivier Danvy
2014 — conf
Type Generic Observing.
Trends in Functional Programming
Maarten Faddegon, Olaf Chitil
2012 A conf
Practical typed lazy contracts.
ICFP
Olaf Chitil
2011 C conf
A semantics for lazy assertions.
PEPM
Olaf Chitil
2011 — ed.
Implementation and Application of Functional Languages - 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
IFL
Sven-Bodo Scholz, Olaf Chitil
2009 J jnl
Linear, bounded, functional pretty-printing.
J. Funct. Program.
S. Doaitse Swierstra, Olaf Chitil
2008 C conf
Comprehending finite maps for algorithmic debugging of higher-order functional programs.
PPDP
Olaf Chitil, Thomas Davie
2008 — ch.
Functional Programming.
Wiley Encyclopedia of Computer Science and Engineering
Olaf Chitil
2008 — ed.
Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
IFL
Olaf Chitil, Zoltán Horváth, Viktória Zsók
2007 B conf
Monadic, Prompt Lazy Assertions in Haskell.
APLAS
Olaf Chitil, Frank Huch
2006 — conf
A Pattern Logic for Prompt Lazy Assertions in Haskell.
IFL
Olaf Chitil, Frank Huch
2006 C conf
Combining algorithmic debugging and program slicing.
PPDP
Josep Silva, Olaf Chitil
2006 — conf
Proving the correctness of algorithmic debugging for functional programs.
Trends in Functional Programming
Yong Luo, Olaf Chitil
2006 — conf
Structure and Properties of Traces for Functional Programs.
TERMGRAPH@ETAPS
Olaf Chitil, Yong Luo
2005 J jnl
Pretty printing with lazy dequeues.
ACM Trans. Program. Lang. Syst.
Olaf Chitil
2004 C conf
Observing Functional Logic Computations.
PADL
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
2004 — conf
Source-Based Trace Exploration.
IFL
Olaf Chitil
2003 — conf
Lazy Assertions.
IFL
Olaf Chitil, Dan McNeill, Colin Runciman
2002 — conf
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.
Advanced Functional Programming
Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
2002 — conf
Transforming Haskell for Tracing.
IFL
Olaf Chitil, Colin Runciman, Malcolm Wallace
2001 A conf
Compositional Explanation of Types and Algorithmic Debugging of Type Errors.
ICFP
Olaf Chitil
2000 — conf
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs.
IFL
Olaf Chitil, Colin Runciman, Malcolm Wallace
2000 — —
Type-inference based deforestation of functional programs.
Olaf Chitil
1999 A conf
Type Inference Builds a Short Cut to Deforestation.
ICFP
Olaf Chitil
1999 — conf
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining.
IFL
Olaf Chitil
1997 — conf
Common Subexpressions Are Uncommon in Lazy Functional Languages.
Implementation of Functional Languages
Olaf Chitil
1997 J jnl
The c-Semantics: A Comprehensive Semantics for Functional Programs.
Fundam. Informaticae
Olaf Chitil