POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France

This program is tentative and subject to change.

Mon 12 Jan 2026 14:10 - 14:30 at Salle 14 - Session 3

As the scale of quantum circuits grow, so too does the bottleneck of circuit compilation. In light of the anticipated scale of quantum circuits for useful operation, methods of reducing compilation time are needed. However, not only are few such methods available, our ability to even test them is highly constrained by the availability of very few large-scale circuits in benchmarking suites, a situation exacerbated by the inability of random circuit generators to produce results whose properties match those of the same suites. This work describes a random circuit generator which enable control of circuit depth, width and density. This is used to enable 8,000 test cases to evaluate a novel compiler parallelisation approach that divides the circuit into sub-circuits which are compiled in parallel. With Qiskit, this approach achieves a peak speedup of 15.56 with overheads below 1%.

Extended Abstract (planqc26-paper24.pdf)657KiB

This program is tentative and subject to change.

Mon 12 Jan

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

13:50 - 15:30
Session 3PLanQC at Salle 14
13:50
20m
Talk
A Graded Modal Type Theory for Pulse SchedulesTalk
PLanQC
Robin Adams Chalmers University of Technology, Gothenburg University, Sweden, Jean-Philippe Bernardy Chalmers University of Technology, Gothenburg University, Sweden, Lorenzo Perticone Chalmers University of Technology, Gothenburg University, Sweden, Jeremy Pope Chalmers University of Technology, Gothenburg University, Sweden
File Attached
14:10
20m
Talk
Efficient Parallel Compilation and Profiling of Quantum Circuits at Large ScalesTalk
PLanQC
Jane Moore Queen's University Belfast, Michael Hart Queen's University Belfast, John McAllister Queen's University Belfast
File Attached
14:30
20m
Talk
A Unified Assertion-Based Framework for Classical-Quantum Program VerificationTalk
PLanQC
File Attached
14:50
20m
Talk
A Pulse-Level DSL for Real-Time Quantum Control with Hardware Compilation and EmulationRemote
PLanQC
Yu-Hsuan Wu Academia Sinica, Yue Shi Princeton University, Junyi Liu University of Maryland, Yuxiang Peng Purdue University
File Attached
15:10
20m
Talk
Quantum Assertion Testing Without Mid-Circuit Measurement: Strategies and Lower BoundsRemote
PLanQC
Shengyuan Yang University of Wisconsin-Madison, Charles Yuan University of Wisconsin–Madison
File Attached
Hide past events