Quantum computers promise dramatic advantages in processing speed over currently
available computer systems. Quantum computing offers great promise in a wide variety of …

The interest in quantum computing is growing, and with it, the importance of software
platforms to develop quantum programs. Ensuring the correctness of such platforms is …

This paper presents Giallar, a fully-automated verification toolkit for quantum compilers.
Giallar requires no manual specifications, invariants, or proofs, and can automatically verify …

We introduce ACES, a method for scalable noise metrology of quantum circuits that stands
for Averaged Circuit Eigenvalue Sampling. It simultaneously estimates the individual error …

Quantum programming languages enable developers to implement algorithms for quantum
computers that promise computational breakthroughs in classically intractable tasks …

Bug-catching is important for developing quantum programs. Motivated by the incorrectness
logic for classical programs, we propose an incorrectness logic towards a logical foundation …

Dirac notation is widely used in quantum physics and quantum programming languages to
define, compute and reason about quantum states. This paper considers Dirac notation from …

Tensor networks are a popular and computationally efficient approach to simulate general
quantum systems on classical computers and, in a broader sense, a framework for dealing …

Near-term intermediate scale quantum (NISQ) computers are likely to have very restricted
hardware resources, where precisely controllable qubits are expensive, error-prone, and …

Manually debugging quantum programs is a difficult and time-intensive process. In this
paper, we introduce an automated debugging technique, based on delta debugging and …