Quantum software plays a critical role in exploiting the full potential of quantum computing
systems. As a result, it has been drawing increasing attention recently. This paper defines …

The ability to incorporate quantum phenomena in computing unlocks a host of new ways to
make mistakes. This work surveys existing studies and approaches to debugging quantum …

Quantum calculi and formalisms are useful tools for ensuring security and computational
capabilities in blockchain and cryptography. They aid in designing and analysing new …

Variational quantum algorithms have been introduced as a promising class of quantum-
classical hybrid algorithms that can already be used with the noisy quantum computing …

Automated reasoning techniques have been proven of immense importance in classical
applications like formal verification, circuit design and probabilistic inference. The domain of …

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 …

As a new research area, quantum software testing lacks systematic testing benchmarks to
assess testing techniques' effectiveness. Recently, some open-source benchmarks and …

The technological development of increasingly larger quantum processors on different
quantum platforms raises the problem of how to fairly compare their performance, known as …

A software platform for quantum computing is required to run a complex algorithm on a real
quantum device through automatically converting a quantum circuit level algorithm to a …

In this paper, we present a Hoare-style logic for reasoning about quantum programs with
classical variables. Our approach offers several improvements over previous work:(1) …