67 | Quantum Recursive Programming: Verification and Implementation
Quantum recursive programming has recently been introduced for describing sophisticated and complicated quantum algorithms in a compact and elegant way.
33 | Quantum Graphical Calculi: Tutorial and Applications
Quantum computing and quantum communication provide potential speed-up and enhanced security compared with their classical counterparts.
32 | Hoare logic for verification of quantum programs
Quantum computing and quantum communication provide potential speed-up and enhanced security compared with their classical counterparts.
26 | Abstractions Are Bridges Toward Quantum Programming
In this talk, I present abstractions that help classical developers reason about the quantum world, with the goal of designing expressive and sound tools for quantum programming.
24 | Automatic Formal Verification of the Qiskit Compiler
Quantum compilers are essential in the quantum software stack but are error-prone.
19 | Classical Verification of Quantum Depth
Verifying if a remote server has sufficient quantum resources to demonstrate quantum advantage is a fascinating question in complexity theory as well as a practical challenge.