Quantum computing is the latest revolution in computing and will probably come to be seen
as an advance as important as the steam engine or the information society. In the last few …

Quantum programming languages are essential to translate ideas into instructions that can
be executed by a quantum computer. Not only are they crucial to the programming of …

While quantum computers promise to solve some scientifically and commercially valuable
problems thought intractable for classical machines, delivering on this promise will require a …

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 …

Quantum computing exploits quantum phenomena such as superposition and entanglement
to realize a form of parallelism that is not available to traditional computing. It offers the …

Quantum computers are available to use over the cloud, but the recent explosion of quantum
software platforms can be overwhelming for those deciding on which to use. In this paper …

Existing quantum languages force the programmer to work at a low level of abstraction
leading to unintuitive and cluttered code. A fundamental reason is that dropping temporary …

In this paper, we propose Proq, a runtime assertion scheme for testing and debugging
quantum programs on a quantum computer. The predicates in Proq are represented by …

In support of the growing interest in quantum computing experimentation, programmers
need new tools to write quantum algorithms as program code. Compared to debugging …

We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq
proof assistant. Quantum circuits are expressed as programs in a simple, low-level language …