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

This program is tentative and subject to change.

Sat 25 Jan 2025 11:45 - 12:07 at Red Rover - Session 2

Multiparty Session Types (MPSTs) are a typing discipline for message-passing protocols that guarantee communication safety properties, such as deadlock-freedom. We propose a quantum extension of MPSTs, called Quantum MPSTs (QMPSTs), with the aim of specifying quantum protocols. QMPSTs guarantee usual communication safety properties, in addition to safety properties specific to quantum information, such as no-cloning and no-deleting. We exhibit the use of QMPSTs to verify Quantum Teleportation. The full paper (to appear in SEFM’24 proceedings) with complete details, metatheoretic results, and examples of other quantum protocols is available at: https://arxiv.org/abs/2409.11133.

Extended Abstract (planqc25-paper33.pdf)450KiB

This program is tentative and subject to change.

Sat 25 Jan

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

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 Cambridge, 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
Hide past events