Travelled to:1 × Denmark
1 × France
1 × Hungary
1 × The Netherlands
2 × Germany
2 × Italy
2 × Spain
3 × USA
3 × United Kingdom
Collaborated with:∅ C.Runciman M.Faddegon M.Wallace F.Huch T.Davie J.Silva D.McNeill B.Braßel M.Hanus K.Claessen J.Hughes
Talks about:lazi (8) function (6) program (5) trace (5) debug (5) type (5) algorithm (4) haskel (3) assert (3) deforest (2)
♂ Person: Olaf Chitil
DBLP: Chitil:Olaf
Facilitated 4 volumes:
Ed
PrCo
EdEdContributed to:
2015
2012
20112008200620062004
20042003
20022002200120001999199919972016Wrote 17 papers:
- PLDI-2015-FaddegonC #algorithm #debugging #dependence #haskell #source code #stack
- Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack (MF, OC), pp. 33–42.
- ICFP-2012-Chitil #contract #lazy evaluation
- Practical typed lazy contracts (OC), pp. 67–76.
- PEPM-2011-Chitil #lazy evaluation #semantics
- A semantics for lazy assertions (OC), pp. 141–150.
- PPDP-2008-ChitilD #algorithm #debugging #finite #functional #higher-order #source code
- Comprehending finite maps for algorithmic debugging of higher-order functional programs (OC, TD), pp. 205–216.
- IFL-2006-ChitilH #haskell #lazy evaluation #logic
- A Pattern Logic for Prompt Lazy Assertions in Haskell (OC, FH), pp. 126–144.
- PPDP-2006-SilvaC #algorithm #debugging #slicing
- Combining algorithmic debugging and program slicing (JS, OC), pp. 157–166.
- IFL-2004-Chitil
- Source-Based Trace Exploration (OC), pp. 126–141.
- PADL-2004-BrasselCHH #functional #logic
- Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.
- IFL-2003-ChitilMR #lazy evaluation
- Lazy Assertions (OC, DM, CR), pp. 1–19.
- AFP-2002-ClaessenRCHW02 #functional #lazy evaluation #quickcheck #source code #testing #using
- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.
- IFL-2002-ChitilRW #haskell
- Transforming Haskell for Tracing (OC, CR, MW), pp. 165–181.
- ICFP-2001-Chitil #algorithm #composition #debugging #fault
- Compositional Explanation of Types and Algorithmic Debugging of Type Errors (OC), pp. 193–204.
- IFL-2000-ChitilRW #comparative #debugging #evaluation #functional #lazy evaluation #source code
- Freja, Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs (OC, CR, MW), pp. 176–193.
- ICFP-1999-Chitil #deforestation #type inference
- Type Inference Builds a Short Cut to Deforestation (OC), pp. 249–260.
- IFL-1999-Chitil #deforestation
- Type-Inference Based Short Cut Deforestation (Nearly) without Inlining (OC), pp. 19–35.
- IFL-1997-Chitil #functional #lazy evaluation
- Common Subexpressions Are Uncommon in Lazy Functional Languages (OC), pp. 53–71.
- PLDI-2016-FaddegonC #functional #lazy evaluation #lightweight
- Lightweight computation tree tracing for lazy functional languages (MF, OC), pp. 114–128.