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

The Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025) aims to bring together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, both those that exist today and those likely to exist in the near to far future.

Workshop topics include (but are not limited to):

  • High-level quantum programming languages
  • Verification tools for quantum programs
  • Novel quantum programming abstractions
  • Quantum circuit and program optimization
  • Hardware-aware circuit compilation and routing
  • Error handling, mitigation, and correction
  • Instruction sets for quantum hardware
  • Other techniques from traditional programming languages (e.g., types, compilation/optimization, foreign function interfaces) applied to the domain of quantum computation.

Travel support

Thanks to the generous support of our sponsors, travel support is available for students who may not otherwise be able to attend. To apply, please fill out the following web form: https://forms.gle/pjNFPhz65wVhoDNV8

Keynote Speaker

Supporters
Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 25 Jan

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

09:00 - 10:30
Session 1PLanQC at Red Rover
09:00
45m
Keynote
Unlocking quantum potential with software and compilersKeynote
PLanQC
Kaitlin Smith Northwestern University
09:46
22m
Talk
HUGR: A Quantum-Classical Intermediate RepresentationTalk
PLanQC
Seyon Sivarajah Quantinuum, Mark Koch Quantinuum, Agustin Borgna Quantinuum, Alan Lawrence Quantinuum, Alec Edgington Quantinuum, Douglas Wilson Quantinuum, Craig Roy Quantinuum, Luca Mondada University of Oxford, Lukas Heidemann Quantinuum, Ross Duncan Quantinuum
File Attached
10:08
22m
Talk
QuteFuzz: Fuzzing quantum compilers using randomly generated circuits with control flow and subcircuitsTalk
PLanQC
Ilan Iwumbwe Imperial College London, Benny Zong Liu Imperial College London, John Wickerson Imperial College London
Media Attached File Attached
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Session 2PLanQC at Red Rover
11:00
22m
Talk
The Quantum Abstract MachineTalk
PLanQC
Le Chang University of Maryland, College Park, Liyi Li Iowa State University, Rance Cleaveland University of Maryland, Mingwei Zhu University of Maryland, College Park, Xiaodi Wu University of Maryland
File Attached
11:22
22m
Talk
Algebraic and denotational semantics for Classically Controlled Quantum CommunicationTalk
PLanQC
Theo Wang University of Oxford, Sam Staton University of Oxford
File Attached
11:45
22m
Talk
Towards Quantum Multiparty Session TypesTalk
PLanQC
Ivan Lanese University of Bologna/INRIA, Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis, Vikraman Choudhury Università di Bologna & Inria OLAS
File Attached
12:07
22m
Talk
Concurrent Quantum Separation Logic for Fine-Grained ParallelismTalk
PLanQC
Yusuke Matsushita Kyoto University, Kengo Hirata University of Edinburgh, Ryo Wakizaka Kyoto University
File Attached
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Session 3PLanQC at Red Rover
14:00
22m
Talk
Verifying the Equivalence of Parameterized Quantum CircuitsTalk
PLanQC
Scott Wesley Dalhousie University, Neil Julien Ross Dalhousie University
File Attached
14:22
22m
Talk
An Automata-based Framework for Quantum Circuit VerificationTalk
PLanQC
Parosh Aziz Abdulla Uppsala University, Sweden, Yo-Ga Chen Academia Sinica, Yu-Fang Chen Academia Sinica, Kai-Min Chung Academia Sinica, Lukáš Holík Brno University of Technology, Ondřej Lengál Brno University of Technology, Jyun-Ao Lin National Taipei University of Technology, Fang-Yi Lo Academia Sinica, Wei-Lun Tsai Academia Sinica, Di-De Yen Academia Sinica
File Attached
14:45
45m
Poster
Poster Session
PLanQC

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Session 4PLanQC at Red Rover
16:00
22m
Talk
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs (Extended Abstract)Talk
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

Unscheduled Sessions

