1 citations · 1 across the 1 of their papers we have counts for
2 papers
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.SE2012★ 1 cited
Theory and Techniques for Synthesizing a Family of Graph Algorithms
Srinivas Nedunuri, William R. Cook, Douglas R. Smith
Although Breadth-First Search (BFS) has several advantages over Depth-First Search (DFS) its prohibitive space requirements have meant that algorithm designers often pass it over i…