Wang Fang

22 papers A* 2A 2Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Hadamard-Pi: Equational Quantum Programming.
Proc. ACM Program. Lang.
Wang Fang, Chris Heunen, Robin Kaarsgaard
2025 J jnl
Efficient Formal Verification of Quantum Error Correcting Programs.
CoRR
Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
2025 J jnl
Efficient Formal Verification of Quantum Error Correcting Programs.
Proc. ACM Program. Lang.
Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
2025 J jnl
Hadamard-Π: Equational Quantum Programming.
CoRR
Wang Fang, Chris Heunen, Robin Kaarsgaard
2025 A conf
Optimal Quantum Algorithm for Estimating Fidelity to a Pure State.
ESA
Wang Fang, Qisheng Wang
2025 J jnl
Optimal Quantum Algorithm for Estimating Fidelity to a Pure State.
CoRR
Wang Fang, Qisheng Wang
2025 — conf
Verifying Fault-Tolerance of Quantum Error Correction Codes.
CAV (4)
Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert T. Schmitz, Steve Zdancewic, Gushu Li
2024 A conf
Approximation Algorithm for Noisy Quantum Circuit Simulation.
DATE
Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying
2024 J jnl
Differentiable Quantum Programming with Unbounded Loops.
ACM Trans. Softw. Eng. Methodol.
Wang Fang, Mingsheng Ying, Xiaodi Wu
2024 A* conf
SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits.
DAC
Wang Fang, Mingsheng Ying
2024 J jnl
Symbolic Execution for Quantum Error Correction Programs.
Proc. ACM Program. Lang.
Wang Fang, Mingsheng Ying
2024 — conf
VeriQR: A Robustness Verification Tool for quantum Machine Learning Models.
FM (1)
Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su
2023 A* conf
Detecting Violations of Differential Privacy for Quantum Algorithms.
CCS
Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
2023 J jnl
Detecting Violations of Differential Privacy for Quantum Algorithms.
CoRR
Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
2023 J jnl
Quantum Algorithm for Fidelity Estimation.
IEEE Trans. Inf. Theory
Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying
2023 J jnl
SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits.
CoRR
Wang Fang, Mingsheng Ying
2023 J jnl
Symbolic Execution for Quantum Error Correction Programs.
CoRR
Wang Fang, Mingsheng Ying
2022 J jnl
Differentiable Quantum Programming with Unbounded Loops.
CoRR
Wang Fang, Mingsheng Ying, Xiaodi Wu
2022 — conf
Verifying Fairness in Quantum Machine Learning.
CAV (2)
Ji Guan, Wang Fang, Mingsheng Ying
2022 J jnl
Verifying Fairness in Quantum Machine Learning.
CoRR
Ji Guan, Wang Fang, Mingsheng Ying
2021 — conf
Robustness Verification of Quantum Classifiers.
CAV (1)
Ji Guan, Wang Fang, Mingsheng Ying
2020 J jnl
Robustness Verification of Quantum Machine Learning.
CoRR
Ji Guan, Wang Fang, Mingsheng Ying