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: Violet
Venue
The Westin Josun Seoul
Room name
Violet
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
SOAP 1
SOAP
at
Violet
Chair(s):
Luca Negrini
Ca’ Foscari University of Venice
09:00
10m
Day opening
Opening
SOAP
Kihong Heo
KAIST
,
Luca Negrini
Ca’ Foscari University of Venice
09:10
60m
Keynote
The MemCAD static analyser: shape, value and collection abstraction and application to OS verification
SOAP
Xavier Rival
Inria; ENS; CNRS; PSL University
10:30 - 12:00
SOAP 2
SOAP
at
Violet
Chair(s):
Michael Schwarz
TU Munich
10:30
20m
Talk
Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies
SOAP
David Baker Effendi
Stellenbosch University
,
Xavier Pinho
StackGen
,
Andrei Michael Dreyer
Whirly Labs
,
Fabian Yamaguchi
Whirly Labs
10:50
20m
Talk
Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
SOAP
Kadiray Karakaya
Heinz Nixdorf Institut, Paderborn University
,
Palaniappan Muthuraman
Heinz Nixdorf Institute, Paderborn University
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
11:10
20m
Talk
Universal High-Performance CFL-Reachability via Matrix Multiplication
SOAP
Ilia Muravev
Explyt
,
Semyon Grigorev
Saint Petersburg State University, Russia
11:30
20m
Talk
Beyond Affine Loops: A Geometric Approach to Program Synthesis
Recorded
SOAP
Erdenebayar Bayarmagnai
KU Leuven
,
Fatemeh Mohammadi
KU Leuven
,
Rémi Prébet
Inria, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP, UMR 5668, 69342, Lyon cedex 07, France
14:00 - 15:20
SOAP 3
SOAP
at
Violet
Chair(s):
Mukund Raghothaman
University of Southern California
14:00
60m
Keynote
Static Analysis from Code Graphs to Neural Networks
SOAP
Yulei Sui
University of New South Wales
15:00
20m
Talk
Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
SOAP
Ákos Hajdu
Meta
,
Roman Lee
Meta
,
Gavin Weng
Meta
,
Nilesh Agrawal
Meta
,
Jeremy Dubreil
Lacework
15:40 - 17:30
SOAP 4
SOAP
at
Violet
Chair(s):
Kihong Heo
KAIST
15:40
60m
Keynote
TBD
SOAP
Charles Zhang
Hong Kong University of Science and Technology
16:40
20m
Talk
Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
SOAP
Dorra Ben Khalifa
University of Toulouse - ENAC
,
Matthieu Martel
Université de Perpignan Via Domitia
17:00
20m
Talk
Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph Approach
Recorded
SOAP
Qingxiao Xu
,
Jeff Huang
Texas A&M University
17:20
10m
Day closing
Closing and Best Presentation Award
SOAP
Kihong Heo
KAIST
,
Luca Negrini
Ca’ Foscari University of Venice
Tue 17 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
Opening and Keynote
ARRAY
at
Violet
09:00
10m
Day opening
Welcome
ARRAY
Artjoms Šinkarovs
University of Southampton
,
Sven-Bodo Scholz
Radboud University
09:10
60m
Keynote
Efficient array (and data) processing by leveraging structure
ARRAY
Amir Shaikhha
University of Edinburgh
10:30 - 12:00
Performance Challenges and Opportunities
ARRAY
at
Violet
10:30
30m
Talk
Gate Fusion is Map Fusion
ARRAY
Martin Elsman
University of Copenhagen
,
Troels Henriksen
University of Copenhagen
11:00
30m
Talk
Array Programming on GPUs: Challenges and Opportunities
ARRAY
Xinyi Li
University of Utah
,
Mark Baranowski
University of Utah
,
Harvey Dam
University of Utah
,
Ganesh Gopalakrishnan
University of Utah
11:30
30m
Talk
Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values
ARRAY
Guillaume Berthelot
French Navy, Armed Forces Ministry
,
Arnault Ioualalen
Numalis
,
Matthieu Martel
Université de Perpignan Via Domitia
14:00 - 15:20
Multi-Dimensional Homormorphisms
ARRAY
at
Violet
14:00
30m
Talk
(De/Re)-Composition of Array Computations via Multi-Dimensional Homomorphisms
ARRAY
Ari Rasch
University of Muenster
,
Richard Schulze
University of Muenster
Link to publication
Media Attached
14:30
30m
Talk
An MDH-Based DSL for Array Computations
ARRAY
Richard Schulze
University of Muenster
,
Ari Rasch
University of Muenster
Link to publication
Media Attached
15:40 - 17:00
Language Design & Type Safety
ARRAY
at
Violet
15:40
30m
Talk
Kuiper: verified and efficient GPU programming
ARRAY
Guido Martínez
Microsoft Research
,
Jonas Fiala
ETH Zürich
,
Abhinav Jangda
Microsoft Research
,
Angelica Moreira
Microsoft Research
,
Nikhil Swamy
Microsoft Research
,
Tyler Sorensen
Microsoft Research
16:10
30m
Talk
Structuring Arrays with Algebraic Shapes
ARRAY
Jakub Bachurski
University of Cambridge
,
Alan Mycroft
University of Cambridge, UK
,
Dominic Orchard
University of Kent; University of Cambridge
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
Violet
SOAP
SOAP 1
SOAP
SOAP 2
SOAP
SOAP 3
SOAP
SOAP 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
Violet
ARRAY
Opening and Keynote
ARRAY
Performance Challenges and Opportunities
ARRAY
Multi-Dimensional Homormorphisms
ARRAY
Language Design & Type Safety
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
Violet
SOAP
Opening
09:00 - 09:10
SOAP
The MemCAD static analyser: shape, value and collection abstraction and ...
09:10 - 10:10
SOAP
Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies
10:30 - 10:50
SOAP
Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
10:50 - 11:10
SOAP
Universal High-Performance CFL-Reachability via Matrix Multiplication
11:10 - 11:30
SOAP
Recorded
Beyond Affine Loops: A Geometric Approach to Program Synthesis
11:30 - 11:50
SOAP
Static Analysis from Code Graphs to Neural Networks
14:00 - 15:00
SOAP
Compositional Static Callgraph Reachability Analysis for WhatsApp Andro ...
15:00 - 15:20
SOAP
TBD
15:40 - 16:40
SOAP
Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
16:40 - 17:00
SOAP
Recorded
Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph ...
17:00 - 17:20
SOAP
Closing and Best Presentation Award
17:20 - 17: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
Violet
ARRAY
Welcome
09:00 - 09:10
ARRAY
Efficient array (and data) processing by leveraging structure
09:10 - 10:10
ARRAY
Gate Fusion is Map Fusion
10:30 - 11:00
ARRAY
Array Programming on GPUs: Challenges and Opportunities
11:00 - 11:30
ARRAY
Accelerating the Static Analysis of Neural Networks by Batch Representa ...
11:30 - 12:00
ARRAY
(De/Re)-Composition of Array Computations via Multi-Dimensional Homomor ...
14:00 - 14:30
ARRAY
An MDH-Based DSL for Array Computations
14:30 - 15:00
ARRAY
Kuiper: verified and efficient GPU programming
15:40 - 16:10
ARRAY
Structuring Arrays with Algebraic Shapes
16:10 - 16:40
x
Tue 10 Jun 10:43