We stand with Ukraine  

Wang Fang

Orcid: 0000-0001-7628-1185

Affiliations:
  • University of Edinburgh, School of Informatics, UK
  • Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China (former)


According to our database1, Wang Fang authored at least 16 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Optimal Quantum Algorithm for Estimating Fidelity to a Pure State.
[BibTeX]
[DOI]
Wang Fang
,
Qisheng Wang
CoRR, June, 2025

Hadamard-Π: Equational Quantum Programming.
[BibTeX]
[DOI]
Wang Fang
,
Chris Heunen
,
Robin Kaarsgaard
CoRR, June, 2025

Efficient Formal Verification of Quantum Error Correcting Programs.
[BibTeX]
[DOI]
Qifan Huang
,
Li Zhou
,
Wang Fang
,
Mengyu Zhao
,
Mingsheng Ying
Proc. ACM Program. Lang., 2025

Verifying Fault-Tolerance of Quantum Error Correction Codes.
[BibTeX]
[DOI]
Kean Chen
,
Yuhao Liu
,
Wang Fang
,
Jennifer Paykin
,
Xin-Chuan Wu
,
Albert T. Schmitz
,
Steve Zdancewic
,
Gushu Li
Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024
Artifact for VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models.
[BibTeX]
[DOI]
Yanling Lin
,
Ji Guan
,
Wang Fang
,
Mingsheng Ying
,
Zhaofeng Su
Dataset, June, 2024

Artifact: Symbolic Execution for Quantum Error Correction Programs.
[BibTeX]
[DOI]
Wang Fang
,
Mingsheng Ying
Dataset, March, 2024

Differentiable Quantum Programming with Unbounded Loops.
[BibTeX]
[DOI]
Wang Fang
,
Mingsheng Ying
,
Xiaodi Wu
ACM Trans. Softw. Eng. Methodol., January, 2024

Symbolic Execution for Quantum Error Correction Programs.
[BibTeX]
[DOI]
Wang Fang
,
Mingsheng Ying
Proc. ACM Program. Lang., 2024

VeriQR: A Robustness Verification Tool for quantum Machine Learning Models.
[BibTeX]
[DOI]
Yanling Lin
,
Ji Guan
,
Wang Fang
,
Mingsheng Ying
,
Zhaofeng Su
Proceedings of the Formal Methods - 26th International Symposium, 2024

Approximation Algorithm for Noisy Quantum Circuit Simulation.
[BibTeX]
[DOI]
Mingyu Huang
,
Ji Guan
,
Wang Fang
,
Mingsheng Ying
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits.
[BibTeX]
[DOI]
Wang Fang
,
Mingsheng Ying
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023
Quantum Algorithm for Fidelity Estimation.
[BibTeX]
[DOI]
Qisheng Wang
,
Zhicheng Zhang
,
Kean Chen
,
Ji Guan
,
Wang Fang
,
Junyi Liu
,
Mingsheng Ying
IEEE Trans. Inf. Theory, 2023

Detecting Violations of Differential Privacy for Quantum Algorithms.
[BibTeX]
[DOI]
Ji Guan
,
Wang Fang
,
Mingyu Huang
,
Mingsheng Ying
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
Verifying Fairness in Quantum Machine Learning.
[BibTeX]
[DOI]
Ji Guan
,
Wang Fang
,
Mingsheng Ying
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Robustness Verification of Quantum Classifiers.
[BibTeX]
[DOI]
Ji Guan
,
Wang Fang
,
Mingsheng Ying
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Robustness Verification of Quantum Machine Learning.
[BibTeX]
[DOI]
Ji Guan
,
Wang Fang
,
Mingsheng Ying
CoRR, 2020


  Loading...