Wang Fang

最新发表

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

引用 DOI URL

Wang Fang, Mingsheng Ying, Xiaodi Wu (2023). Differentiable Quantum Programming with Unbounded Loops. ACM Trans. Softw. Eng. Methodol..

引用 DOI URL

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

引用 DOI URL

Jingzhe Guo, Huazhe Lou, Jintao Yu, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying (2023). isQ: An Integrated Software Stack for Quantum Programming. IEEE Transactions on Quantum Engineering.

引用 DOI

Jingzhe Guo, Huazhe Lou, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying (2023). isQ: Towards a Practical Software Stack for Quantum Programming.

引用 arXiv URL

Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying (2023). Quantum Algorithm for Fidelity Estimation. IEEE Transactions on Information Theory.

引用 DOI

Ji Guan, Wang Fang, Mingsheng Ying (2022). Verifying Fairness in Quantum Machine Learning. Computer Aided Verification.

引用

Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang, Mingsheng Ying (2022). VeriQBench: A Benchmark for Multiple Types of Quantum Circuits.

引用 arXiv URL

Ji Guan, Wang Fang, Mingsheng Ying (2021). Robustness Verification of Quantum Classifiers. Computer Aided Verification.

引用