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
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: Cosmos
Venue
The Westin Josun Seoul
Room name
Cosmos
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
Session 1
Sparse
at
Cosmos
09:00
20m
Talk
Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
Sparse
Saman Amarasinghe
Massachusetts Institute of Technology
09:20
20m
Talk
Intelligent Auto-Tuning for High-Performance Sparse Tensor Algebra
Sparse
Jiajia Li
North Carolina State University
09:40
20m
Talk
Loop Fusion in Matrix Multiplications with Sparse Dependence
Sparse
Kazem Cheshmi
McMaster University
10:00
10m
Talk
Panel 1
Sparse
Saman Amarasinghe
Massachusetts Institute of Technology
,
Kazem Cheshmi
McMaster University
,
Jiajia Li
North Carolina State University
10:30 - 12:00
Session 2
Sparse
at
Cosmos
10:30
20m
Talk
Optimizations and abstractions for sparse machine learning
Sparse
Charith Mendis
University of Illinois at Urbana-Champaign
10:50
20m
Talk
Distributed Sparse Computing with Legate Sparse
Sparse
Rohan Yadav
Stanford University
11:10
20m
Talk
Optimizing Recursive Sparse Computations
Sparse
Amir Shaikhha
University of Edinburgh
11:30
20m
Talk
Panel 2
Sparse
Charith Mendis
University of Illinois at Urbana-Champaign
,
Rohan Yadav
Stanford University
,
Amir Shaikhha
University of Edinburgh
14:00 - 15:20
Session 3
Sparse
at
Cosmos
14:00
20m
Talk
PyData/Sparse & Finch: extending sparse computing in the Python ecosystem
Sparse
Hameer Abbasi
Quansight
,
Mateusz Sokol
Quansight Labs
14:20
20m
Talk
Compiling and Compressing Structured Tensors
Sparse
Emilien Bauer
14:40
20m
Talk
Sparsity-Aware Autoscheduling for Numpy with Finch and Galley
Sparse
Willow Ahrens
Massachusetts Institute of Technology
15:00
20m
Talk
Panel 3
Sparse
Hameer Abbasi
Quansight
,
Emilien Bauer
,
Willow Ahrens
Massachusetts Institute of Technology
,
Mateusz Sokol
Quansight Labs
15:40 - 17:00
Session 4
Sparse
at
Cosmos
15:40
20m
Talk
Hyperreal Specifications for Continuous Sparse Data Computations
Sparse
Vladimir Gladshtein
16:00
20m
Talk
Quantum Simulation with Sparse Tensors
Sparse
Meisam Tarabkhah
University of Edinburgh
16:20
20m
Talk
Sparse Computing Drives Energy-Efficient Computation for Artificial Intelligence
Sparse
Guohao Dai
16:40
20m
Talk
Panel 4
Sparse
Meisam Tarabkhah
University of Edinburgh
,
Vladimir Gladshtein
,
Guohao Dai
Tue 17 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
Session 1
RPLS
at
Cosmos
K and Redex
09:15
25m
Talk
Programming Languages Must Have Formal Semantics. Period.
RPLS
Xiaohong Chen
University of Illinois at Urbana-Champaign
09:40
25m
Talk
Lightweight Semantics Engineering with Redex
RPLS
Matthew Flatt
University of Utah
10:30 - 12:00
Session 2
RPLS
at
Cosmos
Mechanized Specifications for WebAssembly and JavaScript
10:30
25m
Talk
SpecTec, a Single Source of Truth
RPLS
Sukyoung Ryu
KAIST
10:55
25m
Talk
Trusted JavaScript Language Environments with ESMeta
RPLS
Jihyeok Park
Korea University
11:20
25m
Talk
The Software Supporting the JavaScript Language Specification
RPLS
Michael Ficarra
F5
14:00 - 15:20
Session 3
RPLS
at
Cosmos
14:05
25m
Talk
Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet
RPLS
Nate Foster
Cornell University; Jane Street
14:30
25m
Talk
P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google
RPLS
Jonathan DiLorenzo
Google
14:55
25m
Talk
Verification of WebAssembly Features
RPLS
Philippa Gardner
Imperial College London
,
Conrad Watt
Nanyang Technological University
15:40 - 17:30
Session 4
RPLS
at
Cosmos
15:40
25m
Talk
MiniRust: A Core Language for Specifying Rust
RPLS
Ralf Jung
ETH Zurich
16:05
25m
Talk
Production Language Specification - Requirements for Multiple Usages
Remote
RPLS
Peter Sewell
University of Cambridge
16:30
60m
Panel
Panel: Mechanized Specifications for Real-World Programming Languages
RPLS
M:
Sukyoung Ryu
KAIST
,
P:
Xiaohong Chen
University of Illinois at Urbana-Champaign
,
P:
Jonathan DiLorenzo
Google
,
P:
Michael Ficarra
F5
,
P:
Ralf Jung
ETH Zurich
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
Cosmos
Sparse
Session 1
Sparse
Session 2
Sparse
Session 3
Sparse
Session 4
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
Cosmos
RPLS
Session 1
RPLS
Session 2
RPLS
Session 3
RPLS
Session 4
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
Cosmos
Sparse
Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
09:00 - 09:20
Sparse
Intelligent Auto-Tuning for High-Performance Sparse Tensor Algebra
09:20 - 09:40
Sparse
Loop Fusion in Matrix Multiplications with Sparse Dependence
09:40 - 10:00
Sparse
Panel 1
10:00 - 10:10
Sparse
Optimizations and abstractions for sparse machine learning
10:30 - 10:50
Sparse
Distributed Sparse Computing with Legate Sparse
10:50 - 11:10
Sparse
Optimizing Recursive Sparse Computations
11:10 - 11:30
Sparse
Panel 2
11:30 - 11:50
Sparse
PyData/Sparse & Finch: extending sparse computing in the Python ecosystem
14:00 - 14:20
Sparse
Compiling and Compressing Structured Tensors
14:20 - 14:40
Sparse
Sparsity-Aware Autoscheduling for Numpy with Finch and Galley
14:40 - 15:00
Sparse
Panel 3
15:00 - 15:20
Sparse
Hyperreal Specifications for Continuous Sparse Data Computations
15:40 - 16:00
Sparse
Quantum Simulation with Sparse Tensors
16:00 - 16:20
Sparse
Sparse Computing Drives Energy-Efficient Computation for Artificial Int ...
16:20 - 16:40
Sparse
Panel 4
16:40 - 17: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
17:00
15
30
45
Cosmos
RPLS
Programming Languages Must Have Formal Semantics. Period.
09:15 - 09:40
RPLS
Lightweight Semantics Engineering with Redex
09:40 - 10:05
RPLS
SpecTec, a Single Source of Truth
10:30 - 10:55
RPLS
Trusted JavaScript Language Environments with ESMeta
10:55 - 11:20
RPLS
The Software Supporting the JavaScript Language Specification
11:20 - 11:45
RPLS
Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet
14:05 - 14:30
RPLS
P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google
14:30 - 14:55
RPLS
Verification of WebAssembly Features
14:55 - 15:20
RPLS
MiniRust: A Core Language for Specifying Rust
15:40 - 16:05
RPLS
Remote
Production Language Specification - Requirements for Multiple Usages
16:05 - 16:30
RPLS
Panel: Mechanized Specifications for Real-World Programming Languages
16:30 - 17:30
x
Tue 10 Jun 11:11