BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:
Z.Su C.Sun S.Gulwani M.Afshari E.T.Barr T.Vo Anders Miltner A.Leung A.Radhakrishna G.Soares A.T.0001 A.Udupa
Talks about:
compil (3) extract (2) mutat (2) find (2) bug (2) framework (1) synthesi (1) stochast (1) suggest (1) program (1)

Person: Vu Le

DBLP DBLP: Le:Vu

Contributed to:

ISSTA 20152015
OOPSLA 20152015
PLDI 20142014
POPL 20132013
OOPSLA 20162016
OOPSLA 20192019

Wrote 7 papers:

ISSTA-2015-LeSS #random
Randomized stress-testing of link-time optimizers (VL, CS, ZS), pp. 327–337.
OOPSLA-2015-LeSS #compilation #debugging #probability
Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.
PLDI-2014-LeAS #compilation #equivalence #validation
Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.
PLDI-2014-LeG #framework #named
FlashExtract: a framework for data extraction by examples (VL, SG), p. 55.
POPL-2013-BarrVLS #automation #detection #exception #float
Automatic detection of floating-point exceptions (ETB, TV, VL, ZS), pp. 549–560.
OOPSLA-2016-SunLS #compilation #debugging
Finding compiler bugs via live code mutation (CS, VL, ZS), pp. 849–863.
OOPSLA-2019-MiltnerGLLRSTU #on the #on the fly #synthesis
On the fly synthesis of edit suggestions (AM, SG, VL, AL, AR, GS, AT0, AU), p. 29.

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.