1 citations · 1 across the 6 of their papers we have counts for
4 papers · 1 filter
Bayesian Sequential Verification for Budget-Aware Quantum Program Testing
Lei Zhang
Quantum programs often produce probability distributions rather than deterministic outputs, making verification inherently statistical and increasingly costly on real hardware. In…
Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
Lei Zhang
Hybrid quantum-classical (HQC) algorithms, such as the Variational Quantum Eigensolver (VQE) and the Quantum Approximate Optimization Algorithm (QAOA), are central to near-term qua…
Identifying Flaky Tests in Quantum Code: A Machine Learning Approach
Khushdeep Kaur, Dongchan Kim, Ainaz Jamshidi +1
Testing and debugging quantum software pose significant challenges due to the inherent complexities of quantum mechanics, such as superposition and entanglement. One challenge is i…
A Lightweight Plug-in Module for Introducing Post-Quantum Cryptography in Higher Education: An Experience Report
Ainaz Jamshidi, Khushdeep Kaur, Karen Chen +2
Post-quantum cryptography (PQC) is increasingly important for computing education, yet integrating it into existing curricula is challenging because it draws on programming, mathem…