Quantum software tools for a wide variety of design tasks on and across different levels of
abstraction are crucial in order to eventually realize useful quantum applications. This …

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

We describe Qiskit, a software development kit for quantum information science. We discuss
the key design decisions that have shaped its development, and examine the software …

Abstract Zero Knowledge Proofs (ZKPs) are cryptographic protocols by which a prover
convinces a verifier of the truth of a statement without revealing any other information …

Near-term quantum computers are expected to work in an environment where each
operation is noisy, with no error correction. Therefore, quantum-circuit optimizers are applied …

The recent fast development of quantum computers breaks several computation limitations
that are difficult for conventional computers. Up to the present, although many approaches …

We define QSE, a symbolic execution framework for quantum programs by integrating
symbolic variables into quantum states and the outcomes of quantum measurements. The …

Quantum computation is inevitably subject to imperfections in its implementation. These
imperfections arise from various sources, including environmental noise at the hardware …

Quantum programs are notoriously difficult to code and verify due to unintuitive quantum
knowledge associated with quantum programming. Automated tools relieving the tedium …

Systems code is challenging to verify, because it uses constructs (like raw pointers, pointer
arithmetic, and bit twiddling) that are hard for tools to reason about. Existing approaches …