Introduction
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging*
Algorithmic Debugging and Hypothetical Reasoning
High-Level Views of Distributed Executions : Convex Abstract Events
META-AMPHION : Synthesis of Efficient Domain-Specific Program Synthesis Systems
Desert Island Column