Vu Le
Microsoft (United States)(US)Microsoft Research (United Kingdom)(GB)
Publications by Year
Research Areas
Software Engineering Research, Software Testing and Debugging Techniques, Advanced Database Systems and Queries, Software Reliability and Analysis Research, Natural Language Processing Techniques
Most-Cited Works
- → Compiler validation via equivalence modulo inputs(2014)366 cited
- → FlashExtract(2014)210 cited
- → Finding compiler bugs via live code mutation(2016)156 cited
- → Finding deep compiler bugs via guided stochastic program mutation(2015)138 cited
- → Toward understanding compiler bugs in GCC and LLVM(2016)115 cited
- → Automatic detection of floating-point exceptions(2013)96 cited
- → User Interaction Models for Disambiguation in Programming by Example(2015)94 cited
- → SmartSynth(2013)85 cited