PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
PLDI 2025 (series) / The Westin Josun Seoul /

Room information: Grand Ball Room 2

VenueThe Westin Josun Seoul
Room nameGrand Ball Room 2
Floor1
Room Information

Grand Ball Room 2

Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 18 Jun

Displayed time zone: Seoul change

10:30 - 12:10
SynthesisPLDI Research Papers at Grand Ball Room 2
10:30
20m
Talk
Programming by Navigation
PLDI Research Papers
Justin Lubin University of California at Berkeley, Parker Ziegler University of California at Berkeley, Sarah E. Chasins University of California at Berkeley
DOI Pre-print
10:50
20m
Talk
A Concurrent Approach to String Transformation Synthesis
PLDI Research Papers
Yuantian Ding Purdue University, Xiaokang Qiu Purdue University
DOI
11:10
20m
Talk
Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
PLDI Research Papers
Yang He Simon Fraser University, Xiaoyu Liu Simon Fraser University, Yuepeng Wang Simon Fraser University
DOI
11:30
20m
Talk
Multi-stage Relational Programming
PLDI Research Papers
Michael Ballantyne Northeastern University, Rafaello Sanna Harvard University, Jason Hemann Seton Hall University, William E. Byrd University of Alabama at Birmingham, Nada Amin Harvard University
DOI
11:50
20m
Talk
Program Synthesis From Partial Traces
PLDI Research Papers
Margarida Ferreira Carnegie Mellon University; INESC-ID; Instituto Superior Técnico - University of Lisbon, Victor Nicolet Amazon, Joey Dodds Amazon, Daniel Kroening Amazon
DOI
14:00 - 15:40
SemanticsPLDI Research Papers at Grand Ball Room 2
14:00
20m
Talk
Functional Meaning for Parallel Streaming
PLDI Research Papers
Nick Rioux University of Pennsylvania, Steve Zdancewic University of Pennsylvania
DOI Pre-print
14:20
20m
Talk
MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
PLDI Research Papers
Abdul Rafae Noor University of Illinois at Urbana-Champaign, Dhruv Baronia University of Illinois at Urbana-Champaign, Akash Kothari University of Illinois at Urbana-Champaign, Muchen Xu University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign
DOI
14:40
20m
Talk
First-Class Verification Dialects for MLIR
PLDI Research Papers
Mathieu Fehr The University of Edinburgh, Yuyou Fan University of Utah, Hugo Pompougnac Université Grenoble Alpes; Inria; CNRS; Grenoble INP, John Regehr University of Utah, Tobias Grosser University of Cambridge
DOI
15:00
20m
Talk
[TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages
PLDI Research Papers
Dawn Michaelson University of Minnesota, Gopalan Nadathur University of Minnesota, Eric Van Wyk University of Minnesota - Twin Cities
15:20
20m
Talk
Handling the Selection Monad
PLDI Research Papers
Gordon Plotkin Google DeepMind, Ningning Xie University of Toronto
DOI
16:00 - 17:00
High Performance ComputingPLDI Research Papers at Grand Ball Room 2
16:00
15m
Talk
Task-Based Tensor Computations on Modern GPUs
PLDI Research Papers
Rohan Yadav Stanford University, Michael Garland NVIDIA, Alex Aiken Stanford University, Michael Bauer NVIDIA
DOI
16:15
15m
Talk
Lightweight and Locality-Aware Composition of Black-Box Subroutines
PLDI Research Papers
Manya Bansal Massachusetts Institute of Technology, Dillon Sharlet Google, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
DOI
16:30
15m
Talk
Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
PLDI Research Papers
Alonso Rodriguez Universidade da Coruña, Santoshkumar T. Tongli Colorado State University, Emily Tucker Colorado State University, Louis-Noël Pouchet Colorado State University, Gabriel Rodríguez Universidade da Coruña, Juan Tourino Universidade da Coruña
DOI
16:45
15m
Talk
Dynamic Robustness Verification against Weak Memory
PLDI Research Papers
Roy Margalit Tel Aviv University, Michalis Kokologiannakis ETH Zurich, Shachar Itzhaky Technion, Ori Lahav Tel Aviv University
DOI

Thu 19 Jun

Displayed time zone: Seoul change

10:30 - 12:10
Software EngineeringPLDI Research Papers at Grand Ball Room 2
10:30
20m
Talk
Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence
PLDI Research Papers
Parker Ziegler University of California at Berkeley, Justin Lubin University of California at Berkeley, Sarah E. Chasins University of California at Berkeley
DOI
10:50
20m
Talk
An Interactive Debugger for Rust Trait Errors
PLDI Research Papers
Gavin Gray Brown University, Will Crichton Brown University, Shriram Krishnamurthi Brown University
DOI Pre-print
11:10
20m
Talk
Spineless Traversal for Layout Invalidation
PLDI Research Papers
Marisa Kirisame University of Utah, Tiezhi Wang Tongji University, Pavel Panchekha University of Utah
DOI
11:30
20m
Talk
DR.FIX: Automatically Fixing Data Races at Industry Scale
PLDI Research Papers
Farnaz Behrang Uber Technologies, Zhizhou (Chris) Zhang Uber Technologies, Georgian-Vlad Saioc Aarhus University, Peng Liu Uber Technologies, Milind Chabbi Uber Technologies
DOI
11:50
20m
Talk
Program Skeletons for Automated Program Translation
PLDI Research Papers
Bo Wang National University of Singapore, Tianyu Li National University of Singapore, Ruishi Li National University of Singapore, Umang Mathur National University of Singapore, Prateek Saxena National University of Singapore
DOI
14:00 - 15:00
ArchitecturePLDI Research Papers at Grand Ball Room 2
14:00
20m
Talk
Ripple: Asynchronous Programming for Spatial Dataflow Architectures
PLDI Research Papers
Souradip Ghosh Carnegie Mellon University, Yufei Shi Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, Nathan Beckmann Carnegie Mellon University
DOI
14:20
20m
Talk
Circuit Optimization using Arithmetic Table Lookups
PLDI Research Papers
Raghav Malik Purdue University, Vedant Paranjape Purdue University, Milind Kulkarni Purdue University
DOI
14:40
20m
Talk
Making Concurrent Hardware Verification Sequential
PLDI Research Papers
Thomas Bourgeat EPFL, Jiazheng Liu Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology, Arvind Massachusetts Institute of Technology
DOI

Fri 20 Jun

Displayed time zone: Seoul change

10:30 - 11:50
Type SystemsPLDI Research Papers at Grand Ball Room 2
10:30
20m
Talk
Usability Barriers for Liquid Types
PLDI Research Papers
Catarina Gamboa Carnegie Mellon University, Abigail Elena Reese Carnegie Mellon University, Alcides Fonseca LASIGE; University of Lisbon, Jonathan Aldrich Carnegie Mellon University
DOI
10:50
20m
Talk
Dynamic Region Ownership for Concurrency Safety
PLDI Research Papers
Fridtjof Stoldt Uppsala University, Brandt Bucher Microsoft, Sylvan Clebsch Microsoft Azure Research, Matthew A. Johnson Microsoft Azure Research, Matthew J. Parkinson Microsoft Azure Research, Guido van Rossum Microsoft, Eric Snow Microsoft, Tobias Wrigstad Uppsala University
DOI
11:10
20m
Talk
Practical Type Inference with Levels
PLDI Research Papers
Andong Fan University of Toronto, Han Xu Princeton University, Ningning Xie University of Toronto
DOI
11:30
20m
Talk
Thrust: A Prophecy-Based Refinement Type System for Rust
PLDI Research Papers
Hiromi Ogawa University of Tsukuba, Taro Sekiyama National Institute of Informatics, Hiroshi Unno Tohoku University
DOI
14:00 - 15:40
Static Anlysis and VerificationPLDI Research Papers at Grand Ball Room 2
14:00
20m
Talk
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
PLDI Research Papers
Gabriel Ebner Microsoft Research, Guido Martínez Microsoft Research, Aseem Rastogi Microsoft Research, Thibault Dardinier ETH Zurich, Megan Frisella University of Washington, Tahina Ramananandro Microsoft Research, Nikhil Swamy Microsoft Research
DOI
14:20
20m
Talk
LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols
PLDI Research Papers
Longfei Qiu Yale University, Jingqi Xiao Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University
DOI
14:40
20m
Talk
Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
PLDI Research Papers
Fabian Stemmler TU Munich, Michael Schwarz TU Munich, Julian Erhard TU Munich; LMU Munich, Sarah Tilscher TU Munich; LMU Munich, Helmut Seidl TU Munich
DOI Pre-print Media Attached
15:00
20m
Talk
Relational Abstractions Based on Labeled Union-Find
PLDI Research Papers
Dorian Lesbre Université Paris-Saclay - CEA LIST, Matthieu Lemerre Université Paris-Saclay - CEA LIST, Hichem Rami Ait-El-Hara OCamlPro; Université Paris-Saclay - CEA LIST, François Bobot Université Paris-Saclay - CEA LIST
DOI
15:20
20m
Talk
Exact Loop Bound Analysis
PLDI Research Papers
Daniel Riley Florida State University, Grigory Fedyukovich Florida State University
DOI

Wed 18 Jun

Displayed time zone: Seoul change

Room10:003011:003012:003013:003014:003015:003016:0030
Grand Ball Room 2

PLDI Research Papers

Synthesis

PLDI Research Papers

Semantics

PLDI Research Papers

High Performance Computing

Thu 19 Jun

Displayed time zone: Seoul change

Room10:003011:003012:003013:003014:0030
Grand Ball Room 2

PLDI Research Papers

Software Engineering

PLDI Research Papers

Architecture

Fri 20 Jun

Displayed time zone: Seoul change

Room10:003011:003012:003013:003014:003015:0030
Grand Ball Room 2

PLDI Research Papers

Type Systems

PLDI Research Papers

Static Anlysis and Verification

Wed 18 Jun

Displayed time zone: Seoul change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Ball Room 2
PLDI Research Papers
Programming by Navigation
10:30 - 10:50
PLDI Research Papers
A Concurrent Approach to String Transformation Synthesis
10:50 - 11:10
PLDI Research Papers
Synthesizing Optimal Object Selection Predicates for Image Editing usin ...
11:10 - 11:30
PLDI Research Papers
Multi-stage Relational Programming
11:30 - 11:50
PLDI Research Papers
Program Synthesis From Partial Traces
11:50 - 12:10
PLDI Research Papers
Functional Meaning for Parallel Streaming
14:00 - 14:20
PLDI Research Papers
MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargeta ...
14:20 - 14:40
PLDI Research Papers
First-Class Verification Dialects for MLIR
14:40 - 15:00
PLDI Research Papers
[TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible L ...
15:00 - 15:20
PLDI Research Papers
Handling the Selection Monad
15:20 - 15:40
PLDI Research Papers
Task-Based Tensor Computations on Modern GPUs
16:00 - 16:15
PLDI Research Papers
Lightweight and Locality-Aware Composition of Black-Box Subroutines
16:15 - 16:30
PLDI Research Papers
Modular Construction and Optimization of the UZP Sparse Format for SpMV ...
16:30 - 16:45
PLDI Research Papers
Dynamic Robustness Verification against Weak Memory
16:45 - 17:00

Thu 19 Jun

Displayed time zone: Seoul change

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Grand Ball Room 2
PLDI Research Papers
Fast Direct Manipulation Programming with Patch-Reconciliation Correspo ...
10:30 - 10:50
PLDI Research Papers
An Interactive Debugger for Rust Trait Errors
10:50 - 11:10
PLDI Research Papers
Spineless Traversal for Layout Invalidation
11:10 - 11:30
PLDI Research Papers
DR.FIX: Automatically Fixing Data Races at Industry Scale
11:30 - 11:50
PLDI Research Papers
Program Skeletons for Automated Program Translation
11:50 - 12:10
PLDI Research Papers
Ripple: Asynchronous Programming for Spatial Dataflow Architectures
14:00 - 14:20
PLDI Research Papers
Circuit Optimization using Arithmetic Table Lookups
14:20 - 14:40
PLDI Research Papers
Making Concurrent Hardware Verification Sequential
14:40 - 15:00

Fri 20 Jun

Displayed time zone: Seoul change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Grand Ball Room 2
PLDI Research Papers
Usability Barriers for Liquid Types
10:30 - 10:50
PLDI Research Papers
Dynamic Region Ownership for Concurrency Safety
10:50 - 11:10
PLDI Research Papers
Practical Type Inference with Levels
11:10 - 11:30
PLDI Research Papers
Thrust: A Prophecy-Based Refinement Type System for Rust
11:30 - 11:50
PLDI Research Papers
PulseCore: An Impredicative Concurrent Separation Logic for Dependently ...
14:00 - 14:20
PLDI Research Papers
LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Co ...
14:20 - 14:40
PLDI Research Papers
Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitiv ...
14:40 - 15:00
PLDI Research Papers
Relational Abstractions Based on Labeled Union-Find
15:00 - 15:20
PLDI Research Papers
Exact Loop Bound Analysis
15:20 - 15:40