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).


  1. Synthesizing Database Programs for Schema Refactoring. PLDI'19
    Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig

  2. Relational Program Synthesis. OOPSLA'18
    Yuepeng Wang, Xinyu Wang, Isil Dillig
    [paper] [extended version]

  3. Verifying Equivalence of Database-Driven Applications. POPL'18
    Yuepeng Wang, Isil Dillig, Shuvendu Lahiri, William Cook
    [paper] [extended version]

  4. SQLizer: Query Synthesis from Natural Language. OOPSLA'17
    Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
    Distinguished Paper Award

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

  6. 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] [poster] [artifact]