Jean-Baptiste Tristan
Boston University(US)Amazon (United States)(US)Amazon (Germany)(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Machine Learning and Algorithms, Parallel Computing and Optimization Techniques, Bayesian Modeling and Causal Inference
Most-Cited Works
- → RockSalt(2012)136 cited
- → Formal verification of translation validators(2008)96 cited
- → Evaluating value-graph translation validation for LLVM(2011)72 cited
- → Verified validation of lazy code motion(2009)61 cited
- Unlocking Fairness: a Trade-off Revisited(2019)
- → A simple, verified validator for software pipelining(2010)53 cited
- → Compiling Markov chain Monte Carlo algorithms for probabilistic modeling(2017)29 cited
- Augur: Data-Parallel Probabilistic Modeling(2014)
- Exponential Stochastic Cellular Automata for Massively Parallel Inference