PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
VenueThe Westin Josun Seoul
Room nameLilac
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Mon 16 Jun

Displayed time zone: Seoul change

09:00 - 10:10
EGGLOGTutorials at Lilac
09:00
70m
Tutorial
Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
Tutorials
Haobin Ni University of Washington, Yihong Zhang University of Washington, Zachary Tatlock University of Washington, Oliver Flatt University of Washington
10:30 - 12:00
EGGLOGTutorials at Lilac
10:30
90m
Tutorial
Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
Tutorials
Haobin Ni University of Washington, Yihong Zhang University of Washington, Zachary Tatlock University of Washington, Oliver Flatt University of Washington
14:00 - 15:20
BINSECTutorials at Lilac
14:00
80m
Tutorial
BINSEC: Adapting Symbolic Execution for Binary-level Security
Tutorials
Frédéric Recoules CEA, List, Sébastien Bardin CEA LIST, University Paris-Saclay
15:40 - 17:00
BINSECTutorials at Lilac

Tue 17 Jun

Displayed time zone: Seoul change

09:00 - 10:10
Session 1WQS at Lilac
09:00
10m
Day opening
Day opening
WQS

09:10
50m
Keynote
The quantum monad: structuring quantum advantage
WQS
Samson Abramsky University College London
10:30 - 12:00
Session 2WQS at Lilac
10:30
50m
Keynote
TBA_3
WQS
Raphael Seidel Fraunhofer Institute for Open Communication Systems
11:20
20m
Talk
From Fermions to Qubits: A ZX-Calculus PerspectiveRemote
WQS
Haytham McDowall-Rose University of Oxford, Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford
11:40
20m
Talk
A Semantics for Quantum Loops
WQS
Nicola Assolini University of Verona, Alessandra Di Pierro University of Verona
14:00 - 15:20
Session 3WQS at Lilac
14:00
20m
Talk
Deriving a Kronecker-Free Functional Quantum Simulator
WQS
Martin Elsman University of Copenhagen
14:20
20m
Talk
Quantum Circuit Compilation with #SAT
WQS
Jingyi Mei Leiden University, Alfons Laarman Leiden University
14:40
20m
Talk
Optimization and Synthesis of Quantum Circuits with Global Gates
WQS
Alejandro Villoria Leiden University, Henning Basold Leiden University, Alfons Laarman Leiden University
15:00
20m
Talk
Quantum Multiplexer Simplification for State Preparation
WQS
José A. de Carvalho Universidade Federal de Pernambuco, Carlos A. Batista Federal University of Pernambuco, Tiago M.L. de Veras Universidade Federal de Pernambuco, Israel F. Araujo data cybernetics ssc GMbH, Adenilton J. da Silva Universidade Federal de Pernambuco
15:40 - 17:00
Session 4WQS at Lilac
15:40
50m
Keynote
TBA_2
WQS
Yunong Shi AWS Quantum Technologies
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
10m
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

Mon 16 Jun

Displayed time zone: Seoul change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Lilac

Tue 17 Jun

Displayed time zone: Seoul change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Lilac