2 citations · 5 across the 5 of their papers we have counts for
5 papers
Testing DBMS Performance with Mutations
Xinyu Liu, Qi Zhou, Joy Arulraj +1
Because database systems are the critical component of modern data-intensive applications, it is important to ensure that they operate correctly. To this end, developers extensivel…
A Symbolic Approach to Proving Query Equivalence Under Bag Semantics
Qi Zhou, Joy Arulraj, Shamkant Navathe +2
In database-as-a-service platforms, automated verification of query equivalence helps eliminate redundant computation in the form of overlapping sub-queries. Researchers have propo…
Relational Verification via Invariant-Guided Synchronization
Qi Zhou, David Heath, William Harris
Relational properties describe relationships that hold over multiple executions of one or more programs, such as functional equivalence. Conventional approaches for automatically v…
Completely Automated Equivalence Proofs
Qi Zhou, David Heath, William Harris
Verifying partial (i.e., termination-insensitive) equivalence of programs has significant practical applications in software development and education. Conventional equivalence ver…
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions
Qi Zhou, David Heath, William Harris
Recursion-free Constrained Horn Clauses (CHCs) are logic-programming problems that can model safety properties of programs with bounded iteration and recursion. In addition, many C…