| 2026 | CAV | Formal Verification of Quantum Ancilla Safety. | Jiqi Li, Jingyi Mei, Wang Fang, Ji Guan |
| 2025 | CAV | Verifying Fault-Tolerance of Quantum Error Correction Codes. | Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert T. Schmitz, Steve Zdancewic, Gushu Li |
| 2025 | ESA | Optimal Quantum Algorithm for Estimating Fidelity to a Pure State. | Wang Fang, Qisheng Wang |
| 2024 | DAC | SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. | Wang Fang, Mingsheng Ying |
| 2024 | DATE | Approximation Algorithm for Noisy Quantum Circuit Simulation. | Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying |
| 2024 | FM | VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. | Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su |
| 2023 | CCS | Detecting Violations of Differential Privacy for Quantum Algorithms. | Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying |
| 2022 | CAV | Verifying Fairness in Quantum Machine Learning. | Ji Guan, Wang Fang, Mingsheng Ying |
| 2021 | CAV | Robustness Verification of Quantum Classifiers. | Ji Guan, Wang Fang, Mingsheng Ying |