Type Generic Observing. - Maarten Faddegon; Olaf Chitil (Trends in Functional Programming, 2014)

Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack. - Maarten Faddegon; Olaf Chitil (PLDI, 2015)

A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. - Olaf Chitil; Maarten Faddegon; Colin Runciman (IFL, 2016)

Lightweight computation tree tracing for lazy functional languages. - Maarten Faddegon; Olaf Chitil (PLDI, 2016)

Algorithmic debugging for complex lazy functional programs. - Maarten Faddegon (2017)

Type generic observation of intermediate data structures for debugging lazy functional programs. - Maarten Faddegon; Olaf Chitil (Comput. Lang. Syst. Struct., 2018)