John K. Feser

According to our database, John K. Feser authored at least 6 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Inductive Program Synthesis Guided by Observational Program Similarity.

John K. Feser, Isil Dillig, Armando Solar-Lezama

Proc. ACM Program. Lang., October, 2023

2022

Metric Program Synthesis for Inverse CSG.

John K. Feser, Isil Dillig, Armando Solar-Lezama

CoRR, 2022

2020

Deductive optimization of relational data storage.

John K. Feser, Sam Madden, Nan Tang, Armando Solar-Lezama

Proc. ACM Program. Lang., 2020

2017

Query Optimization for Dynamic Imputation.

José Cambronero, John K. Feser, Micah J. Smith, Samuel Madden

Proc. VLDB Endow., 2017

Neural Functional Programming.

John K. Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow

Proceedings of the 5th International Conference on Learning Representations, 2017

2015

Synthesizing data structure transformations from input-output examples.

John K. Feser, Swarat Chaudhuri, Isil Dillig

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015