research
∙
10/11/2021
Searching for Replacement Classes
Software developers must often replace existing components in their syst...
share
research
∙
04/19/2021
Inferring Drop-in Binary Parsers from Program Executions
We present BIEBER (Byte-IdEntical Binary parsER), the first system to mo...
research
∙
10/07/2020
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
We present the Sum-Product Probabilistic Language (SPPL), a new probabil...
research
∙
03/08/2020
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions
This paper introduces a new algorithm for the fundamental problem of gen...
research
∙
01/13/2020
Optimal Approximate Sampling from Discrete Probability Distributions
This paper addresses a fundamental problem in random variate generation:...
research
∙
07/14/2019