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: Le:Vu
Contributed to:
2015
2015
2014
201320162019Wrote 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.