POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
POPL 2025 (series) / Curtis Hotel Denver /

Room information: Keep Away

VenueCurtis Hotel Denver
Room nameKeep Away
Floor2
Room InformationNo extra information available
Program

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

Thu 23 Jan

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

13:20 - 14:40
SRC Finalist PresentationsStudent Research Competition at Keep Away
13:20
13m
Talk
System $F^\omega$ with Coherent Implicit Resolution
Student Research Competition
Eugene Flesselle EPFL
13:33
13m
Talk
Efficient Strong Simulation of High-level Quantum Gates
Student Research Competition
Adam Husted Kjelstrøm
13:46
13m
Talk
The Store-Order Consistency Testing Problem for C-like Memory Models
Student Research Competition
Grace Tan National University of Singapore
14:00
13m
Talk
Wanco: WebAssembly AOT Compiler that supports Live Migration
Student Research Competition
Raiki Tamura Kyoto University
14:13
13m
Talk
Optimizing Asynchronous Rust with Hydroflow
Student Research Competition
Ryan Alameddine University of California, Berkeley
14:26
13m
Talk
Property Testing Trace Languages
Student Research Competition
Jed Koh Jin Keat National University of Singapore

Sat 25 Jan

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

09:00 - 10:30
Session 1PLanQC at Keep Away
Chair(s): Jennifer Paykin Intel
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
11:00 - 12:30
Session 2PLanQC at Keep Away
Chair(s): Peng Fu University of South Carolina
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
14:00 - 15:30
Session 3PLanQC at Keep Away
Chair(s): Ross Duncan Quantinuum
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

16:00 - 17:30
Session 4PLanQC at Keep Away
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

Thu 23 Jan

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

Room13:003014:0030
Keep Away

Student Research Competition

SRC Finalist Presentations

Sat 25 Jan

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Keep Away

PLanQC

Session 1

PLanQC

Session 2

PLanQC

Session 3

PLanQC

Session 4

Thu 23 Jan

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

Room13:0015304514:00153045
Keep Away
POPL Student Research Competition
System $F^\omega$ with Coherent Implicit Resolution
13:20 - 13:33
POPL Student Research Competition
Efficient Strong Simulation of High-level Quantum Gates
13:33 - 13:46
POPL Student Research Competition
The Store-Order Consistency Testing Problem for C-like Memory Models
13:46 - 14:00
POPL Student Research Competition
Wanco: WebAssembly AOT Compiler that supports Live Migration
14:00 - 14:13
POPL Student Research Competition
Optimizing Asynchronous Rust with Hydroflow
14:13 - 14:26
POPL Student Research Competition
Property Testing Trace Languages
14:26 - 14:40

Sat 25 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Keep Away
PLanQCKeynote
Unlocking quantum potential with software and compilers
09:00 - 09:45
PLanQCTalk
HUGR: A Quantum-Classical Intermediate Representation
09:46 - 10:08
PLanQCTalk
QuteFuzz: Fuzzing quantum compilers using randomly generated circuits w ...
10:08 - 10:30
PLanQCTalk
The Quantum Abstract Machine
11:00 - 11:22
PLanQCTalk
Algebraic and denotational semantics for Classically Controlled Quantum ...
11:22 - 11:45
PLanQCTalk
Towards Quantum Multiparty Session Types
11:45 - 12:07
PLanQCTalk
Concurrent Quantum Separation Logic for Fine-Grained Parallelism
12:07 - 12:30
PLanQCTalk
Verifying the Equivalence of Parameterized Quantum Circuits
14:00 - 14:22
PLanQCTalk
An Automata-based Framework for Quantum Circuit Verification
14:22 - 14:45
PLanQC
Poster Session
14:45 - 15:30
PLanQCTalkRemote
Quantum Register Machine: Efficient Implementation of Quantum Recursive ...
16:00 - 16:22
PLanQCTalk
Programming with Projective Cliffords
16:22 - 16:45
PLanQCTalk
Proto-Quipper with Reversing and Control
16:45 - 17:07
PLanQCTalk
Imperative Quantum Programming with Ownership and Borrowing in Guppy
17:07 - 17:30