BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tristan:Jean=Baptiste

Contributed to:

ICML 20152015
PPoPP 20132013
PLDI 20122012
PLDI 20112011
POPL 20102010
PLDI 20092009
POPL 20082008
PLDI 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.