Jean-Baptiste Tristan

41 papers A* 12A 5B 4Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément 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 G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2025 J jnl
Verified Foundations for Differential Privacy.
Proc. ACM Program. Lang.
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2025 J jnl
Verifying the Fisher-Yates Shuffle Algorithm in Dafny.
CoRR
Stefan Zetzsche, Jean-Baptiste Tristan, Tancrède Lepoint, Mikael Mayer
2024 A conf
Randomised Testing of the Compiler for a Verification-Aware Programming Language.
ICST
Alastair F. Donaldson, Dilan Sheth, Jean-Baptiste Tristan, Alex Usher
2024 J jnl
Verified Foundations for Differential Privacy.
CoRR
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024 J jnl
Verified Foundations for Differential Privacy.
IACR Cryptol. ePrint Arch.
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2023 J jnl
Verified Density Compilation for a Probabilistic Programming Language.
Proc. ACM Program. Lang.
Joseph Tassarotti, Jean-Baptiste Tristan
2022 A* conf
Computable PAC Learning of Continuous Features.
LICS
Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan
2021 B conf
A formal proof of PAC learnability for decision stumps.
CPP
Joseph Tassarotti, Koundinya Vajjha, Anindya Banerjee, Jean-Baptiste Tristan
2021 A* conf
Conjugate Energy-Based Models.
ICML
Hao Wu, Babak Esmaeili, Michael L. Wick, Jean-Baptiste Tristan, Jan-Willem van de Meent
2021 J jnl
Conjugate Energy-Based Models.
CoRR
Hao Wu, Babak Esmaeili, Michael L. Wick, Jean-Baptiste Tristan, Jan-Willem van de Meent
2021 J jnl
On computable learning of continuous features.
CoRR
Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan
2021 A conf
Online Post-Processing in Rankings for Fair Utility Maximization.
WSDM
Ananya Gupta, Eric Johnson, Justin Payan, Aditya Kumar Roy, Ari Kobren, Swetasudha Panda, Jean-Baptiste Tristan, Michael L. Wick
2021 A conf
Rate-Regularization and Generalization in Variational Autoencoders.
AISTATS
Alican Bozkurt, Babak Esmaeili, Jean-Baptiste Tristan, Dana H. Brooks, Jennifer G. Dy, Jan-Willem van de Meent
2020 J jnl
Detecting and Exorcising Statistical Demons from Language Models with Anti-Models of Negative Data.
CoRR
Michael L. Wick, Kate Silverstein, Jean-Baptiste Tristan, Adam Craig Pocock, Mark Johnson
2020 J jnl
Verification of ML Systems via Reparameterization.
CoRR
Jean-Baptiste Tristan, Joseph Tassarotti, Koundinya Vajjha, Michael L. Wick, Anindya Banerjee
2019 J jnl
A Formal Proof of PAC Learnability for Decision Stumps.
CoRR
Joseph Tassarotti, Jean-Baptiste Tristan, Koundinya Vajjha
2019 A* conf
Gradient-Based Inference for Networks with Output Constraints.
AAAI
Jay Yoon Lee, Sanket Vaibhav Mehta, Michael L. Wick, Jean-Baptiste Tristan, Jaime G. Carbonell
2019 — conf
Scaling Hierarchical Coreference with Homomorphic Compression.
AKBC
Michael L. Wick, Swetasudha Panda, Joseph Tassarotti, Jean-Baptiste Tristan
2019 A conf
Sketching for Latent Dirichlet-Categorical Models.
AISTATS
Joseph Tassarotti, Jean-Baptiste Tristan, Michael L. Wick
2019 A* conf
Unlocking Fairness: a Trade-off Revisited.
NeurIPS
Michael L. Wick, Swetasudha Panda, Jean-Baptiste Tristan
2019 J jnl
Using Butterfly-patterned Partial Sums to Draw from Discrete Distributions.
ACM Trans. Parallel Comput.
Guy L. Steele Jr., Jean-Baptiste Tristan
2018 J jnl
Sketching for Latent Dirichlet-Categorical Models.
CoRR
Joseph Tassarotti, Jean-Baptiste Tristan, Michael L. Wick
2017 J jnl
Adding Approximate Counters.
ACM Trans. Parallel Comput.
Guy L. Steele Jr., Jean-Baptiste Tristan
2017 A* conf
Compiling Markov chain Monte Carlo algorithms for probabilistic modeling.
PLDI
Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett
2017 J jnl
Enforcing Constraints on Outputs with Unconstrained Inference.
CoRR
Jay Yoon Lee, Michael L. Wick, Jean-Baptiste Tristan, Jaime G. Carbonell
2017 — conf
Enforcing Output Constraints via SGD: A Step Towards Neural Lagrangian Relaxation.
AKBC@NIPS
Jay Yoon Lee, Michael L. Wick, Jean-Baptiste Tristan, Jaime G. Carbonell
2017 B conf
Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions.
PPoPP
Guy L. Steele Jr., Jean-Baptiste Tristan
2016 B conf
Adding approximate counters.
PPoPP
Guy L. Steele Jr., Jean-Baptiste Tristan
2016 A conf
Exponential Stochastic Cellular Automata for Massively Parallel Inference.
AISTATS
Manzil Zaheer, Michael L. Wick, Jean-Baptiste Tristan, Alexander J. Smola, Guy L. Steele Jr.
2015 A* conf
Efficient Training of LDA on a GPU by Mean-for-Mode Estimation.
ICML
Jean-Baptiste Tristan, Joseph Tassarotti, Guy L. Steele Jr.
2015 J jnl
Using Butterfly-Patterned Partial Sums to Optimize GPU Memory Accesses for Drawing from Discrete Distributions.
CoRR
Guy L. Steele Jr., Jean-Baptiste Tristan
2014 — conf
Augur: Data-Parallel Probabilistic Modeling.
NIPS
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.
2013 J jnl
Augur: a Modeling Language for Data-Parallel Probabilistic Inference.
CoRR
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.
2013 B conf
Parallel programming with big operators.
PPoPP
Changhee Park, Guy L. Steele Jr., Jean-Baptiste Tristan
2012 A* conf
RockSalt: better, faster, stronger SFI for the x86.
PLDI
Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan
2011 A* conf
Evaluating value-graph translation validation for LLVM.
PLDI
Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett
2010 A* conf
A simple, verified validator for software pipelining.
POPL
Jean-Baptiste Tristan, Xavier Leroy
2009 — —
Formal verification of translation validators.
Jean-Baptiste Tristan
2009 A* conf
Verified validation of lazy code motion.
PLDI
Jean-Baptiste Tristan, Xavier Leroy
2008 A* conf
Formal verification of translation validators: a case study on instruction scheduling optimizations.
POPL
Jean-Baptiste Tristan, Xavier Leroy