PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
VenueThe Westin Josun Seoul
Room nameRose
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
FAVQPTutorials 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
FAVQPTutorials 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
PyLingualTutorials 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
PyLingualTutorials 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

Tue 17 Jun

Displayed time zone: Seoul change

09:00 - 10:10
IsaVODEsTutorials at Rose
09:00
70m
Tutorial
Verifying Cyber-Physical Systems with IsaVODEs
Tutorials
Jonathan Julian Huerta y Munive Czech Technical University, Simon Foster University of York, Mario Gleirscher University of Bremen
DOI
10:30 - 12:00
IsaVODEsTutorials at Rose
10:30
90m
Tutorial
Verifying Cyber-Physical Systems with IsaVODEs
Tutorials
Jonathan Julian Huerta y Munive Czech Technical University, Simon Foster University of York, Mario Gleirscher University of Bremen
DOI
14:00 - 15:20
IsaVODEsTutorials at Rose
14:00
80m
Tutorial
Verifying Cyber-Physical Systems with IsaVODEs
Tutorials
Jonathan Julian Huerta y Munive Czech Technical University, Simon Foster University of York, Mario Gleirscher University of Bremen
DOI
15:40 - 17:00
IsaVODEsTutorials at Rose

Wed 18 Jun

Displayed time zone: Seoul change

19:30 - 21:30
PLDI SC DinnerPLDI Events / Catering at Rose
19:30
2h
Dinner
Dinner
Catering

Mon 16 Jun

Displayed time zone: Seoul change

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

Tue 17 Jun

Displayed time zone: Seoul change

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

Wed 18 Jun

Displayed time zone: Seoul change

Tue 17 Jun

Displayed time zone: Seoul change

Wed 18 Jun

Displayed time zone: Seoul change

Room19:0015304520:0015304521:00153045
Rose
PLDI Catering
Dinner
19:30 - 21:30