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.
Research Interests
 Machine learning algorithms: approximation, randomization, distribution, asymptotics
 Dimentionality reduction, sketching, hashing
 Monte Carlo methods and Markov Chain Monte Carlo algorithms
 ModelBased machine learning, graphical models, probabilistic programming
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
Talks Highlights
 Keynote speaker at the first International Conference on Probabilistic Programming
 Seminar and colloquium talks at INRIA, ENS, Harvard, Yale, MIT, Northeastern, UMass
Teaching
 Lecturer for the compiler engineering class at Harvard (CS153) in 2015
 Teaching Fellow (course assistant) for both introductions to CS at Harvard (cs50 and CS51)
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