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.
62 | Multimodal Learning for Cross-Platform Verification in Early-Stage Quantum Computing
Quantum computing lecture from the QuCS series.
61 | Efficient Quantum Verification Approaches.
Quantum computing lecture from the QuCS series.
59 | Achieve Explanable Quantum Computing Using Visualization
Quantum computing has made significant progress in recent years.
56 | ODEgen: Analytic Gradients of Quantum Pulse Programs
We introduce ODEgen, a new method for evaluating analytic gradients of quantum pulse programs and contrast it with the stochastic parameter-shift rule.
51 | Design Automation for Quantum Computing
This talk will provide the full picture of design automation for quantum computing - from designing quantum algorithms and quantum circuits to quantum computing using physical quantum hardware.
45 | Enabling High Performance Debugging for Variational Quantum Algorithms using Compressed Sensing
Quantum computing lecture from the QuCS series.
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.
25 | QDiff: Differential Testing for Quantum Software Stacks
Several quantum software stacks (QSS) have been developed in response to rapid hardware advances in quantum computing.
24 | Automatic Formal Verification of the Qiskit Compiler
Quantum compilers are essential in the quantum software stack but are error-prone.
23 | Software Tools for Analog Quantum Computing
Recent experimental results suggest that continuous-time analog quantum simulation would be advantageous over gate-based digital quantum simulation in the Noisy Intermediate-Size Quantum (NISQ) machine era.
5 | Design Automation and Software Tools for Quantum Computing
Quantum computing is becoming a reality, but automated methods and software tools for this technology are just beginning.