Jean-Baptiste Tristan
Jean-Baptiste Tristan
Boston College
Verified email at oracle.com - 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
1512012
Evaluating value-graph translation validation for LLVM
JB Tristan, P Govereau, G Morrisett
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
1082011
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
982008
A simple, verified validator for software pipelining
JB Tristan, X Leroy
ACM Sigplan Notices 45 (1), 83-92, 2010
612010
Verified validation of lazy code motion
JB Tristan, X Leroy
ACM Sigplan Notices 44 (6), 316-326, 2009
592009
Augur: Data-parallel probabilistic modeling
JB Tristan, D Huang, J Tassarotti, AC Pocock, S Green, GL Steele
Advances in Neural Information Processing Systems 27, 2600-2608, 2014
31*2014
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
24*2015
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
232017
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, 4147-4154, 2019
22*2019
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
212016
Adding approximate counters
GL Steele Jr, JB Tristan
ACM Transactions on Parallel Computing (TOPC) 4 (1), 1-45, 2017
18*2017
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
82017
Formal verification of translation validators
JB Tristan
72009
Data-parallel parameter estimation of the Latent Dirichlet allocation model by greedy Gibbs sampling
J Tristan, G Steele
US Patent 10,860,829, 2020
62020
Using Butterfly-patterned Partial Sums to Draw from Discrete Distributions.
GL Steele Jr, JB Tristan
ACM Trans. Parallel Comput. 6 (4), 22:1-22:30, 2019
6*2019
Unlocking fairness: a trade-off revisited
M Wick, JB Tristan
Advances in Neural Information Processing Systems, 8783-8792, 2019
62019
A Formal Proof of PAC Learnability for Decision Stumps
J Tassarotti, JB Tristan, K Vajjha
arXiv preprint arXiv:1911.00385, 2019
22019
Streaming latent dirichlet allocation
JB Tristan, M Wick, S Green
US Patent App. 15/934,262, 2019
22019
Ensembled Decision Systems Using Feature Hashing Models
JB Tristan, A Pocock, M Wick, G Steele
US Patent App. 15/717,830, 2019
22019
Verification of ML Systems via Reparameterization
JB Tristan, J Tassarotti, K Vajjha, ML Wick, A Banerjee
arXiv preprint arXiv:2007.06776, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20