Jean-Baptiste Tristan

Principal Applied Scientist

Automated Reasoning Group
Amazon Web Services

jean.baptiste.tristan@gmail.com

CV

LinkedIn

dblp

Scholar

ACM



I am interested in program verification (especially in Lean), randomized/probabilistic algorithms, reinforcement learning, and compilers.

I am the co-recipient of the 2022 Programming Languages Software Award and the 2021 ACM Software System Award .


  • ICSE'25 Formally Verified Cloud-Scale Authorization
    Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Samuel Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clement Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan

  • 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
    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
    Shiru Lin, Yang Wang, Jean-Baptiste Tristan, Lucas Bao

  • LICS'22 Computable PAC Learning of Continuous Features
    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