Quantum Virtual Machines
Runzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao, Ronghui Gu
Abstract
Cloud computing services offer time on quantum computers, but users are forced to each use the entire quantum computer to run their programs as there is no way to multiplex a quantum computer among multiple programs at the same time. We present HyperQ, a system that introduces virtual machines for quantum computers to provide fault isolation, better resource utilization, and lower latency for quantum cloud computing. A quantum virtual machine is defined in terms of quantum computer hardware, specifically its quantum gates and qubits arranged in a hardware-specific topology. HyperQ enables quantum virtual machines to be simultaneously executed together on a quantum computer by multiplexing them in time and space on the hardware and ensuring that they are isolated from one another. HyperQ works with existing quantum programs and compiler frameworks; programs are simply compiled to run in virtual machines without the programs or compilers needing to know what else might be executed at the same time. We have implemented HyperQ for the IBM quantum computing service, the largest quantum computing fleet in the world. Our experimental results running quantum programs in virtual machines using the IBM service demonstrate that HyperQ can increase utilization and throughput while reducing program latency, by up to an order of magnitude, without sacrificing, and in some cases improving, fidelity in the results of quantum program execution.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext ee8c9012-7eed-4477-bbb9-2a45dd74da79Cited by top-tier papers4
- qTPU: Hybrid Tensor Networks for Quantum-Classical AccelerationNathaniel Tornow, Emmanouil Giortamis, Dennis Sprokholt, Christian Mendl et al.OSDI 2026 · 1 citation
- Highly Automated Verification of Security Properties for Unmodified System SoftwareGanxiang Yang, Wei Qiang, Yi Rong, Xuheng Li et al.ASPLOS 2026 · 1 citation
- Synthesis of Compact and Expressive Quantum-Circuit OptimizationsWei Qiang, Ronghui GuOOPSLA 2026
- Equality Saturation for Quantum Circuit OptimizationGanxiang Yang, Paige Raun, Runzhou Tao, Ronghui GuPLDI 2026
Builds on12
- Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum ComputersPrakash Murali, David C. McKay, Margaret Martonosi, Ali Javadi-AbhariASPLOS 2020 · 253 citations
- Time-optimal Qubit mappingChi Zhang, Ari B. Hayes, Longfei Qiu, Yuwei Jin et al.ASPLOS 2021 · 72 citations
- A Secure and Formally Verified Linux KVM HypervisorShih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh et al.S&P 2021 · 72 citations
- QuCloud: A New Qubit Mapping Mechanism for Multi-programming Quantum Computing in Cloud EnvironmentLei Liu, Xinglei DouHPCA 2021 · 60 citations
- Design and Verification of the Arm Confidential Compute ArchitectureXupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu et al.OSDI 2022 · 60 citations
Related papers
- QVM: Quantum Gate Virtualization MachineNathaniel Tornow, Emmanouil Giortamis, Pramod BhatotiaPLDI 2025 · 3 citations
- QOS: Quantum Operating SystemEmmanouil Giortamis, Francisco Romão, Nathaniel Tornow, Pramod BhatotiaOSDI 2025
- SwitchQNet: Optimizing Distributed Quantum Computing for Quantum Data Centers with Switch NetworksHezi Zhang, Yiran Xu, Haotian Hu, Keyi Yin et al.ISCA 2025 · 4 citations
- Qonductor: A Cloud Orchestrator for Quantum ComputingEmmanouil Giortamis, Francisco Romão, Nathaniel Tornow, Dmitry Lugovoy et al.SC 2025 · 4 citations
- Experimental evaluation of NISQ quantum computers: error measurement, characterization, and implicationsTirthak Patel, Abhay Potharaju, Baolin Li, Rohan Basu Roy et al.SC 2020 · 37 citations
