Qi Zhou

According to our database, Qi Zhou authored at least 10 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries.

Xinyu Liu, Qi Zhou, Joy Arulraj, Alessandro Orso

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics.

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu

Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

2021

Symbolic Reasoning for Query Verification and Optimization.

Qi Zhou

PhD thesis, 2021

Automated Performance Bug Detection in Database Systems.

Xinyu Liu, Qi Zhou, Joy Arulraj, Alessandro Orso

CoRR, 2021

SIA: Optimizing Queries using Learned Predicates.

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2020

SPES: A Two-Stage Query Equivalence Verifier.

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu

CoRR, 2020

2019

Automated Verification of Query Equivalence Using Satisfiability Modulo Theories.

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Dong Xu

Proc. VLDB Endow., 2019

Relational Verification via Invariant-Guided Synchronization.

Qi Zhou, David Heath, William Harris

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

2018

Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions.

Qi Zhou, William Harris

Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

2017

Completely Automated Equivalence Proofs.

Qi Zhou, David Heath, William Harris

CoRR, 2017