16 citations · 45 across the 6 of their papers we have counts for
6 papers · 1 filter
ConQEC: Concolic Testing for Quantum Error-Correcting Code Implementations
Zihao Li, Ji Guan, Mingsheng Ying
Quantum error-correcting code (QECC) implementations are hybrid software-control systems: measured syndromes drive decoder dispatch, recovery actions, and logical checks. Existing…
Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
Mingyu Huang, Ji Guan, Wang Fang +1
In the current NISQ (Noisy Intermediate-Scale Quantum) era, simulating and verifying noisy quantum circuits is crucial but faces challenges such as quantum state explosion and comp…
VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
Yanling Lin, Ji Guan, Wang Fang +2
Adversarial noise attacks present a significant threat to quantum machine learning (QML) models, similar to their classical counterparts. This is especially true in the current Noi…
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,…
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…
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…