no time slot
Poster SessionPLanQC
Not scheduled
Poster
AutoQASM: Imperative quantum programming in PythonPoster
PLanQC
Ryan Shaffer AWS Quantum Technologies, Lauren Capelluto AWS Quantum Technologies, Yi-Ting Chen AWS Quantum Technologies, Aaron Berdy AWS Quantum Technologies, Kshitij Chhabra AWS Quantum Technologies, Jean-Christophe Jaskula AWS Quantum Technologies, Eric Kessler AWS Quantum Technologies, Yunong Shi AWS Quantum Technologies
File Attached
Not scheduled
Poster
Compiling Qunity: From High-Level Quantum Programs to CircuitsPoster
PLanQC
Mikhail Mints California Institute of Technology, Finn Voichick University of Maryland, Robert Rand University of Chicago
File Attached
Not scheduled
Poster
Expressing and Analyzing Quantum Algorithms with QualtranPoster
PLanQC
Matthew P Harrigan Google Quantum AI
File Attached
Not scheduled
Poster
Fusion and flow: formal protocols to reliably build photonic graph statesPoster
PLanQC
Giovanni de Felice Quantinuum, Boldizsár Poór Quantinuum, Lia Yeh University of Oxford, William Cashman University of Oxford
File Attached
Not scheduled
Poster
Lightweight functional verification of quantum programsPoster
PLanQC
Kevin Ye Simon Fraser University, Matthew Amy Simon Fraser University
File Attached
Not scheduled
Poster
Qutes: a Pathway to High-Level Quantum ProgrammingPoster
PLanQC
Simone Faro University of Catania, Francesco Pio Marino University of Catania, University of Rouen, Gabriele Messina University of Catania
File Attached
Not scheduled
Poster
Restricted Evolution as a Strategy for Constant Runtime Error MitigationPoster
PLanQC
Gaurav Saxena LG Electronics Toronto AI Lab, Thi Ha Kyaw LG Electronics Toronto AI Lab
File Attached
Not scheduled
Poster
Sdim: A Qudit Stabilizer SimulatorPoster
PLanQC
Adeeb Kabir Rutgers University, Steven Nguyen Rutgers University, Tijil Kiran Rutgers University, Anika Kumar Rutgers University, Yipeng Huang Rutgers University
File Attached
Not scheduled
Poster
Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare LogicsPoster
PLanQC
Olga Becci University of Bologna, Andrea Colledan University of Bologna & INRIA Sophia Antipolis, Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis, Leonardo Venturi University of Bologna
File Attached
Not scheduled
Poster
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum ComputationPoster
PLanQC
Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford, Stefano Gogioso University of Oxford
File Attached

Accepted Talks and Posters

Title
Algebraic and denotational semantics for Classically Controlled Quantum CommunicationTalk
PLanQC
File Attached
An Automata-based Framework for Quantum Circuit VerificationTalk
PLanQC
File Attached
AutoQASM: Imperative quantum programming in PythonPoster
PLanQC
File Attached
Compiling Qunity: From High-Level Quantum Programs to CircuitsPoster
PLanQC
File Attached
Concurrent Quantum Separation Logic for Fine-Grained ParallelismTalk
PLanQC
File Attached
Expressing and Analyzing Quantum Algorithms with QualtranPoster
PLanQC
File Attached
Fusion and flow: formal protocols to reliably build photonic graph statesPoster
PLanQC
File Attached
HUGR: A Quantum-Classical Intermediate RepresentationTalk
PLanQC
File Attached
Imperative Quantum Programming with Ownership and Borrowing in GuppyTalk
PLanQC
Media Attached File Attached
Lightweight functional verification of quantum programsPoster
PLanQC
File Attached
Programming with Projective CliffordsTalk
PLanQC
File Attached
Proto-Quipper with Reversing and ControlTalk
PLanQC
File Attached
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs (Extended Abstract)Talk
PLanQC
File Attached
QuteFuzz: Fuzzing quantum compilers using randomly generated circuits with control flow and subcircuitsTalk
PLanQC
Media Attached File Attached
Qutes: a Pathway to High-Level Quantum ProgrammingPoster
PLanQC
File Attached
Restricted Evolution as a Strategy for Constant Runtime Error MitigationPoster
PLanQC
File Attached
Sdim: A Qudit Stabilizer SimulatorPoster
PLanQC
File Attached
Size Analysis of Imperative Quantum Circuit Building Programs Through Floyd-Hoare LogicsPoster
PLanQC
File Attached
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum ComputationPoster
PLanQC
File Attached
The Quantum Abstract MachineTalk
PLanQC
File Attached
Towards Quantum Multiparty Session TypesTalk
PLanQC
File Attached
Verifying the Equivalence of Parameterized Quantum CircuitsTalk
PLanQC
File Attached

Call for Submissions

We invite members of the programming languages and quantum computing communities to submit talk proposals for the 5th International Workshop on Programming Languages for Quantum Computing (PLanQC 2025), co-located in January 2025 with POPL in Denver, Colorado, USA.

PLanQC aims to bring together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, as they exist today and as they are likely to exist in the near to distant future.

Submissions to PLanQC should take the form of 2-5 page abstracts (single-column, 11pt acmsmall style, not including references), with links to larger preprints when appropriate. Work in progress is welcome. We hope to make PLanQC maximally accessible to the programming languages community. Thus, abstracts should cover cutting-edge ideas and results, but not be opaque to new, potential entrants to quantum computing coming from programming languages. Abstracts will be reviewed for quality and relevance to the workshop, and accepted authors will be invited to give talks or poster presentations. We will not be publishing formal proceedings, but the extended abstracts, along with links (where available) to full papers will be posted to the website of the workshop.

Workshop topics

  • High-level quantum programming languages
  • Verification tools for quantum programs
  • Novel quantum programming abstractions
  • Quantum circuit and program optimization
  • Hardware-aware circuit compilation and routing
  • Error handling, mitigation, and correction
  • Instruction sets for quantum hardware
  • Other techniques from traditional programming languages (e.g., types, compilation/optimization, foreign function interfaces) applied to the domain of quantum computation.

Important dates

Note the new submission deadline!

  • Submission deadline: November 1, 2024 (end of day, AoE)
  • Notification deadline: November 29, 2024 (end of day, AoE)
  • Workshop: January 25, 2025

Questions? Use the PLanQC contact form.