PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Thu 19 Jun 2025 11:30 - 11:50 at Cosmos, Violet & Tulip - Quantum Chair(s): Robert Rand

We present the Quantum Gate Virtualization Machine (QVM), an end-to-end generic system for scalable execution of large quantum circuits with high fidelity on noisy and small quantum processors (QPUs) by leveraging gate virtualization.
QVM exposes a virtual circuit intermediate representation (IR) that extends the notion of quantum circuits to incorporate gate virtualization. Based on the virtual circuit as our IR, we propose the QVM compiler—an extensible compiler infrastructure to transpile a virtual circuit through a series of modular optimization passes to produce a set of optimized circuit fragments. Lastly, these transpiled circuit fragments are executed on QPUs using our QVM runtime—a scalable and parallel infrastructure to virtualize and execute circuit fragments on a set of QPUs.

We evaluate QVM on IBM's 7- and 27-qubit QPUs.
Our evaluation shows that our approach allows for the execution of circuits with up to double the number of qubits compared to the qubit-count of a QPU, while improving fidelity by 4.7$\times$ on average compared to larger QPUs and that we can effectively reduce circuit depths to only 40% of the original circuit depths.

Thu 19 Jun

Displayed time zone: Seoul change

10:30 - 12:10
QuantumPLDI Research Papers at Cosmos, Violet & Tulip
Chair(s): Robert Rand University of Chicago
10:30
20m
Talk
Optimizing Ancilla-Based Quantum Circuits with SPARE
PLDI Research Papers
Ritvik Sharma Stanford University, Sara Achour Stanford University
DOI
10:50
20m
Talk
MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum SimulationRemote
PLDI Research Papers
Xiuqi Cao University of Pennsylvania, Junyu Zhou University of Pennsylvania, Yuhao Liu University of Pennsylvania, Yunong Shi AWS Quantum Technologies, Gushu Li University of Pennsylvania
DOI
11:10
20m
Talk
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
PLDI Research Papers
Zhicheng Zhang University of Technology Sydney, Mingsheng Ying University of Technology Sydney
DOI
11:30
20m
Talk
QVM: Quantum Gate Virtualization Machine
PLDI Research Papers
Nathaniel Tornow TU Munich, Emmanouil Giortamis TU Munich, Pramod Bhatotia TU Munich
DOI
11:50
20m
Talk
Efficient Formal Verification of Quantum Error Correcting Programs
PLDI Research Papers
Qifan Huang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou Institute of Software at Chinese Academy of Sciences, Wang Fang University of Edinburgh, Mengyu Zhao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Mingsheng Ying University of Technology Sydney
DOI Pre-print