Publications

• Formal Verification of Quantum Ancilla Safety

  Jiqi Li, Jingyi Mei, Wang Fang, Ji Guan

  CAV 2026 [DOI] [arXiv] [Code]
• Hadamard-Pi: Equational Quantum Programming

  Wang Fang, Chris Heunen, Robin Kaarsgaard

  POPL 2026 [DOI] [arXiv]
• Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits

  Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying

  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025.

  TCAD [DOI] [arXiv]
• Optimal Quantum Algorithm for Estimating Fidelity to a Pure State

  Wang Fang, Qisheng Wang

  ESA 2025 [DOI] [arXiv]
• Verifying Fault-Tolerance of Quantum Error Correction Codes

  Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert Schmitz, Steve Zdancewic, Gushu Li

  CAV 2025 [DOI] [arXiv] [Code]
• Efficient Formal Verification of Quantum Error Correcting Programs

  Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

  PLDI 2025 [DOI] [arXiv] [Code]
• VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models

  Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su

  FM 2024 [DOI] [arXiv] [Code]
• SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits

  Wang Fang, Mingsheng Ying

  DAC 2024 [DOI] [arXiv] [Code]
• Symbolic Execution for Quantum Error Correction Programs

  Wang Fang, Mingsheng Ying

  PLDI 2024 [DOI] [arXiv] [Code]
• Approximation Algorithm for Noisy Quantum Circuit Simulation

  Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying

  DATE 2024 [DOI] [arXiv]
• Differentiable Quantum Programming with Unbounded Loops

  Wang Fang, Mingsheng Ying, Xiaodi Wu

  ACM Transactions on Software Engineering and Methodology, 2023.

  TOSEM [DOI] [arXiv] [Code]
• Detecting Violations of Differential Privacy for Quantum Algorithms

  Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying

  CCS 2023 [DOI] [arXiv]
• isQ: An Integrated Software Stack for Quantum Programming

  Jingzhe Guo, Huazhe Lou, Jintao Yu, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying

  IEEE Transactions on Quantum Engineering, 2023.

  IEEE TQE [DOI] [Code]
• Quantum Algorithm for Fidelity Estimation

  Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying

  IEEE Transactions on Information Theory, 2023.

  TIT [DOI] [arXiv]
• Verifying Fairness in Quantum Machine Learning

  Ji Guan, Wang Fang, Mingsheng Ying

  CAV 2022 [DOI] [arXiv] [Code]
• Robustness Verification of Quantum Classifiers

  Ji Guan, Wang Fang, Mingsheng Ying

  CAV 2021 [DOI] [arXiv]

Powered by Jekyll and Minimal Light theme.