Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
Vu Le

Registered user since Fri 16 Jan 2015

Name:Vu Le
Bio:

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
Affiliation:Microsoft
Personal website:http://vuminhle.com
Research interests:Program Synthesis, Static and Dynamic Analyses, Compiler Testing

Contributions

ESEC/FSE 2022 NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
Show activities from other conferences

Using general profile