POPL 2025 (series) / PLanQC 2025 (series) /
PLanQC 2025 Program
This is the PLanQC 2025 program - see the full program for POPL 2025 and all affiliated events.
Filter Program
Dates
Sat 25 Jan 2025
Rooms
Keep Away
Tracks
PLanQC
Badges
Keynote
Remote
Talk
Your Program
Nothing to filter
Sat 25 JanDisplayed time zone: Mountain Time (US & Canada) change
Sat 25 Jan
Displayed time zone: Mountain Time (US & Canada) change
09:00 - 10:30 | |||
09:00 45mKeynote | Unlocking quantum potential with software and compilersKeynote PLanQC Kaitlin Smith Northwestern University | ||
09:46 22mTalk | 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 22mTalk | 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 | |||
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 | ||
14:00 - 15:30 | |||
14:00 22mTalk | Verifying the Equivalence of Parameterized Quantum CircuitsTalk PLanQC File Attached | ||
14:22 22mTalk | 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 45mPoster | Poster Session PLanQC | ||
16:00 - 17:30 | |||
16:00 22mTalk | 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 22mTalk | Programming with Projective CliffordsTalk PLanQC File Attached | ||
16:45 22mTalk | 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 22mTalk | 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 | ||