Jean-Baptiste Tristan

Principal Applied Scientist

Automated Reasoning Group
Amazon Web Services






  • PDLI'23 Verified Density Compilation for a Probabilistic Programming Language
    Joseph Tassarotti, Jean-Baptiste Tristan

  • JCTC Dual-Level Training of Gaussian Processes with Physically Inspired Priors for Geometry Optimizations (To appear)
    Chong Teng, Yang Wang, Daniel Huang, Katherine Martin, Jean-Baptiste Tristan, Lucas Bao

  • NARE Dry Reforming of Methane on Doped Ni Nanoparticle: Feature-Assisted Optimizations and Ranking of Doping Metals for Direct Activations of CH4 and CO2 (To appear)
    Shiru Lin, Yang Wang, Jean-Baptiste Tristan, Lucas Bao

  • LICS'22 Computable PAC Learning of Continuous Features (To appear)
    Nathanael Ackerman, Julian Asilis, Jieqi Di, Cameron Freer and Jean-Baptiste Tristan

  • JCP Geometry Meta-Optimization (Link)
    Daniel Huang, Lucas Bao, Jean-Baptiste Tristan

  • JOMC mad-GP:Automatic Differentiation of Gaussian Processes for Molecules and Materials Link
    Daniel Huang, Chong Teng, Lucas Bao, Jean-Baptiste Tristan

  • ICML'21 Conjugate Energy-Based Models (PDF)
    Hao Wu, Babak Esmaeili, Michael Wick, Jean-Baptiste Tristan, Jan-Willem van de Meent

  • AISTATS'21 Rate-Regularization and Generalization in Variational Autoencoders (PDF)
    Alican Bozkurt, Babak Esmaeili, Jean-Baptiste Tristan, Dana H. Brooks, Jennifer G. Dy, Jan-Willem van de Meent

  • CPP'21 A Formal Proof of PAC Learnability for Decision Stumps (PDF)
    Joseph Tassarotti, Koundinya Vajjha, Anindya Banerjee, Jean-Baptiste Tristan

  • WSDM'21 Online Post-Processing In Rankings For Fair Utility Maximization (PDF)
    Justin Payan, Eric Johnson, Ananya Gupta, Aditya Roy, Ari Kobren, Michael L. Wick, Swetasudha Panda, Jean-Baptiste Tristan

  • NeurIPS'19 Unlocking Fairness: a Trade-off Revisited (PDF)
    Michael L. Wick, Swetasudha Panda, Jean-Baptiste Tristan

  • TOPC'19 Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions (PDF)
    Guy L. Steele Jr., Jean-Baptiste Tristan

  • AKBC'19 Scaling Hierarchical Coreference with Homomorphic Compression (PDF)
    Michael L. Wick, Swetasudha Panda, Joseph Tassarotti, Jean-Baptiste Tristan

  • AAAI'19 Gradient-based Inference for Networks with Output Constraints (PDF)
    Jay-Yoon Lee, Sanket Mehta, Michael L. Wick, Jean-Baptiste Tristan, Jaime Carbonell

  • AISTATS'19 Sketching for Latent Dirichlet-Categorical Models (PDF)
    Joseph Tassarotti, Jean-Baptiste Tristan, Michael L. Wick

  • PLDI'17 Flexible Compilation for Probabilistic Programs (PDF)
    Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett

  • TOPC'17 Adding Approximate Counters (PDF)
    Guy L. Steele Jr., Jean-Baptiste Tristan

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

  • ICML'15 Efficient training of LDA on a GPU by mean-for-mode estimation (PDF)
    Jean-Baptiste Tristan, Joseph Tassarotti, Guy L. Steele Jr.

  • NIPS'14 Augur: data-parallel probabilistic modeling (PDF)
    Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Pocock, Stephen J. Green, Guy L. Steele Jr.

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

  • PLDI'11 Evaluating value-graph translation validation for LLVM (PDF)
    Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett

  • POPL'10 A simple, verified validator for software pipelining (PDF)
    Jean-Baptiste Tristan, Xavier Leroy

  • PLDI'09 Verified validation of lazy code motion (PDF)
    Jean-Baptiste Tristan, Xavier Leroy

  • POPL'08 Formal verification of translation validators (PDF)
    Jean-Baptiste Tristan, Xavier Leroy