2 papers
quant-ph2025
Bloch Vector Assertions for Debugging Quantum Programs
Noah H. Oldfield, Christoph Laaber, Shaukat Ali
Quantum programs must be reliable to ensure trustworthy results, yet debugging them is notoriously challenging due to quantum-specific faults like gate misimplementations and hardw…
cs.SE2024
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
Noah H. Oldfield, Christoph Laaber, Tao Yue +1
Quantum computing promises polynomial and exponential speedups in many domains, such as unstructured search and prime number factoring. However, quantum programs yield probabilisti…