John K. Feser

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Quantifier Elimination

Execution Model

Database Management Systems

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

John K. Feser, Isil Dillig, Armando Solar-Lezama
Inductive Program Synthesis Guided by Observational Program Similarity. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
John K. Feser, Isil Dillig, Armando Solar-Lezama
Metric Program Synthesis for Inverse CSG. CoRR (2022)
John K. Feser, Sam Madden, Nan Tang, Armando Solar-Lezama
Deductive optimization of relational data storage. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
John K. Feser, Samuel Madden, Nan Tang, Armando Solar-Lezama
Deductive Optimization of Relational Data Storage. CoRR (2019)
John K. Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow
Neural Functional Programming. ICLR (Workshop) (2017)
José Cambronero, John K. Feser, Micah J. Smith, Samuel Madden
Query Optimization for Dynamic Imputation. Proc. VLDB Endow. 10 (11) (2017)
John K. Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow
Neural Functional Programming. CoRR (2016)
John K. Feser, Swarat Chaudhuri, Isil Dillig
Synthesizing data structure transformations from input-output examples. PLDI (2015)