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

Noisy Intermediate-Scale Quantum Computing (NISQ) has dominated headlines in recent
years, with the longer-term vision of Fault-Tolerant Quantum Computation (FTQC) offering …

The overheads of classical decoding for quantum error correction in cryogenic quantum
systems grow rapidly with the number of logical qubits and their correction code distance …

Memory is an indispensable component in classical computing systems. While the
development of quantum computing is still in its early stages, current quantum processing …

Noisy Intermediate-Scale Quantum Computing (NISQ) has dominated headlines in recent
years, with the longer-term vision of Fault-Tolerant Quantum Computation (FTQC) offering …

Quantum Volume is a full-stack benchmark for near-term quantum computers. It quantifies
the largest size of a square circuit which can be executed on the target device with …

Applying low-depth quantum neural networks (QNNs), variational quantum algorithms
(VQAs) are both promising and challenging in the noisy intermediate-scale quantum (NISQ) …

Practical applications of quantum computing depend on fault-tolerant devices with error
correction. Today, the most promising approach is a class of error-correcting codes called …

We introduce a stabilizer formalism for the general quantum error correction framework
called operator algebra quantum error correction (OAQEC), which generalizes Gottesman's …

Fabrication errors pose a significant challenge in scaling up solid-state quantum devices to
the sizes required for fault-tolerant (FT) quantum applications. To mitigate the resource …