Research output per year
Research output per year
Personal profile
Research Interests
My interests lie in quantum programming languages, classical simulation of quantum circuits and differentiable programming.
Qualifications
- PhD in Computer Science and Technology, 2024, Institute of Software, Chinese Academy of Sciences
- BA in Mathematics, 2018, School of Mathematics, Nanjing University
Fingerprint
Dive into the research topics where Wang Fang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
VeriQR: A robustness verification tool for quantum machine learning models
Lin, Y., Guan, J., Fang, W., Ying, M. & Su, Z., 18 Jul 2024, ArXiv, p. 1-18, 18 p.Research output: Working paper › Preprint
File -
Symbolic execution for quantum error correction programs
Fang, W. & Ying, M., 20 Jun 2024, In: Proceedings of the ACM on Programming Languages. 8, PLDI, p. 1040-1065 25 p., 189.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Approximation algorithm for noisy quantum circuit simulation
Huang, M., Guan, J., Fang, W. & Ying, M., 10 Jun 2024, 2024 Design, Automation & Test in Europe Conference & Exhibition Proceedings. Institute of Electrical and Electronics Engineers, p. 1-6 6 p. (Design, Automation & Test in Europe Conference & Exhibition).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Differentiable quantum programming with unbounded loops
Fang, W., Ying, M. & Wu, X., 23 Nov 2023, In: ACM Transactions on Software Engineering and Methodology. 33, 1, p. 597-659 63 p., 19.Research output: Contribution to journal › Article › peer-review
Open Access -
Detecting violations of differential privacy for quantum algorithms
Guan, J., Fang, W., Huang, M. & Ying, M., 21 Nov 2023, Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Meng, W., D. Jensen, C., Cremers, C. & Kirda, E. (eds.). ACM, p. 2277-2291 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile