Follow
Jean-Baptiste Tristan
Jean-Baptiste Tristan
Amazon Web Services - Automated Reasoning Group
Verified email at bc.edu - Homepage
Title
Cited by
Cited by
Year
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
1982012
Evaluating value-graph translation validation for LLVM
JB Tristan, P Govereau, G Morrisett
Proceedings of the 32nd ACM SIGPLAN conference on programming language …, 2011
1452011
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
1362008
Unlocking fairness: a trade-off revisited
M Wick, JB Tristan
Advances in neural information processing systems 32, 2019
1332019
Verified validation of lazy code motion
JB Tristan, X Leroy
ACM Sigplan Notices 44 (6), 316-326, 2009
812009
A simple, verified validator for software pipelining
JB Tristan, X Leroy
ACM Sigplan Notices 45 (1), 83-92, 2010
802010
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
392017
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
362019
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
342014
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
242016
Systems and methods for scalable hierarchical coreference
ML Wick, JBFG Tristan, SJ Green
US Patent 10,606,931, 2020
232020
Ensembled decision systems using feature hashing models
JB Tristan, A Pocock, M Wick, G Steele
US Patent 11,263,541, 2022
212022
Formal verification of translation validators
JB Tristan
Université Paris-Diderot-Paris VII, 2009
182009
Method and system for latent dirichlet allocation computation using approximate counters
GL Steele Jr, JB Tristan
US Patent 10,147,044, 2018
162018
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
162015
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
132021
Adding approximate counters
GL Steele Jr, JB Tristan
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
132016
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
122021
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
112017
Data-parallel probabilistic inference
JB Tristan, GL Steele Jr, DE Huang, J Tassarotti
US Patent 10,496,929, 2019
102019
The system can't perform the operation now. Try again later.
Articles 1–20