Jean-Baptiste Tristan
Jean-Baptiste Tristan
Boston College
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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
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
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
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
Unlocking fairness: a trade-off revisited
M Wick, S Panda, JB Tristan
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
Adding Approximate Counters
GL Steele Jr, JB Tristan
ACM Transactions on Parallel Computing (TOPC) 4 (1), 1-45, 2017
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
Using butterfly-patterned partial sums to draw from discrete distributions
GL Steele Jr, JB Tristan
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of …, 2017
Formal verification of translation validators
JB Tristan
Université Paris-Diderot-Paris VII, 2009
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
When output units must obey hard constraints
M Wick, JB Tristan, JY Lee
US Patent App. 15/450,933, 2018
Differentiable set to increase the memory capacity of recurrent neural networks
JB Tristan, M Wick, M Zaheer
US Patent App. 15/339,303, 2018
Streaming latent dirichlet allocation
JB Tristan, M Wick, S Green
US Patent App. 15/934,262, 2019
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
Ensembled Decision Systems Using Feature Hashing Models
JB Tristan, A Pocock, M Wick, G Steele
US Patent App. 15/717,830, 2019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20