Detecting Query Inefficiencies in Web Applications [Summary]
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL queries [Paper] [Slides]