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 2026
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
) /
PLDI Events
About
Program
No information available yet.
Dates
Plenary
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
Tue 17 Jun
Displayed time zone:
Seoul
change
18:00 - 19:30
Reception for everyone - food & beverages
Catering
at
Grand Ball Room
18:00
90m
Dinner
Dinner
Catering
19:30 - 21:30
PLDI Committee Dinner
Catering
at
Lilac
19:30
2h
Dinner
Dinner
Catering
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
12:00 - 14:00
LGBTQ+ Lunch
Diversity, Equity and Inclusion
/
Catering
at
Lilac
12:00
2h
Lunch
Lunch
Catering
15:40 - 16:00
Social Events for Students
Catering
at
Grand Ball Room 1
15:40
20m
Coffee break
Break
Catering
19:30 - 21:30
PLDI Steering Committee Dinner
PLDI Events
/
Catering
at
Rose
19:30
2h
Dinner
Dinner
Catering
19:30 - 21:30
Women's Dinner
Diversity, Equity and Inclusion
/
Catering
at
Tulip
19:30
2h
Dinner
Dinner
Catering
Thu 19 Jun
Displayed time zone:
Seoul
change
15:00 - 15:20
Social Events for Students
Catering
at
Grand Ball Room 1
15:00
20m
Coffee break
Break
Catering
15:20 - 16:35
Industry Session
PLDI Events
at
Grand Ball Room
15:20
25m
Talk
Memory-safe interoperation between safe and unsafe languages
PLDI Events
Yeoul Na
Apple
15:45
25m
Talk
An Overview of the Cangjie Language
PLDI Events
Xinyu Feng
Nanjing University & Huawei
16:10
25m
Talk
AI + Lean: NeuroSymbolic AI
PLDI Events
Soonho Kong
Amazon Web Services
17:00 - 18:00
Business Meeting
PLDI Events
at
Orchid
19:00 - 21:00
Banquet and Awards Dinner for everyone
PLDI Events
/
Catering
at
Grand Ball Room
19:00
2h
Dinner
Dinner
Catering
x
Thu 3 Jul 12:09