MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification.

Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu, Qiuping Jiang, Mingshuai Chen, Jianwei Yin

Browse the full ASPLOS paper archive.