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
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
Unlocking fairness: a trade-off revisited
M Wick, JB Tristan
Advances in neural information processing systems 32, 2019
A simple, verified validator for software pipelining
JB Tristan, X Leroy
ACM Sigplan Notices 45 (1), 83-92, 2010
Verified validation of lazy code motion
JB Tristan, X Leroy
ACM Sigplan Notices 44 (6), 316-326, 2009
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
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
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
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
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
Formal verification of translation validators
JB Tristan
Université Paris-Diderot-Paris VII, 2009
Method and system for latent dirichlet allocation computation using approximate counters
GL Steele Jr, JB Tristan
US Patent 10,147,044, 2018
Adding approximate counters
GL Steele Jr, JB Tristan
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
Systems and methods for scalable hierarchical coreference
ML Wick, JBFG Tristan, SJ Green
US Patent 10,606,931, 2020
Sparse and data-parallel inference method and system for the latent Dirichlet allocation model
JB Tristan, GL Steele Jr, J Tassarotti
US Patent 9,767,416, 2017
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
Data-parallel probabilistic inference
JB Tristan, GL Steele Jr, DE Huang, J Tassarotti
US Patent 10,496,929, 2019
Method and system for distributed latent dirichlet allocation computation using addition of approximate counters
GL Steele Jr, JB Tristan
US Patent 10,140,281, 2018
Learning topics by simulation of a stochastic cellular automaton
JB Tristan, SJ Green, GL Steele Jr, M Zaheer
US Patent 10,394,872, 2019
The system can't perform the operation now. Try again later.
Articles 1–20