A quantum computing system naturally consists of two components, the software system and
the hardware system. Quantum applications are programmed using the quantum software …

Building a quantum computer that surpasses the computational power of its classical
counterpart is a great engineering challenge. Quantum software optimizations can provide an …

Gottesman–Kitaev–Preskill (GKP) states appear to be amongst the leading candidates for
correcting errors when encoding qubits into oscillators. However the preparation of GKP states …

Recent developments in engineering and algorithms have made real-world applications in
quantum computing possible in the near future. Existing quantum programming languages …

Quantum computers are traditionally operated by programmers at the granularity of a gate-based
instruction set. However, the actual device-level control of a quantum computer is …

Quantum computing is on the cusp of reality with Noisy Intermediate-Scale Quantum (NISQ)
machines currently under development and testing. Some of the most promising algorithms …

The quantum simulation kernel is an important subroutine appearing as a very long gate
sequence in many quantum programs. In this paper, we propose Paulihedral, a block-wise …

The control of cryogenic qubits in today’s super-conducting quantum computer prototypes
presents significant scalability challenges due to the massive costs of generating/routing the …

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

Computational chemistry is the leading application to demonstrate the advantage of quantum
computing in the near term. However, large-scale simulation of chemical systems on …