POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

This program is tentative and subject to change.

Sat 25 Jan 2025 16:00 - 16:22 at Red Rover - Session 4 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 flows 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:

  • We propose a notion of \textit{quantum register machine}, the first purely quantum architecture (including an instruction set) that supports quantum control flows and recursive procedure calls at the same time.

  • Based on quantum register machine, we describe the first \textit{comprehensive implementation process} of quantum recursive programs, including the compilation, the partial evaluation of quantum control flows, and the execution on the quantum register machine.

  • As a bonus, our efficient implementation of quantum recursive programs also offers \textit{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.

Extended Abstract (planqc25-paper94.pdf)773KiB

This program is tentative and subject to change.

Sat 25 Jan

Displayed time zone: Mountain Time (US & Canada) change

16:00 - 17:30
Session 4PLanQC at Red Rover
Chair(s): Robert Rand University of Chicago
16:00
22m
Talk
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs (Extended Abstract)TalkRemote
PLanQC
Zhicheng Zhang University of Technology Sydney, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University
File Attached
16:22
22m
Talk
Programming with Projective CliffordsTalk
PLanQC
Jennifer Paykin Intel, Sam Winnick University of Waterloo
File Attached
16:45
22m
Talk
Proto-Quipper with Reversing and ControlTalk
PLanQC
Peng Fu University of South Carolina, Kohei Kishida University of Illinois at Urbana-Champaign, Neil Julien Ross Dalhousie University, Peter Selinger Dalhousie University
File Attached
17:07
22m
Talk
Imperative Quantum Programming with Ownership and Borrowing in GuppyTalk
PLanQC
Mark Koch Quantinuum, Agustin Borgna Quantinuum, Craig Roy Quantinuum, Alan Lawrence Quantinuum, Kartik Singhal Quantinuum, Seyon Sivarajah Quantinuum, Ross Duncan Quantinuum
Media Attached File Attached
Hide past events