43 citations · 123 across the 16 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
quant-ph2023
SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits
Wang Fang, Mingsheng Ying
This paper proposes an efficient stabilizer circuit simulation algorithm that only traverses the circuit forward once. We introduce phase symbolization into stabilizer generators,…
quant-ph2023★ 16 cited
Symbolic Execution for Quantum Error Correction Programs
Wang Fang, Mingsheng Ying
We define QSE, a symbolic execution framework for quantum programs by integrating symbolic variables into quantum states and the outcomes of quantum measurements. The soundness of…
quant-ph2023★ 14 cited
Detecting Violations of Differential Privacy for Quantum Algorithms
Ji Guan, Wang Fang, Mingyu Huang +1
Quantum algorithms for solving a wide range of practical problems have been proposed in the last ten years, such as data search and analysis, product recommendation, and credit sco…