I am a researcher at Oracle
Labs (formerly Sun Labs) in Boston. Previously, I was a
postdoctoral fellow at Harvard
University and a Ph.D. student
at INRIA. My research
interests include scalable machine learing, programming languages,
probabilistic programming, and formal verification.
I wrote my Ph.D. dissertation on the topic of formally verified translation validators.
Selected Publications

PLDI'17 Flexible Compilation for Probabilistic Programs (PDF)

PPOPP'17 Using ButterflyPatterned Partial Sums to Draw from Discrete Distributions (PDF)

AISTSATS'16 Exponential stochastic cellular automata for massively parallel inference (PDF)

PPOPP'16 Adding approximate counters
(PDF)
Selected to appear in TOPC

OPT'15 Comparing Gibbs, EM and SEM for MAP inference in mixture models (PDF)

LearningSys'15 Exponential stochastic cellular automata for
massively parallel inference (PDF)
Spotlight

ICML'15 Efficient training of LDA on a GPU by meanformode estimation (PDF)

NIPS'14 Augur: dataparallel probabilistic modeling
(PDF)
Spotlight

PPOPP'13 Parallel programming with big operators (PDF)

PLDI'12 Rocksalt: better, faster, stronger SFI for the x86 (PDF)

PLDI'11 Evaluating valuegraph translation validation for LLVM (PDF)

POPL'10 A simple, verified validator for software pipelining (PDF)
Recipient of the La Recherche award

PLDI'09 Verified validation of lazy code motion (PDF)

POPL'08 Formal verification of translation validators (PDF)