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: Lilac
Venue
The Westin Josun Seoul
Room name
Lilac
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
EGGLOG
Tutorials
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
EGGLOG
Tutorials
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
BINSEC
Tutorials
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
Pre-print
15:40 - 17:20
BINSEC
Tutorials
at
Lilac
15:40
1h40m
Tutorial
BINSEC: Adapting Symbolic Execution for Binary-level Security
Tutorials
Frédéric Recoules
CEA, List
,
Sébastien Bardin
CEA LIST, University Paris-Saclay
Pre-print
17:40 - 18:30
BINSEC
Tutorials
at
Lilac
17:40
50m
Tutorial
BINSEC: Adapting Symbolic Execution for Binary-level Security
Tutorials
Frédéric Recoules
CEA, List
,
Sébastien Bardin
CEA LIST, University Paris-Saclay
Pre-print
19:30 - 21:30
Volunteer & Junior Dinner
Catering
at
Lilac
19:30
2h
Dinner
Dinner
Catering
Tue 17 Jun
Displayed time zone:
Seoul
change
09:00 - 10:25
Session 1: 0900-1025
ISMM
at
Lilac
Chair(s):
Onur Mutlu
ETH Zurich
09:00
5m
Day opening
Welcome from the chairs
ISMM
Martin Maas
Google
,
Tim Harris
OpenAI
,
Onur Mutlu
ETH Zurich
09:05
60m
Keynote
Keynote: Domain-Specific Memory Management?
ISMM
John Kim
KAIST
10:05
20m
Talk
Gray-in-Young: A Generational Garbage Collection for Processing-in-Memory
ISMM
Ryu Morimoto
University of Tokyo
,
Kazuki Ichinose
University of Tokyo
,
Tomoharu Ugawa
University of Tokyo
DOI
10:40 - 12:00
Session 2: 1040-1200 [Workloads]
ISMM
at
Lilac
Chair(s):
Erez Petrank
Technion
10:40
20m
Talk
Reconsidering Garbage Collection in Julia: A Practitioner Report
ISMM
Luis Eduardo de Souza Amorim
Australian National University
,
Yi Lin
Australian National University
,
Stephen M. Blackburn
Google; Australian National University
,
Diogo Netto
RelationalAI
,
Gabriel Baraldi
JuliaHub
,
Nathan Daly
RelationalAI
,
Tony Hosking
Australian National University
,
Kiran Pamnany
RelationalAI
,
Oscar Smith
JuliaHub
DOI
11:00
20m
Talk
Reworking Memory Management in CRuby: A Practitioner Report
ISMM
Kunshan Wang
Australian National University
,
Stephen M. Blackburn
Google; Australian National University
,
Peter Zhu
Shopify
,
Matthew Valentine-House
Shopify
DOI
11:20
20m
Talk
Lifetime Dispersion and Generational GC: An Intellectual Abstract
Remote
ISMM
Stephen Dolan
Jane Street
DOI
11:40
20m
Talk
SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair
ISMM
Huanting Wang
University of Leeds
,
Dejice Jacob
University of Glasgow
,
David Kelly
University of Glasgow
,
Yehia Elkhatib
University of Glasgow
,
Jeremy Singer
University of Glasgow
,
Zheng Wang
University of Leeds
DOI
Pre-print
14:00 - 15:20
Session 3: 1400-1520
ISMM
at
Lilac
Chair(s):
Tim Harris
OpenAI
14:00
60m
Keynote
Keynote: Industry GC Insights from OpenJDK
ISMM
Erik Österlund
Oracle
15:00
20m
Talk
Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection
ISMM
Frédéric Lahaie-Bertrand
Université de Montréal
,
Léonard Oest O'Leary
Université de Montréal
,
Olivier Melançon
Université de Montréal
,
Marc Feeley
Université de Montréal
,
Stefan Monnier
Université de Montréal
DOI
15:40 - 17:05
Session 4: 1540-1705 [Systems and Architecture]
ISMM
at
Lilac
Chair(s):
Steve Blackburn
Google and Australian National University
15:40
20m
Talk
Fully Randomized Pointers
ISMM
Sai Dhawal Phaye
National University of Singapore
,
Gregory J. Duck
National University of Singapore
,
Roland H. C. Yap
National University of Singapore
,
Trevor E. Carlson
National University of Singapore
DOI
16:00
20m
Talk
TierTrain: Proactive Memory Tiering for CPU-Based DNN Training
ISMM
Sathvik Swaminathan
Intel Labs
,
Sandeep Kumar
Intel Labs
,
Aravinda Prasad
Intel Labs
,
Sreenivas Subramoney
Intel Labs
DOI
16:20
20m
Talk
EMD: Fair and Efficient Dynamic Memory De-bloating of Transparent Huge Pages
Recorded
ISMM
Parth Gangar
Fujitsu Research of India
,
Ashish Panwar
Microsoft Research India
,
K. Gopinath
Rishihood University
DOI
16:40
20m
Talk
Compiler-Assisted Crash Consistency for PMEM
Recorded
ISMM
Yun Joon Soh
University of California San Diego
,
Sihang Liu
University of Waterloo
,
Steven Swanson
University of California San Diego
,
Jishen Zhao
University of California San Diego
DOI
17:00
5m
Day closing
Closing remarks
ISMM
Martin Maas
Google
,
Tim Harris
OpenAI
,
Onur Mutlu
ETH Zurich
19:30 - 21:30
PLDI Committee Dinner
Catering
at
Lilac
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
Thu 19 Jun
Displayed time zone:
Seoul
change
15:20 - 17:00
SRC Finals
Student Research Competition
at
Lilac
Fri 20 Jun
Displayed time zone:
Seoul
change
12:00 - 14:00
URM Lunch
Diversity, Equity and Inclusion
/
Catering
at
Lilac
12:00
2h
Lunch
Lunch
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
Lilac
Tutorials
EGGLOG
Tutorials
EGGLOG
Tutorials
BINSEC
Tutorials
BINSEC
Tutorials
BINSEC
Catering
Volunteer & Junior 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
Lilac
ISMM
Session 1: 0900-1025
ISMM
Session 2: 1040-1200 [Workloads]
ISMM
Session 3: 1400-1520
ISMM
Session 4: 1540-1705 [Systems and Architecture]
Catering
PLDI Committee Dinner
Wed 18 Jun
Displayed time zone:
Seoul
change
Room
12:00
30
13:00
30
Lilac
Diversity, Equity and Inclusion + Catering
LGBTQ+ Lunch
Thu 19 Jun
Displayed time zone:
Seoul
change
Room
15:00
30
16:00
30
Lilac
Student Research Competition
SRC Finals
Fri 20 Jun
Displayed time zone:
Seoul
change
Room
12:00
30
13:00
30
Lilac
Diversity, Equity and Inclusion + Catering
URM Lunch
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
Lilac
PLDI Tutorials
Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
09:00 - 10:10
PLDI Tutorials
Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
10:30 - 12:00
PLDI Tutorials
BINSEC: Adapting Symbolic Execution for Binary-level Security
14:00 - 15:20
PLDI Tutorials
BINSEC: Adapting Symbolic Execution for Binary-level Security
15:40 - 17:20
PLDI Tutorials
BINSEC: Adapting Symbolic Execution for Binary-level Security
17:40 - 18:30
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
Lilac
ISMM
Welcome from the chairs
09:00 - 09:05
ISMM
Keynote: Domain-Specific Memory Management?
09:05 - 10:05
ISMM
Gray-in-Young: A Generational Garbage Collection for Processing-in-Memory
10:05 - 10:25
ISMM
Reconsidering Garbage Collection in Julia: A Practitioner Report
10:40 - 11:00
ISMM
Reworking Memory Management in CRuby: A Practitioner Report
11:00 - 11:20
ISMM
Remote
Lifetime Dispersion and Generational GC: An Intellectual Abstract
11:20 - 11:40
ISMM
SecureMind: A Framework for Benchmarking Large Language Models in Memor ...
11:40 - 12:00
ISMM
Keynote: Industry GC Insights from OpenJDK
14:00 - 15:00
ISMM
Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate C ...
15:00 - 15:20
ISMM
Fully Randomized Pointers
15:40 - 16:00
ISMM
TierTrain: Proactive Memory Tiering for CPU-Based DNN Training
16:00 - 16:20
ISMM
Recorded
EMD: Fair and Efficient Dynamic Memory De-bloating of Transparent Huge ...
16:20 - 16:40
ISMM
Recorded
Compiler-Assisted Crash Consistency for PMEM
16:40 - 17:00
ISMM
Closing remarks
17:00 - 17:05
PLDI Catering
Dinner
19:30 - 21:30
Wed 18 Jun
Displayed time zone:
Seoul
change
Room
12:00
15
30
45
13:00
15
30
45
Lilac
PLDI Catering
Lunch
12:00 - 14:00
Fri 20 Jun
Displayed time zone:
Seoul
change
Room
12:00
15
30
45
13:00
15
30
45
Lilac
PLDI Catering
Lunch
12:00 - 14:00
Hide past events
x
Thu 19 Jun 03:03