5 citations · 5 across the 4 of their papers we have counts for
5 papers
Dynestyx: A Probabilistic Programming Library for Dynamical Systems
Daniel Waxman, Dmitry Batenkov, John Feser +4
State-space models (SSMs) are the standard formalism for Bayesian treatment of dynamical systems, with natural applications in statistics, signal processing, and machine learning.…
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…
LATE Ain'T Earley: A Faster Parallel Earley Parser
Willow Ahrens, John Feser, Robin Hui
We present the LATE algorithm, an asynchronous variant of the Earley algorithm for parsing context-free grammars. The Earley algorithm is naturally task-based, but is difficult to…
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…