Synthesizing data structure transformations from input-output examples. - John K. Feser; Swarat Chaudhuri; Isil Dillig (PLDI, 2015)

Neural Functional Programming. - John K. Feser; Marc Brockschmidt; Alexander L. Gaunt; Daniel Tarlow (ICLR (Workshop), 2017)

Query Optimization for Dynamic Imputation. - José Cambronero; John K. Feser; Micah J. Smith; Samuel Madden 001 (Proc. VLDB Endow., 2017)

Deductive optimization of relational data storage. - John K. Feser; Sam Madden 001; Nan Tang 001; Armando Solar-Lezama (Proc. ACM Program. Lang., 2020)

Metric Program Synthesis for Inverse CSG. - John K. Feser; Isil Dillig; Armando Solar-Lezama (CoRR, 2022)

Inductive and Deductive Synthesis for Database Applications - John K. Feser (2023)

Inductive Program Synthesis Guided by Observational Program Similarity (Artifact). - John K. Feser; Isil Dillig; Armando Solar-Lezama (Zenodo, 2023)

Inductive Program Synthesis Guided by Observational Program Similarity (Artifact). - John K. Feser; Isil Dillig; Armando Solar-Lezama (Zenodo, 2023)

Inductive Program Synthesis Guided by Observational Program Similarity. - John K. Feser; Isil Dillig; Armando Solar-Lezama (Proc. ACM Program. Lang., 2023)

Peepco: Batch-Based Consistency Optimization. - Ivan Kuraj; John K. Feser; Nadia Polikarpova; Armando Solar-Lezama (Proc. ACM Program. Lang., 2025)