V
Vu Le
Researcher at Microsoft
Publications - 27
Citations - 1470
Vu Le is an academic researcher from Microsoft. The author has contributed to research in topics: Compiler & Program synthesis. The author has an hindex of 12, co-authored 27 publications receiving 1068 citations. Previous affiliations of Vu Le include University of California, Davis.
Papers
More filters
Proceedings ArticleDOI
Compiler validation via equivalence modulo inputs
TL;DR: This work introduces equivalence modulo inputs (EMI), a simple, widely applicable methodology for validating optimizing compilers, and profiles a program's test executions and stochastically prune its unexecuted code to create a practical implementation.
Proceedings ArticleDOI
FlashExtract: a framework for data extraction by examples
Vu Le,Sumit Gulwani +1 more
TL;DR: This work presents a general framework FlashExtract to extract relevant data from semi-structured documents using examples, and describes instantiation of the framework to three different domains: text files, webpages, and spreadsheets.
Proceedings ArticleDOI
Finding deep compiler bugs via guided stochastic program mutation
Vu Le,Chengnian Sun,Zhendong Su +2 more
TL;DR: At Athena, a guided, advanced mutation strategy based on Bayesian optimization, is introduced to generate diverse programs to more thoroughly exercise compilers and helps discover deep bugs that require elaborate mutations.
Proceedings ArticleDOI
Finding compiler bugs via live code mutation
Chengnian Sun,Vu Le,Zhendong Su +2 more
TL;DR: A novel EMI technique that allows mutation in the entire program (i.e., both live and dead regions) and significantly increases the EMI variant space by removing the restriction of mutating only the dead regions.
Proceedings ArticleDOI
SmartSynth: synthesizing smartphone automation scripts from natural language
Vu Le,Sumit Gulwani,Zhendong Su +2 more
TL;DR: SmartSynth, a novel end-to-end programming system for synthesizing smartphone automation scripts from natural language descriptions, involves a carefully designed domain-specific language that incorporates standard constructs from smartphone programming platforms to balance its expressivity and the ability to synthesize scripts fromnatural language.