• Publications
  • Influence
Delta Debugging Type Errors with a Blackbox Compiler
This work applies the Isolating Delta Debugging algorithm coupled with a blackbox compiler to locate type errors and obtains positive results in favour of the method of type error debugging. Expand
Scaling Up Delta Debugging of Type Errors - Category: Research
A framework for quantifying the quality of type error debuggers is proposed and applied to a new tool that applies a new algorithm for segmenting a large program before the delta debugging algorithm is applied. Expand
Type debugging with counter-factual type error messages using an existing type checker
A new solution is proposed that provides counter-factual type error messages; these messages state what types specific subexpressions in a program should have (in contrast to the types they actually have) to remove a type error. Expand