Qi Zhou

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 9

Top Topics

Boolean Operators

Database Queries

Top Venues

Proc. VLDB Endow.

SIGMOD Conference

Publications

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu
SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics. ICDE (2022)
Xinyu Liu, Qi Zhou, Joy Arulraj, Alessandro Orso
Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries. ICSE (2022)
Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu
SIA: Optimizing Queries using Learned Predicates. SIGMOD Conference (2021)
Xinyu Liu, Qi Zhou, Joy Arulraj, Alessandro Orso
Automated Performance Bug Detection in Database Systems. CoRR (2021)
Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu
SPES: A Two-Stage Query Equivalence Verifier. CoRR (2020)
Qi Zhou, David Heath, William Harris
Relational Verification via Invariant-Guided Synchronization. HCVS/PERR@ETAPS (2019)
Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Dong Xu
Automated Verification of Query Equivalence Using Satisfiability Modulo Theories. Proc. VLDB Endow. 12 (11) (2019)
Qi Zhou, William Harris
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions. HCVS (2018)
Qi Zhou, David Heath, William Harris
Completely Automated Equivalence Proofs. CoRR (2017)