Olaf Chitil

ORCID

Publication Activity (10 Years)

Years Active: 1997-2021
Publications (10 Years): 9

Top Venues

IFL

PLDI

Comput. Lang. Syst. Struct.

Trends in Functional Programming

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Joanna Sharrad, Olaf Chitil
Refining the Delta Debugging of Type Errors. IFL (2021)
Joanna Sharrad, Olaf Chitil
Scaling Up Delta Debugging of Type Errors - Category: Research. TFP (2020)
Kanae Tsushima, Olaf Chitil, Joanna Sharrad
Type debugging with counter-factual type error messages using an existing type checker. IFL (2019)
Kanae Tsushima, Olaf Chitil
A Common Framework Using Expected Types for Several Type Debugging Approaches. FLOPS (2018)
Maarten Faddegon, Olaf Chitil
Type generic observation of intermediate data structures for debugging lazy functional programs. Comput. Lang. Syst. Struct. 52 (2018)
Joanna Sharrad, Olaf Chitil, Meng Wang
Delta Debugging Type Errors with a Blackbox Compiler. IFL (2018)
Olaf Chitil, Maarten Faddegon, Colin Runciman
A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. IFL (2016)
Maarten Faddegon, Olaf Chitil
Lightweight computation tree tracing for lazy functional languages. PLDI (2016)
Maarten Faddegon, Olaf Chitil
Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack. PLDI (2015)
Maarten Faddegon, Olaf Chitil
Type Generic Observing. Trends in Functional Programming (2014)
Olaf Chitil
Practical typed lazy contracts. ICFP (2012)
Olaf Chitil
A semantics for lazy assertions. PEPM (2011)
Olaf Chitil
by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008. J. Funct. Program. 19 (6) (2009)
S. Doaitse Swierstra, Olaf Chitil
Linear, bounded, functional pretty-printing. J. Funct. Program. 19 (1) (2009)
Olaf Chitil, Thomas Davie
Comprehending finite maps for algorithmic debugging of higher-order functional programs. PPDP (2008)
Olaf Chitil, Yong Luo
Structure and Properties of Traces for Functional Programs. Electron. Notes Theor. Comput. Sci. 176 (1) (2007)
Olaf Chitil, Frank Huch
Monadic, Prompt Lazy Assertions in Haskell. APLAS (2007)
Olaf Chitil, Frank Huch
A Pattern Logic for Prompt Lazy Assertions in Haskell. IFL (2006)
Yong Luo, Olaf Chitil
Proving the correctness of algorithmic debugging for functional programs. Trends in Functional Programming (2006)
Josep Silva, Olaf Chitil
Combining algorithmic debugging and program slicing. PPDP (2006)
Olaf Chitil
Pretty printing with lazy dequeues. ACM Trans. Program. Lang. Syst. 27 (1) (2005)
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
Observing Functional Logic Computations. PADL (2004)
Olaf Chitil
Source-Based Trace Exploration. IFL (2004)
Olaf Chitil, Dan McNeill, Colin Runciman
Lazy Assertions. IFL (2003)
Olaf Chitil, Colin Runciman, Malcolm Wallace
Transforming Haskell for Tracing. IFL (2002)
Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming (2002)
Olaf Chitil
Compositional Explanation of Types and Algorithmic Debugging of Type Errors. ICFP (2001)
Olaf Chitil, Colin Runciman, Malcolm Wallace
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. IFL (2000)
Olaf Chitil
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining. IFL (1999)
Olaf Chitil
Type Inference Builds a Short Cut to Deforestation. ICFP (1999)
Olaf Chitil
Common Subexpressions Are Uncommon in Lazy Functional Languages. Implementation of Functional Languages (1997)
Olaf Chitil
The c-Semantics: A Comprehensive Semantics for Functional Programs. Fundam. Informaticae 31 (3/4) (1997)

Olaf Chitil.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olaf Chitil