Vũ Lê
Hello, I am a fourth year PhD student at UC Davis. My advisors are Dr. Sumit Gulwani and Prof. Zhendong Su. It is always great working with them. I am interested in program synthesis, dynamic and static analyses, and practical machine learning. Currently, I am developing program synthesis techniques that make end users' lives easier. Here is my latest resume.
 |
 |
 |
| Kemper 2249 One Shields Ave Davis CA 95616 USA |
+1 530 752 6476 |
 |
PUBLICATION
- Program Synthesis via Reverse Parsing, SRC Poster Section, PLDI '13, Vu Le
- Keyword Programming for TouchDevelop, Video Session, MobiSys '13, Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su
- SmartSynth: Synthesizing Smartphone Scripts from Natural Language Descriptions, MobiSys '13, Vu Le, Sumit Gulwani, Zhendong Su
- Automatic Detection of Floating-Point Exceptions, POPL '13, Earl Barr, Thanh Vo, Vu Le, Zhendong Su
EDUCATION
- PhD, University of California, Davis, USA, 2009 - present
- BEng, University of Technology, Vietnam National University - Ho Chi Minh City, Vietnam, 2001 - 2006
INTERNSHIPS
HONOURS/AWARDS
- Graduate Group in Computer Science (GGCS) Graduate Program Fellowship, UC Davis, 2013
- Vietnam Education Foundation PhD Fellowship, 2009
- Toshiba Scholarship, Vietnam National University, 2008
- University Scholarship for Outstanding Academic Achievement, Vietnam National University, 2002 - 2006