Travelled to:1 × France
1 × Ireland
1 × Spain
2 × China
2 × USA
Collaborated with:X.Leroy G.Morrisett G.L.S.Jr. J.Tassarotti C.Park P.Govereau D.H.0001 G.Tan E.Gan
Talks about:valid (4) translat (2) verifi (2) probabilist (1) algorithm (1) stronger (1) parallel (1) instruct (1) softwar (1) schedul (1)
Person: Jean-Baptiste Tristan
DBLP: Tristan:Jean=Baptiste
Contributed to:
2015
2013
20122011
2010200920082017Wrote 8 papers:
- ICML-2015-TristanTS #estimation #gpu #performance
- Efficient Training of LDA on a GPU by Mean-for-Mode Estimation (JBT, JT, GLSJ), pp. 59–68.
- PPoPP-2013-ParkST #parallel #programming
- Parallel programming with big operators (CP, GLSJ, JBT), pp. 293–294.
- PLDI-2012-MorrisettTTTG #named #performance
- RockSalt: better, faster, stronger SFI for the x86 (GM, GT, JT, JBT, EG), pp. 395–404.
- PLDI-2011-TristanGM #validation
- Evaluating value-graph translation validation for LLVM (JBT, PG, GM), pp. 295–305.
- POPL-2010-TristanL #pipes and filters #validation
- A simple, verified validator for software pipelining (JBT, XL), pp. 83–92.
- PLDI-2009-TristanL #lazy evaluation #validation
- Verified validation of lazy code motion (JBT, XL), pp. 316–326.
- POPL-2008-TristanL #case study #optimisation #scheduling #validation #verification
- Formal verification of translation validators: a case study on instruction scheduling optimizations (JBT, XL), pp. 17–27.
- PLDI-2017-HuangTM #algorithm #compilation #markov #modelling #monte carlo #probability
- Compiling Markov chain Monte Carlo algorithms for probabilistic modeling (DH0, JBT, GM), pp. 111–125.