William R. Cook | DeepAI

AI Chat AI Image Generator AI Video Text to Speech

Featured Co-authors

Isil Dillig
40 publications
Shuvendu K. Lahiri
12 publications
Yuepeng Wang
9 publications
Srinivas Nedunuri
1 publication
Douglas R. Smith
1 publication

research

∙ 10/20/2017

Verifying Equivalence of Database-Driven Applications

This paper addresses the problem of verifying equivalence between a pair...

0 Yuepeng Wang, et al. ∙

research

∙ 07/04/2012

Theory and Techniques for Synthesizing a Family of Graph Algorithms

Although Breadth-First Search (BFS) has several advantages over Depth-Fi...

0 Srinivas Nedunuri, et al. ∙