Jean-Baptiste Tristan
Jean-Baptiste Tristan
Amazon Web Services - Automated Reasoning Group
Verified email at - Homepage
Cited by
Cited by
RockSalt: better, faster, stronger SFI for the x86
G Morrisett, G Tan, J Tassarotti, JB Tristan, E Gan
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
Unlocking fairness: a trade-off revisited
M Wick, JB Tristan
Advances in neural information processing systems 32, 2019
Evaluating value-graph translation validation for LLVM
JB Tristan, P Govereau, G Morrisett
Proceedings of the 32nd ACM SIGPLAN conference on programming language …, 2011
Formal verification of translation validators: a case study on instruction scheduling optimizations
JB Tristan, X Leroy
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
Verified validation of lazy code motion
JB Tristan, X Leroy
ACM Sigplan Notices 44 (6), 316-326, 2009
A simple, verified validator for software pipelining
JB Tristan, X Leroy
ACM Sigplan Notices 45 (1), 83-92, 2010
Gradient-based inference for networks with output constraints
JY Lee, SV Mehta, M Wick, JB Tristan, J Carbonell
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 4147-4154, 2019
Compiling Markov chain Monte Carlo algorithms for probabilistic modeling
D Huang, JB Tristan, G Morrisett
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
Augur: Data-parallel probabilistic modeling
JB Tristan, D Huang, J Tassarotti, AC Pocock, S Green, GL Steele
Advances in Neural Information Processing Systems 27, 2014
Ensembled decision systems using feature hashing models
JB Tristan, A Pocock, M Wick, G Steele
US Patent 11,263,541, 2022
Exponential stochastic cellular automata for massively parallel inference
M Zaheer, M Wick, JB Tristan, A Smola, G Steele
Artificial Intelligence and Statistics, 966-975, 2016
Systems and methods for scalable hierarchical coreference
ML Wick, JBFG Tristan, SJ Green
US Patent 10,606,931, 2020
Formal verification of translation validators
JB Tristan
Université Paris-Diderot-Paris VII, 2009
When output units must obey hard constraints
M Wick, JB Tristan, JY Lee
US Patent 11,521,069, 2022
Method and system for latent dirichlet allocation computation using approximate counters
GL Steele Jr, JB Tristan
US Patent 10,147,044, 2018
Efficient training of LDA on a GPU by mean-for-mode estimation
JB Tristan, J Tassarotti, G Steele
International Conference on Machine Learning, 59-68, 2015
Online post-processing in rankings for fair utility maximization
A Gupta, E Johnson, J Payan, AK Roy, A Kobren, S Panda, JB Tristan, ...
Proceedings of the 14th ACM International Conference on Web Search and Data …, 2021
Adding approximate counters
GL Steele Jr, JB Tristan
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
Bias parameters for topic modeling
D Peterson, JBFG Tristan, RJ Oberbreckling
US Patent 10,990,763, 2021
A formal proof of PAC learnability for decision stumps
J Tassarotti, K Vajjha, A Banerjee, JB Tristan
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
The system can't perform the operation now. Try again later.
Articles 1–20