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

This program is tentative and subject to change.

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

Quantum computers are promising for solving classically intractable problems, but their practical utility hinges on precise, flexible, and accessible programming of quantum control systems. Despite several pulse-level languages for industrial devices, a systematic and end-to-end programming toolchain for real-time quantum control remains lacking. We introduce a domain-specific language (DSL) for pulse scheduling with native real-time control constructs (e.g., feedback, branching, and pulse updates). The DSL compiles to and executes on radio-frequency system-on-chips, enabling deterministic timing and hardware portability. To validate behaviors across the stack, we provide an emulator that co-simulates control hardware and quantum device responses. Together, the DSL, compiler, and emulator form a cohesive framework that lowers the barrier to implementing robust control, accelerates architectural design, and supports the development and testing of applications like quantum error correcting codes.

Extended Abstract (planqc-pulse-dsl.pdf)546KiB

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