Jean-Baptiste Tristan

According to our database, Jean-Baptiste Tristan authored at least 32 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Randomised Testing of the Compiler for a Verification-Aware Programming Language.

Alastair F. Donaldson, Dilan Sheth, Jean-Baptiste Tristan, Alex Usher

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2023

Verified Density Compilation for a Probabilistic Programming Language.

Joseph Tassarotti, Jean-Baptiste Tristan

Proc. ACM Program. Lang., 2023

2022

Computable PAC Learning of Continuous Features.

Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

On computable learning of continuous features.

Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan

CoRR, 2021

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

Proceedings of the WSDM '21, 2021

Conjugate Energy-Based Models.

Hao Wu, Babak Esmaeili, Michael L. Wick, Jean-Baptiste Tristan, Jan-Willem van de Meent

Proceedings of the 38th International Conference on Machine Learning, 2021

A formal proof of PAC learnability for decision stumps.

Joseph Tassarotti, Koundinya Vajjha, Anindya Banerjee, Jean-Baptiste Tristan

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

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

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2020

Detecting and Exorcising Statistical Demons from Language Models with Anti-Models of Negative Data.

Michael L. Wick, Kate Silverstein, Jean-Baptiste Tristan, Adam Craig Pocock, Mark Johnson

CoRR, 2020

Verification of ML Systems via Reparameterization.

Jean-Baptiste Tristan, Joseph Tassarotti, Koundinya Vajjha, Michael L. Wick, Anindya Banerjee

CoRR, 2020

2019

Using Butterfly-patterned Partial Sums to Draw from Discrete Distributions.

Guy L. Steele Jr., Jean-Baptiste Tristan

ACM Trans. Parallel Comput., 2019

A Formal Proof of PAC Learnability for Decision Stumps.

Joseph Tassarotti, Jean-Baptiste Tristan, Koundinya Vajjha

CoRR, 2019

Unlocking Fairness: a Trade-off Revisited.

Michael L. Wick, Swetasudha Panda, Jean-Baptiste Tristan

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Scaling Hierarchical Coreference with Homomorphic Compression.

Michael L. Wick, Swetasudha Panda, Joseph Tassarotti, Jean-Baptiste Tristan

Proceedings of the 1st Conference on Automated Knowledge Base Construction, 2019

Sketching for Latent Dirichlet-Categorical Models.

Joseph Tassarotti, Jean-Baptiste Tristan, Michael L. Wick

Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

Gradient-Based Inference for Networks with Output Constraints.

Jay Yoon Lee, Sanket Vaibhav Mehta, Michael L. Wick, Jean-Baptiste Tristan, Jaime G. Carbonell

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2017

Adding Approximate Counters.

Guy L. Steele Jr., Jean-Baptiste Tristan

ACM Trans. Parallel Comput., 2017

Enforcing Constraints on Outputs with Unconstrained Inference.

Jay Yoon Lee, Michael L. Wick, Jean-Baptiste Tristan, Jaime G. Carbonell

CoRR, 2017

Compiling Markov chain Monte Carlo algorithms for probabilistic modeling.

Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Enforcing Output Constraints via SGD: A Step Towards Neural Lagrangian Relaxation.

Jay Yoon Lee, Michael L. Wick, Jean-Baptiste Tristan, Jaime G. Carbonell

Proceedings of the 6th Workshop on Automated Knowledge Base Construction, 2017

2016

Exponential Stochastic Cellular Automata for Massively Parallel Inference.

Manzil Zaheer, Michael L. Wick, Jean-Baptiste Tristan, Alexander J. Smola, Guy L. Steele Jr.

Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, 2016

2015

Using Butterfly-Patterned Partial Sums to Optimize GPU Memory Accesses for Drawing from Discrete Distributions.

Guy L. Steele Jr., Jean-Baptiste Tristan

CoRR, 2015

Efficient Training of LDA on a GPU by Mean-for-Mode Estimation.

Jean-Baptiste Tristan, Joseph Tassarotti, Guy L. Steele Jr.

Proceedings of the 32nd International Conference on Machine Learning, 2015

2014

Augur: Data-Parallel Probabilistic Modeling.

Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.

Proceedings of the Advances in Neural Information Processing Systems 27: Annual Conference on Neural Information Processing Systems 2014, 2014

2013

Augur: a Modeling Language for Data-Parallel Probabilistic Inference.

Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Craig Pocock, Stephen J. Green, Guy L. Steele Jr.

CoRR, 2013

Parallel programming with big operators.

Changhee Park, Guy L. Steele Jr., Jean-Baptiste Tristan

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

2012

RockSalt: better, faster, stronger SFI for the x86.

Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Evaluating value-graph translation validation for LLVM.

Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

A simple, verified validator for software pipelining.

Jean-Baptiste Tristan, Xavier Leroy

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Formal verification of translation validators.

Jean-Baptiste Tristan

PhD thesis, 2009

Verified validation of lazy code motion.

Jean-Baptiste Tristan, Xavier Leroy

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Formal verification of translation validators: a case study on instruction scheduling optimizations.

Jean-Baptiste Tristan, Xavier Leroy

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008