5 citations · 5 across the 4 of their papers we have counts for
3 papers · 1 filter
Metric Program Synthesis
John Feser, Isil Dillig, Armando Solar-Lezama
We present a new domain-agnostic synthesis technique for generating programs from input-output examples. Our method, called metric program synthesis, relaxes the well-known observa…
Deductive Optimization of Relational Data Storage
John K. Feser, Samuel Madden, Nan Tang +1
Optimizing the physical data storage and retrieval of data are two key database management problems. In this paper, we propose a language that can express a wide range of physical…
Differentiable Functional Program Interpreters
John K. Feser, Marc Brockschmidt, Alexander L. Gaunt +1
Programming by Example (PBE) is the task of inducing computer programs from input-output examples. It can be seen as a type of machine learning where the hypothesis space is the se…