Jean-Baptiste Tristan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
11
Active years
2008–2025
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | 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, Clment 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, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2024 | ICST | Randomised Testing of the Compiler for a Verification-Aware Programming Language. | Alastair F. Donaldson, Dilan Sheth, Jean-Baptiste Tristan, Alex Usher |
| 2022 | LICS | Computable PAC Learning of Continuous Features. | Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan |
| 2021 | AISTATS | Rate-Regularization and Generalization in Variational Autoencoders. | Alican Bozkurt, Babak Esmaeili, Jean-Baptiste Tristan, Dana H. Brooks, Jennifer G. Dy, Jan-Willem van de Meent |
| 2021 | CPP | A formal proof of PAC learnability for decision stumps. | Joseph Tassarotti, Koundinya Vajjha, Anindya Banerjee, Jean-Baptiste Tristan |
| 2021 | ICML | Conjugate Energy-Based Models. | Hao Wu, Babak Esmaeili, Michael L. Wick, Jean-Baptiste Tristan, Jan-Willem van de Meent |
| 2021 | WSDM | Online Post-Processing in Rankings for Fair Utility Maximization. | Ananya Gupta, Eric Johnson, Justin Payan, Aditya Kumar Roy, Ari Kobren, Swetasudha Panda, Jean-Baptiste Tristan, Michael L. Wick |
| 2019 | AAAI | Gradient-Based Inference for Networks with Output Constraints. | Jay Yoon Lee, Sanket Vaibhav Mehta, Michael L. Wick, Jean-Baptiste Tristan, Jaime G. Carbonell |
| 2019 | AISTATS | Sketching for Latent Dirichlet-Categorical Models. | Joseph Tassarotti, Jean-Baptiste Tristan, Michael L. Wick |
| 2017 | PLDI | Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. | Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett |
| 2017 | PPoPP | Using Butterfly-Patterned Partial Sums to Draw from Discrete Distributions. | Guy L. Steele Jr., Jean-Baptiste Tristan |
| 2016 | AISTATS | Exponential Stochastic Cellular Automata for Massively Parallel Inference. | Manzil Zaheer, Michael L. Wick, Jean-Baptiste Tristan, Alexander J. Smola, Guy L. Steele Jr. |
| 2016 | PPoPP | Adding approximate counters. | Guy L. Steele Jr., Jean-Baptiste Tristan |
| 2015 | ICML | Efficient Training of LDA on a GPU by Mean-for-Mode Estimation. | Jean-Baptiste Tristan, Joseph Tassarotti, Guy L. Steele Jr. |
| 2013 | PPoPP | Parallel programming with big operators. | Changhee Park, Guy L. Steele Jr., Jean-Baptiste Tristan |
| 2012 | PLDI | RockSalt: better, faster, stronger SFI for the x86. | Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan |
| 2011 | PLDI | Evaluating value-graph translation validation for LLVM. | Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett |
| 2010 | POPL | A simple, verified validator for software pipelining. | Jean-Baptiste Tristan, Xavier Leroy |
| 2009 | PLDI | Verified validation of lazy code motion. | Jean-Baptiste Tristan, Xavier Leroy |
| 2008 | POPL | Formal verification of translation validators: a case study on instruction scheduling optimizations. | Jean-Baptiste Tristan, Xavier Leroy |