Completely Automated Equivalence Proofs. - Qi Zhou 010; David Heath; William Harris (CoRR, 2017)

Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions. - Qi Zhou 010; William Harris (HCVS, 2018)

Relational Verification via Invariant-Guided Synchronization. - Qi Zhou 010; David Heath; William Harris (HCVS/PERR@ETAPS, 2019)

Automated Verification of Query Equivalence Using Satisfiability Modulo Theories. - Qi Zhou 010; Joy Arulraj; Shamkant B. Navathe; William Harris; Dong Xu (Proc. VLDB Endow., 2019)

SPES: A Two-Stage Query Equivalence Verifier. - Qi Zhou 010; Joy Arulraj; Shamkant B. Navathe; William Harris; Jinpeng Wu (CoRR, 2020)

SIA: Optimizing Queries using Learned Predicates. - Qi Zhou 010; Joy Arulraj; Shamkant B. Navathe; William Harris; Jinpeng Wu (SIGMOD Conference, 2021)

Automated Performance Bug Detection in Database Systems. - Xinyu Liu; Qi Zhou 010; Joy Arulraj; Alessandro Orso (CoRR, 2021)

Symbolic Reasoning for Query Verification and Optimization. - Qi Zhou 010 (2021)

SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics. - Qi Zhou 010; Joy Arulraj; Shamkant B. Navathe; William Harris; Jinpeng Wu (ICDE, 2022)

Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries. - Xinyu Liu; Qi Zhou 010; Joy Arulraj; Alessandro Orso (ICSE, 2022)