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