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
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: Tulip
Venue
The Westin Josun Seoul
Room name
Tulip
Floor
0
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
BuildIt
Tutorials
at
Tulip
09:00
70m
Tutorial
Building DSLs made easy with the BuildIt Framework
Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
10:30 - 12:00
BuildIt
Tutorials
at
Tulip
10:30
90m
Tutorial
Building DSLs made easy with the BuildIt Framework
Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
14:00 - 15:20
BuildIt
Tutorials
at
Tulip
14:00
80m
Tutorial
Building DSLs made easy with the BuildIt Framework
Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
15:40 - 17:00
BuildIt
Tutorials
at
Tulip
15:40
80m
Tutorial
Building DSLs made easy with the BuildIt Framework
Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
19:00 - 21:00
SOAP Committee Dinner
SOAP
/
Catering
at
Tulip
19:00
2h
Dinner
Dinner
Catering
Tue 17 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
Applications 1
EGRAPHS
at
Tulip
09:00
20m
Talk
Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
EGRAPHS
Julien de Castelnau
EPFL
,
Mingfei Yu
EPFL
,
Giovanni De Micheli
EPFL
09:20
20m
Talk
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
EGRAPHS
Hiromi Ishii
Jij, Inc.
,
Taro Shimizu
Jij, Inc.
,
Toshiki Teramura
Jij, Inc.
Media Attached
09:40
20m
Talk
Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization
EGRAPHS
Oren Hecht
Technion
,
Yotam M. Y. Feldman
Tel Aviv University
,
Barak Hirshberg
Tel Aviv University
,
Hila Peleg
Technion
10:30 - 12:00
Applications 2
EGRAPHS
at
Tulip
10:30
20m
Talk
eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
EGRAPHS
Jules Merckx
Ghent University
,
Alexandre Lopoukhine
University of Cambridge
,
Samuel Coward
Imperial College London, UK / Intel Corporation
,
Jianyi Cheng
University of Edinburgh, UK
,
Bjorn De Sutter
Ghent University, Belgium
,
Tobias Grosser
University of Cambridge
Pre-print
10:50
20m
Talk
Hatching Theory Instantiations with Yardbird
EGRAPHS
Cole Vick
University of Texas at Austin
,
Samuel Thomas
The University of Texas at Austin, Texas, USA
11:10
20m
Talk
Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification
EGRAPHS
Andy Wanna
Georgia Institute of Technology
,
Cong "Callie" Hao
Georgia Institute of Technology
,
Theo Drane
AMD
14:00 - 15:20
Performance
EGRAPHS
at
Tulip
14:00
20m
Talk
Destructive E-Graph Rewrites
EGRAPHS
Paul Zhang
University of California, Los Angeles
,
Yisu Remy Wang
University of California, Los Angeles
14:20
20m
Talk
Incremental Equality Saturation
EGRAPHS
Rupanshu Soi
Stanford University
,
Benjamin Driscoll
Stanford University
,
Ke Wang
Visa Research
,
Alex Aiken
Stanford University
14:40
20m
Talk
Oatlog: A performant ahead-of-time compiled e-graph engine
Recorded
EGRAPHS
Loke Gustafsson
Chalmers University of Technology
,
Erik Magnusson
Chalmers University of Technology
,
Alejandro Luque Cerpa
Chalmers University of Technology
File Attached
15:40 - 17:00
Theories / Guidance
EGRAPHS
at
Tulip
15:40
20m
Talk
Equality Saturation Guided by Large Language Models
EGRAPHS
Wentao Peng
Peking University
,
Ruyi Ji
Peking University
,
Yingfei Xiong
Peking University
16:00
20m
Talk
Machine Learning Guided Equality Saturation
EGRAPHS
Nicole Heinimann
Technische Universität Berlin
,
Thomas Koehler
CNRS - ICube Lab
,
Michel Steuwer
Technische Universität Berlin
16:20
20m
Talk
Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching
EGRAPHS
Philip Zucker
Draper
Pre-print
Wed 18 Jun
Displayed time zone:
Seoul
change
19:30 - 21:30
PLDI EC Dinner
PLDI Events
/
Catering
at
Tulip
19:30
2h
Dinner
Dinner
Catering
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
Tulip
Tutorials
BuildIt
Tutorials
BuildIt
Tutorials
BuildIt
Tutorials
BuildIt
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
Tulip
EGRAPHS
Applications 1
EGRAPHS
Applications 2
EGRAPHS
Performance
EGRAPHS
Theories / Guidance
Wed 18 Jun
Displayed time zone:
Seoul
change
Room
19:00
30
20:00
30
21:00
30
Tulip
PLDI Events + Catering
PLDI EC Dinner
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
Tulip
PLDI Tutorials
Building DSLs made easy with the BuildIt Framework
09:00 - 10:10
PLDI Tutorials
Building DSLs made easy with the BuildIt Framework
10:30 - 12:00
PLDI Tutorials
Building DSLs made easy with the BuildIt Framework
14:00 - 15:20
PLDI Tutorials
Building DSLs made easy with the BuildIt Framework
15:40 - 17:00
PLDI Catering
Dinner
19:00 - 21:00
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
Tulip
EGRAPHS
Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
09:00 - 09:20
EGRAPHS
Optimizing Optimizations: Case Study on Detecting Specific Types of Mat ...
09:20 - 09:40
EGRAPHS
Using Equality Saturation and Stochastic Mutations for Molecular Dynami ...
09:40 - 10:00
EGRAPHS
eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
10:30 - 10:50
EGRAPHS
Hatching Theory Instantiations with Yardbird
10:50 - 11:10
EGRAPHS
Automated High-Level Synthesis Design Modularization via E-Graph Anti-U ...
11:10 - 11:30
EGRAPHS
Destructive E-Graph Rewrites
14:00 - 14:20
EGRAPHS
Incremental Equality Saturation
14:20 - 14:40
EGRAPHS
Recorded
Oatlog: A performant ahead-of-time compiled e-graph engine
14:40 - 15:00
EGRAPHS
Equality Saturation Guided by Large Language Models
15:40 - 16:00
EGRAPHS
Machine Learning Guided Equality Saturation
16:00 - 16:20
EGRAPHS
Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching
16:20 - 16:40
Wed 18 Jun
Displayed time zone:
Seoul
change
Room
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Tulip
PLDI Catering
Dinner
19:30 - 21:30
x
Wed 11 Jun 06:40