Department of Computer Science
University of Texas at Austin
2317 Speedway, Stop D9500
Austin, TX 78712
Email: ypwang AT cs DOT utexas DOT edu
I am a PhD student in Department of Computer Science, University of Texas at Austin, under the supervision of Prof. Isil Dillig.
My research interests lie broadly in program analysis, program verification, and program synthesis.
Prior to UT-Austin, I obtained my B.E. degree from Department of Computer Science, University of Science and Technology of China (USTC).
- Component-Based Synthesis for Complex APIs. POPL'17
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas Reps
[paper] [extended version]
- Hunter: Next-Generation Code Reuse for Java. FSE'16 demo
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven Reiss
[paper] [long version] [artifact]
- TA for CS347 Data Management, UT-Austin, Spring 2015
- TA for CS347 Data Management, UT-Austin, Fall 2014
- TA for Operating System H, USTC, Spring 2014
- Valedictorian, USTC, 2014
- Guo Moruo Scholarship, USTC, 2014
- Google Excellence Scholarship in China, Google Inc., 2013
- Outstanding Undergraduate Award, China Computer Federation, 2013
- National Scholarship, Ministry of Education of China, 2012, 2011