Publications: Conference and Journal

(2019). A Language for Counterfactual Generative Models. In submission.

PDF

(2019). Synthesizing Control-Flow Graph Generators from Operational Semantics. In submission.

PDF

Publications: Short Papers

(2017). Incremental Parametric Syntax for Multi-Language Transformation. In SPLASH Companion.

PDF Code

(2017). QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge. In SPLASH Companion.

PDF Code Website

Publications: Theses