Search Results for author: John K. Feser

Found 2 papers, 2 papers with code

Deductive Optimization of Relational Data Storage

1 code implementation8 Mar 2019 John K. Feser, Samuel Madden, Nan Tang, Armando Solar-Lezama

Optimizing the physical data storage and retrieval of data are two key database management problems.

Programming Languages Databases

Differentiable Functional Program Interpreters

1 code implementation7 Nov 2016 John K. Feser, Marc Brockschmidt, Alexander L. Gaunt, Daniel Tarlow

Recent work on differentiable interpreters relaxes the discrete space of programs into a continuous space so that search over programs can be performed using gradient-based optimization.

Program Synthesis

Cannot find the paper you are looking for? You can Submit a new open access paper.