A universal fault-tolerant quantum computer that can efficiently solve problems such as
integer factorization and unstructured database search requires millions of qubits with low …

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 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 …

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 …

CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its
main components are: a deeply embedded quantum programming language, in which …

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 …

We present a novel method for simulating the noisy behavior of quantum computers, which
allows to efficiently incorporate environmental effects in the driven evolution implementing …

In quantum computing, the basic unit of information is a qubit. Simulation of a general
quantum program takes exponential time in the number of qubits, which makes simulation …

Realistic benchmarks of reproducible bugs and fixes are vital to good experimental
evaluation of debugging and testing approaches. However, there is no suitable bug …

Quantum computing has emerged as a promising field with the potential to revolutionize
various domains by harnessing the principles of quantum mechanics. As quantum hardware …