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

Quantum recursive programming has been recently introduced for describing sophisticated and complicated quantum algorithms in a compact and elegant way. However, implementation of quantum recursion involves intricate interplay between quantum control flow and recursive procedure calls. In this paper, we aim at resolving this fundamental challenge and develop a series of techniques to efficiently implement quantum recursive programs. Our main contributions include:

  1. We propose a notion of quantum register machine, the first quantum architecture (including an instruction set) that provides instruction-level support for quantum control flow and recursive procedure calls at the same time.

  2. Based on quantum register machine, we describe the first comprehensive implementation process of quantum recursive programs, including the compilation, the partial evaluation of quantum control flow, and the execution on the quantum register machine.

  3. As a bonus, our efficient implementation of quantum recursive programs also offers automatic parallelisation of quantum algorithms. For implementing certain quantum algorithmic subroutine, like the widely used quantum multiplexor, we can even obtain exponential parallel speed-up (over the straightforward implementation) from this automatic parallelisation. This demonstrates that quantum recursive programming can be win-win for both modularity of programs and efficiency of their implementation.

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