Publications: Major

More Publications

(2021). A Language for Counterfactual Generative Models. In ICML.

PDF Code Supplementary material

(2021). A Large-Scale Benchmark for Few-Shot Program Induction and Synthesis. In ICML.

PDF

(2020). Demystifying Dependence. In Onward!.

PDF Slides Video Lightning talk

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

PDF

Publications: Minor

More Publications

(2021). Formal Methods for the Informal Engineer: Workshop Recommendations. On arXiV.

PDF

(2020). One CFG-Generator to Rule Them All. In submission.

PDF

(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 (and supervised)

More Publications

(2021). Meta-metaprogramming. Ph. D. Dissertation.

PDF

(2019). Multi-Language Code Search. Master’s Thesis.

PDF