QDB: From Quantum Algorithms Towards Correct Quantum Programs.

Yipeng Huang, Margaret Martonosi

Browse the full OOPSLA paper archive.