Program synthesis using conflict-driven learning. PLDI’18

Stochastic program optimization. CACM’16

Adaptive Restarts for Stochastic Synthesis. PLDI’21

Inductive Synthesis of Structurally Recursive Functional Programs from Non-Recursive Expressions. POPL’23

Type-and-example-directed program synthesis. PLDI’15

Example-directed synthesis: a type-theoretic interpretation. POPL’16

Synthesizing Data Structure Transformations from Input-Output Examples. PLDI 2015

Program synthesis from Polymorphic Refinement Types. PLDI’16

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. CAV’15

Reconciling enumerative and deductive program synthesis, PLDI’20