On the need for effective tools for debugging quantum programs
arXiv:2402.09547 · doi:10.1145/3643667.3648226
Abstract
The ability to incorporate quantum phenomena in computing unlocks a host of new ways to make mistakes. This work surveys existing studies and approaches to debugging quantum programs. It then presents a set of examples that stem from first-hand experience, intended to motivate future research on the subject and the development of novel tools and techniques.
Short paper accepted in 5th International Workshop on Quantum Software Engineering (Q-SE 2024)
References in corpus (17)
- A variational eigenvalue solver on a quantum processor
- Error mitigation for short-depth quantum circuits
- Q#: Enabling scalable quantum computing and development with a high-level domain-specific language
- Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs
- Towards Large-scale Functional Verification of Universal Quantum Circuits
- A Verified Optimizer for Quantum Circuits
- QWIRE Practice: Formal Verification of Quantum Circuits in Coq
- Bugs in Quantum Computing Platforms: An Empirical Study
- A Deductive Verification Framework for Circuit-building Quantum Programs
- Equivalence Checking of Quantum Circuits with the ZX-Calculus
- Formal Verification of Quantum Programs: Theory, Tools and Challenges
- Is Your Quantum Program Bug-Free?
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
- Prediction of the neutron drip line in oxygen isotopes using quantum computation
- Toward Automatic Verification of Quantum Programs
- Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
- Proving Quantum Programs Correct