22 citations · 27 across the 3 of their papers we have counts for
6 papers
Data Migration using Datalog Program Synthesis
Yuepeng Wang, Rushi Shah, Abby Criswell +2
This paper presents a new technique for migrating data between different schemas. Our method expresses the schema mapping as a Datalog program and automatically synthesizes a Datal…
Synthesizing Database Programs for Schema Refactoring
Yuepeng Wang, James Dong, Rushi Shah +1
Many programs that interact with a database need to undergo schema refactoring several times during their life cycle. Since this process typically requires making significant chang…
Formal Specification and Verification of Smart Contracts for Azure Blockchain
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen +4
Ensuring correctness of smart contracts is paramount to ensuring trust in blockchain-based systems. This paper studies the safety and security of smart contracts in the \emph{Azure…
Relational Program Synthesis
Yuepeng Wang, Xinyu Wang, Isil Dillig
This paper proposes relational program synthesis, a new problem that concerns synthesizing one or more programs that collectively satisfy a relational specification. As a dual of r…
Verifying Equivalence of Database-Driven Applications
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri +1
This paper addresses the problem of verifying equivalence between a pair of programs that operate over databases with different schemas. This problem is particularly important in t…
Type- and Content-Driven Synthesis of SQL Queries from Natural Language
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig +1
This paper presents a new technique for automatically synthesizing SQL queries from natural language. Our technique is fully automated, works for any database without requiring add…