58 citations · 92 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
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…
cs.DB2017★ 22 cited
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…