38 citations · 267 across the 48 of their papers we have counts for
19 papers · 1 filter
Probabilistic Programming with Programmable Variational Inference
McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang +4
Compared to the wide array of advanced Monte Carlo methods supported by modern probabilistic programming languages (PPLs), PPL support for variational inference (VI) is less develo…
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
Mathieu Huot, Matin Ghavami, Alexander K. Lew +6
This article presents GenSQL, a probabilistic programming system for querying probabilistic generative models of database tables. By augmenting SQL with only a few key primitives f…
Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
Shivam Handa, Martin Rinard
We present a new synthesis algorithm to solve program synthesis over noisy datasets, i.e., data that may contain incorrect/corrupted input-output examples. Our algorithm uses an ab…
Program Synthesis Over Noisy Data with Guarantees
Shivam Handa, Martin Rinard
We explore and formalize the task of synthesizing programs over noisy data, i.e., data that may contain corrupted input-output examples. By formalizing the concept of a Noise Sourc…
Inferring Drop-in Binary Parsers from Program Executions
Thurston H. Y. Dang, Jose P. Cambronero, Martin C. Rinard
We present BIEBER (Byte-IdEntical Binary parsER), the first system to model and regenerate a full working parser from instrumented program executions. To achieve this, BIEBER explo…
Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat
Jiasi Shen, Martin Rinard, Nikos Vasilakis
We present KumQuat, a system for automatically generating data parallel implementations of Unix shell commands and pipelines. The generated parallel versions split input streams, e…