Language Design Lab

Testing and Automating Quantum Compiler Workflows

Testing and Automating Quantum Compiler Workflows

RetroQ used retromorphic testing to reproduce known bugs and uncover new defects in PennyLane and Qiskit, including symbolic-parameter, commutation, self-adjointness, and crash failures. Agent-based migration of thirteen Qiskit benchmarks to CUDA-Q was fast but required corrective prompting and showed no consistently superior model, leaving correctness and generalization unresolved.

Sources (2)
Updated Oct 9, 2026