I am a postdoctoral researcher at the University of Pennsylvania, working with Prof. Rajeev Alur and Prof. Mayur Naik. I obtained my Ph.D. and M.S. degrees from the University of Texas at Austin, where my advisor was Prof. Isil Dillig. Prior to UT-Austin, I obtained my B.E. degree with honors from the University of Science and Technology of China (USTC).

I will be starting as an Assistant Professor in the School of Computing Science at Simon Fraser University in August 2021.

Research Interests

My areas of interest are programming languages, formal methods, and databases. My recent research focuses on helping developers correctly and easily evolve database applications using formal methods. I am also interested in developing foundational program synthesis techniques.

Projects

• Formal Methods for Database Applications

  Developed techniques to help developers correctly and easily evolve database applications during database schema refactoring. Specifically, I worked on verifying equivalence between database programs with different schemas [POPL'18], synthesizing equivalent database programs given a new schema [PLDI'19], and migrating data between different schemas using input-output examples [VLDB'20].

• Program Synthesis and Machine Programming

  Developed foundational program synthesis techniques to automatically generate code from a variety of different high-level specifications, including input-output examples [POPL'17], natural language [OOPSLA'17], logical formulas [OOPSLA'18], and incomplete code snippets [POPL'17, FSE'16].

• Program Analysis for Smart Contracts

  Developed verification techniques for checking workflow and access control properties of smart contracts [VSTTE'19], and utilized this technique to find bugs in real-world Solidity smart contracts.

Publications

• Synthesizing Data Structure Refinements from Integrity Constraints. PLDI'21
  Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig


• Data Migration using Datalog Program Synthesis. VLDB'20
  Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
  [paper] [extended version]


• Synthesizing Database Programs for Schema Refactoring. PLDI'19
  Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
  [paper] [extended version] [video abstract]


• Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. VSTTE'19
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
  [paper]


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


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


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


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


• Information Exchange with Collision Detection on Multiple Channels.
  Journal of Combinatorial Optimization 2016
  Yuepeng Wang, Yuexuan Wang, Dongxiao Yu, Jiguo Yu, Francis Lau
  [paper]


• Mutual Privacy-Preserving Regression Modeling in Participatory Sensing. INFOCOM'13
  Kai Xing, Zhiguo Wan, Pengfei Hu, Haojin Zhu, Yuepeng Wang, Xi Chen, Yang Wang, Liusheng Huang
  [paper]


• A Localized Backbone Renovating Algorithm for Wireless Ad Hoc and Sensor Networks. INFOCOM'13
  Kai Xing, Shuo Zhang, Lei Shi, Haojin Zhu, Yuepeng Wang
  [paper]

Teaching

• TA for CS389L Automated Logical Reasoning, UT-Austin, Spring 2018
• 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

Service

• Web Co-Chair, POPL'22
• Artifact Evaluation Committee, CAV'20
• Artifact Evaluation Committee, POPL'20

Awards

• Distinguished Paper Award, OOPSLA, 2017
• 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