Vu Le

Registered user since Fri 16 Jan 2015

Name:Vu Le

I am a Researcher at Microsoft, working on the Microsoft Program Synthesis using Examples (PROSE) framework. I obtained my PhD in 2015 at UC Davis, advised by Zhendong Su and Sumit Gulwani. My research is about developing novel and practical techniques to help improve the quality of critical software (e.g., compilers and database engines) and make programming accessible for end users. My work has led to the discovery of hundreds of bugs in GCC and LLVM, most of which have been fixed, and shipped in various Microsoft products.

Country:United States
Personal website:
Research interests:Program Synthesis, Static and Dynamic Analyses, Compiler Testing


POPL 2023 Author of FlashFill++: Scaling Programming by Example by Cutting to the Chase within the POPL-track
SPLASH 2022 Author of Neurosymbolic Repair for Low-Code Formula Languages within the V-OOPSLA-track
ESEC/FSE 2022 Author of NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis within the Research Papers-track
SPLASH 2021 Author of Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis within the OOPSLA-track
Author of Semantic Programming by Example with Pre-trained Models within the OOPSLA-track
ICSE 2021 Author of Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis within the Technical Track-track
SPLASH 2020 Author of Structure Interpretation of Text Formats within the OOPSLA-track
SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track
Author of On the Fly Synthesis of Edit Suggestions within the Posters-track
Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
SPLASH 2016 Author of Finding Compiler Bugs via Live Code Mutation within the OOPSLA-track
PLDI 2016 Committee Member in External Review Committee
SPLASH 2015 Author of Finding Deep Compiler Bugs via Guided Stochastic Program Mutation within the OOPSLA-track
PLDI 2015 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2013 Committee Member in Artifacts within the OOPSLA Artifacts-track