Yuepeng Wang

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 verification and program synthesis. Prior to UT-Austin, I obtained my B.E. degree with honors from Department of Computer Science, University of Science and Technology of China (USTC).

Publications

  1. Verifying Equivalence of Database-Driven Applications. To appear in POPL'18
    Yuepeng Wang, Isil Dillig, Shuvendu Lahiri, William Cook

  2. SQLizer: Query Synthesis from Natural Language. OOPSLA'17
    Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
    [paper]

  3. Component-Based Synthesis for Complex APIs. POPL'17
    Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas Reps
    [paper] [extended version]

  4. 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]

Teaching

Awards