POPL 2025 (series) / PLanQC 2025 (series) / PLanQC 2025 / Towards Quantum Multiparty Session Types
Towards Quantum Multiparty Session TypesTalk
This program is tentative and subject to change.
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 JanDisplayed time zone: Mountain Time (US & Canada) change
Sat 25 Jan
Displayed time zone: Mountain Time (US & Canada) change
11:00 - 12:30 | |||
11:00 22mTalk | 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 22mTalk | Algebraic and denotational semantics for Classically Controlled Quantum CommunicationTalk PLanQC File Attached | ||
11:45 22mTalk | 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 22mTalk | Concurrent Quantum Separation Logic for Fine-Grained ParallelismTalk PLanQC Yusuke Matsushita Kyoto University, Kengo Hirata University of Edinburgh, Ryo Wakizaka Kyoto University File Attached |