Seguir
Jean-Baptiste Tristan
Jean-Baptiste Tristan
Amazon Web Services - Automated Reasoning Group
Dirección de correo verificada de bc.edu - Página principal
Título
Citado por
Citado por
Año
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
2012012
Unlocking fairness: a trade-off revisited
M Wick, JB Tristan
Advances in neural information processing systems 32, 2019
1512019
Evaluating value-graph translation validation for LLVM
JB Tristan, P Govereau, G Morrisett
Proceedings of the 32nd ACM SIGPLAN conference on programming language …, 2011
1462011
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
1382008
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
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
402019
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
402017
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
Ensembled decision systems using feature hashing models
JB Tristan, A Pocock, M Wick, G Steele
US Patent 11,263,541, 2022
272022
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
262016
Systems and methods for scalable hierarchical coreference
ML Wick, JBFG Tristan, SJ Green
US Patent 10,606,931, 2020
242020
Formal verification of translation validators
JB Tristan
Université Paris-Diderot-Paris VII, 2009
192009
When output units must obey hard constraints
M Wick, JB Tristan, JY Lee
US Patent 11,521,069, 2022
182022
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
152021
Adding approximate counters
GL Steele Jr, JB Tristan
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
132016
Bias parameters for topic modeling
D Peterson, JBFG Tristan, RJ Oberbreckling
US Patent 10,990,763, 2021
122021
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20