PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

This program is tentative and subject to change.

Tue 17 Jun 2025 15:40 - 16:30 at Rose - Session 4

After a short introduction to Qrisp, a high-level quantum programming language, the talk will elaborate the latest update, “Jasp”, which brought a significant restructuring of the Qrisp compiler architecture. Jasp allows users to capture and investigate quantum algorithms with scale-invariance, which solves the problem that many quantum algorithm implementations were limited to toy-problem scale not only because of backend restrictions but also compiler speed. Next to the scalability aspects, Jasp also enables the expression of real-time computations, i.e. classical steps that give feedback still within the coherence time of the quantum device. Jasp code can be compiled to QIR via the Catalyst package and is therefore compatible with all physical backends supporting this standard. Apart from the QIR compilation features, several other execution modes and insights into the programming model will be given.

This program is tentative and subject to change.

Tue 17 Jun

Displayed time zone: Seoul change

15:40 - 17:15
Session 4WQS at Rose
15:40
50m
Keynote
Scalable Quantum Compilation With Jasp
WQS
Raphael Seidel Fraunhofer Institute for Open Communication Systems
16:30
20m
Talk
Automating Quantum Hoare Logic with Automata (Work-In-Progress)
WQS
Fang-Yi Lo Academia Sinica, Yo-Ga Chen Academia Sinica, Yu-Fang Chen Academia Sinica
16:50
20m
Talk
Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noise Extrapolation
WQS
Leanghok Hour Pukyong National University, Myeongseong Go Pukyong National University, Youngsun Han Pukyong National University
17:10
5m
Day closing
Closing remarks
WQS

Hide past events