I am a principal member of technical staff
at Oracle Labs in Boston where
I lead a research team in the machine learning group. Previously, I
was a postdoctoral fellow
at Harvard University and a
Ph.D. student at INRIA. I am a
senior member of the ACM. I am interested in systems aspects of
machine learning such as: probabilistic programming for models like
Bayesian networks and conditional random fields, scaling statistical
inference algorithms for GPUs or distributed computing, streaming
learning algorithms, automated knowledge base construction.
Selected dissertations and journal publications
Selected conference publications

PLDI'17 Flexible Compilation for Probabilistic Programs (PDF)
Daniel Huang, JeanBaptiste Tristan, Greg Morrisett

PPOPP'17 Using ButterflyPatterned Partial Sums to Draw from Discrete Distributions (PDF)
JeanBaptiste Tristan, Guy L. Steele Jr.

AISTSATS'16 Exponential stochastic cellular automata for massively parallel inference (PDF)
Manzil Zaheer, Michael L. Wick, JeanBaptiste Tristan, Alex Smola, Guy L. Steele Jr.

PPOPP'16 Adding approximate counters
(PDF)
JeanBaptiste Tristan, Guy L. Steele Jr.
Selected to appear in TOPC

ICML'15 Efficient training of LDA on a GPU by meanformode estimation (PDF)
JeanBaptiste Tristan, Joseph Tassarotti, Guy L. Steele Jr.

NIPS'14 Augur: dataparallel probabilistic modeling
(PDF)
JeanBaptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Pocock, Stephen J. Green, Guy L. Steele Jr.
Spotlight

PPOPP'13 Parallel programming with big operators (PDF)
Guy L. Steele Jr., JeanBaptiste Tristan

PLDI'12 Rocksalt: better, faster, stronger SFI for the x86 (PDF)
Greg Morrisett, Gang Tan, Joseph Tassarotti, JeanBaptiste Tristan, Edward Gan

PLDI'11 Evaluating valuegraph translation validation for LLVM (PDF)
JeanBaptiste Tristan, Paul Govereau, Greg Morrisett

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

PLDI'09 Verified validation of lazy code motion (PDF)
JeanBaptiste Tristan, Xavier Leroy

POPL'08 Formal verification of translation validators (PDF)
JeanBaptiste Tristan, Xavier Leroy
Selected peerreviewed workshop publications

AKBC'17Enforcing Output Constraints via SGD: A Step Towards Neural Lagrangian Relaxation (PDF)
JayYoon Lee, Michael L. Wick, JeanBaptiste Tristan, Jaime Carbonell

LearningSys'17 Sketchy LDA: Towards Streaming Inference (PDF)
JeanBaptiste Tristan, Michael L. Wick, Joseph Tassarotti

OPT'15 Comparing Gibbs, EM and SEM for MAP inference in mixture models (PDF)
Manzil Zaheer, Michael L. Wick, Satwick Kotur, JeanBaptiste Tristan

LearningSys'15 Exponential stochastic cellular automata for
massively parallel inference (PDF)
Manzil Zaheer, Michael L. Wick, JeanBaptiste Tristan, Alex Smola, Guy L. Steele Jr.
Spotlight
Service Highlights
 PC member, HOPL 4 (History of programming languages)
 PC member, PLDI 2018 (Programming Language Design and Implementation)
 PC member, PPS 2018 (Probabilistic Programs and Systems)
 PC member, SNAPL 2017 (Summit in advances in programming languages)
 PC member, PPOPP 2016 (Principles and Practice of Parallel Programming)
 3 times NSF panelist