Publications: Conference and Journal

(2020). Semantic Code Search via Equational Reasoning. In PLDI.

PDF Artifact Conference Talk Teaser Video

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


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


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