PLDI 2025
Mon 16 - Fri 20 June 2025
Seoul, South Korea
Toggle navigation
Attending
Venue: The Westin Josun Seoul
Registration
Sponsorship
Diversity, Equity, and Inclusion
Information for Attendees
Information for Presenters
PLDI Live Streams
Program
PLDI Program
Your Program
Mon 16 Jun
Tue 17 Jun
Wed 18 Jun
Thu 19 Jun
Fri 20 Jun
Tracks
PLDI 2025
Diversity, Equity and Inclusion
PLDI Events
Research Artifacts
PLDI Research Papers
Workshops and Tutorials
Student Research Competition
Tutorials
- BINSEC: Adapting Symbolic Execution for Binary-level Security
- Building DSLs made easy with the BuildIt Framework
- Formal Analysis and Verification in Quantum Programming
- Perfect Decompilation of Python Bytecode with PyLingual
- Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
- Verifying Cyber-Physical Systems with IsaVODEs
Volunteering
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
EGRAPHS
PLMW @ PLDI
RPLS
: Real-World Programming Language Specification
SOAP
State Of the Art in Program Analysis
Sparse
WQS
Organization
PLDI 2025 Committees
AV Committee
Organizing Committee
Track Committees
Research Artifacts
PLDI Research Papers
Student Research Competition
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
EGRAPHS
Organizing Committee
Program Committee
PLMW @ PLDI
Organizing Committee
RPLS
Organizing Committee
Program Committee
SOAP
Organizing Committee
Keynote Speakers
Program Committee
Sparse
Organizing Committee
Program Committee
WQS
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2025
(
series
) /
The Westin Josun Seoul
/
Room information: Rose
Venue
The Westin Josun Seoul
Room name
Rose
Floor
2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
FAVQP
Tutorials
at
Rose
09:00
70m
Tutorial
Formal Analysis and Verification in Quantum Programming
Tutorials
Christopĥe Chareton
CEA, LIST, France
,
Sébastien Bardin
CEA LIST, University Paris-Saclay
Link to publication
10:30 - 12:00
FAVQP
Tutorials
at
Rose
10:30
90m
Tutorial
Formal Analysis and Verification in Quantum Programming
Tutorials
Christopĥe Chareton
CEA, LIST, France
,
Sébastien Bardin
CEA LIST, University Paris-Saclay
Link to publication
14:00 - 15:20
PyLingual
Tutorials
at
Rose
14:00
80m
Tutorial
Perfect Decompilation of Python Bytecode with PyLingual
Tutorials
Kangkook Jee
The University of Texas - Dallas
,
Josh Wiedemeier
The University of Texas at Dallas
,
Sang Kil Cha
KAIST
,
Jungwoo Lee
KAIST
,
Joel Flores
University of Texas at Dallas
Link to publication
DOI
Authorizer link
15:40 - 17:00
PyLingual
Tutorials
at
Rose
15:40
80m
Tutorial
Perfect Decompilation of Python Bytecode with PyLingual
Tutorials
Kangkook Jee
The University of Texas - Dallas
,
Josh Wiedemeier
The University of Texas at Dallas
,
Sang Kil Cha
KAIST
,
Jungwoo Lee
KAIST
,
Joel Flores
University of Texas at Dallas
Link to publication
DOI
Authorizer link
19:30 - 21:30
SOAP Committee Dinner
SOAP
/
Catering
at
Rose
19:30
2h
Dinner
Dinner
Catering
Tue 17 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
Session 1
WQS
at
Rose
09:00
5m
Day opening
Day opening
WQS
09:05
50m
Keynote
The quantum monad: structuring quantum advantage
WQS
Samson Abramsky
University College London
09:55
15m
Talk
Tucker iterative quantum state preparation and Q-Alchemy SaaS
WQS
Carsten Blank
data cybernetics ssc GMbH
10:30 - 12:00
Session 2
WQS
at
Rose
10:30
50m
Keynote
Breaking Good: Quantum Abstractions in the Wild - From High-Level Applications to Hardware-Adaptive Compilation
Remote
WQS
Yunong Shi
AWS Quantum Technologies
11:20
20m
Talk
From Fermions to Qubits: A ZX-Calculus Perspective
Remote
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 3
WQS
at
Rose
14:00
20m
Talk
Deriving a Kronecker-Free Functional Quantum Simulator
WQS
Martin Elsman
University of Copenhagen
Pre-print
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:15
Session 4
WQS
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
19:30 - 21:30
SIGPLAN Executive Committee Dinner
Catering
at
Rose
19:30
2h
Dinner
Dinner
Catering
Wed 18 Jun
Displayed time zone:
Seoul
change
19:30 - 21:30
PLDI Steering Committee Dinner
PLDI Events
/
Catering
at
Rose
19:30
2h
Dinner
Dinner
Catering
Hide past events
Mon 16 Jun
Displayed time zone:
Seoul
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
Rose
Tutorials
FAVQP
Tutorials
FAVQP
Tutorials
PyLingual
Tutorials
PyLingual
SOAP + Catering
SOAP Committee Dinner
Tue 17 Jun
Displayed time zone:
Seoul
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
Rose
WQS
Session 1
WQS
Session 2
WQS
Session 3
WQS
Session 4
Catering
SIGPLAN Executive Committee Dinner
Wed 18 Jun
Displayed time zone:
Seoul
change
Room
19:00
30
20:00
30
21:00
30
Rose
PLDI Events + Catering
PLDI Steering Committee Dinner
Hide past events
Mon 16 Jun
Displayed time zone:
Seoul
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Rose
PLDI Tutorials
Formal Analysis and Verification in Quantum Programming
09:00 - 10:10
PLDI Tutorials
Formal Analysis and Verification in Quantum Programming
10:30 - 12:00
PLDI Tutorials
Perfect Decompilation of Python Bytecode with PyLingual
14:00 - 15:20
PLDI Tutorials
Perfect Decompilation of Python Bytecode with PyLingual
15:40 - 17:00
PLDI Catering
Dinner
19:30 - 21:30
Tue 17 Jun
Displayed time zone:
Seoul
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Rose
WQS
Day opening
09:00 - 09:05
WQS
The quantum monad: structuring quantum advantage
09:05 - 09:55
WQS
Tucker iterative quantum state preparation and Q-Alchemy SaaS
09:55 - 10:10
WQS
Remote
Breaking Good: Quantum Abstractions in the Wild - From High-Level App ...
10:30 - 11:20
WQS
Remote
From Fermions to Qubits: A ZX-Calculus Perspective
11:20 - 11:40
WQS
A Semantics for Quantum Loops
11:40 - 12:00
WQS
Deriving a Kronecker-Free Functional Quantum Simulator
14:00 - 14:20
WQS
Quantum Circuit Compilation with #SAT
14:20 - 14:40
WQS
Optimization and Synthesis of Quantum Circuits with Global Gates
14:40 - 15:00
WQS
Quantum Multiplexer Simplification for State Preparation
15:00 - 15:20
WQS
Scalable Quantum Compilation With Jasp
15:40 - 16:30
WQS
Automating Quantum Hoare Logic with Automata (Work-In-Progress)
16:30 - 16:50
WQS
Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noi ...
16:50 - 17:10
WQS
Closing remarks
17:10 - 17:15
PLDI Catering
Dinner
19:30 - 21:30
Wed 18 Jun
Displayed time zone:
Seoul
change
Room
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Rose
PLDI Catering
Dinner
19:30 - 21:30
Hide past events
x
Wed 18 Jun 17:12