quantum programming

Fast-USYN: Fast Synthesis from Unitary Matrices to High-Quality Quantum Circuits
Current quantum programs are usually represented as quantum circuits, including various quantum gates. If the program contains gates …
PDF Cite
Fast-USYN: Fast Synthesis from Unitary Matrices to High-Quality Quantum Circuits
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
Unlike classical computing, quantum program verification (QPV) is much more challenging due to the non-duplicability of quantum states …
PDF Cite Code DOI Artifact Evaluated
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification