Program - PLDI 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

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 programSpecify 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


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	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
Grand Ball Room 1																											LCTES Keynote 1: Prof. Soonhoi Ha (Seoul National University) 14:10 - 15:20									LCTES SPARQ: An Accelerator Architecture for Large Language Models with Joint ... 15:40 - 16:00		LCTES ADaPS: Adaptive Data Partitioning to Parallelize CNN Inference on Resou ... 16:00 - 16:20		LCTES Graphitron: A Domain Specific Language for FPGA-Based Graph Processing ... 16:20 - 16:40		LCTES Modeling and Verification of Sigma Delta Neural Networks using Satisfia ... 16:40 - 17:00		LCTES Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Regi ... 17:00 - 17:10	LCTES Towards Macro-Aware C-to-Rust Transpilation (WIP) 17:10 - 17:20
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 Beyond Affine Loops: A Geometric Approach to Program Synthesis 11:30 - 11:50										SOAP TBD 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 Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph ... 16:40 - 17:00 Closing and Best Presentation Award 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
Grand Ball Room 1	LCTES Keynote 2: Prof. Reinhard von Hanxleden (Kiel University) 09:00 - 10:10											LCTES rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems 10:30 - 10:50			LCTES ASC-Hook: Efficient System Call Interception for ARM 10:50 - 11:10		LCTES SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in ... 11:10 - 11:30			LCTES vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded S ... 11:30 - 11:50											LCTES JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code E ... 14:00 - 14:20		LCTES Grouptuner: Efficient Group-Aware Compiler Auto-tuning 14:20 - 14:40		LCTES Multi-level Machine Learning-Guided Autotuning for Efficient Code Gener ... 14:40 - 15:00		LCTES DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signa ... 15:00 - 15:20			LCTES R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Fram ... 15:40 - 16:00		LCTES SetMP: Set Associative Mapping Management for Multi-plane Optimization ... 16:00 - 16:20			LCTES LUCI: Lightweight UI Command Interface 16:20 - 16:40		LCTES Kubism: Disassembling and Reassembling K-Means Clustering for Mobile He ... 16:40 - 17:00
Lilac	WQS Day opening 09:00 - 09:10		WQS TBA 09:10 - 10:00									WQS TBA_2 10:30 - 11:20							WQS A Semantics for Quantum Loops 11:20 - 11:40		WQS From Fermions to Qubits: A ZX-Calculus Perspective 11:40 - 12:00										WQS Deriving a Kronecker-Free Functional Quantum Simulator 14:00 - 14:20		WQS Quantum Circuit Compilation with #SAT 14:20 - 14:40		WQS Optimization and Synthesis of Quantum Circuits with Global Gates 14:40 - 15:00		WQS Quantum Multiplexer Simplification for State Preparation 15:00 - 15:20			WQS TBA_3 15:40 - 16:30						WQS Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noi ... 16:30 - 16:50			WQS Automating Quantum Hoare Logic with Automata (Work-In-Progress) 16:50 - 17:00
Orchid	ISMM Welcome from the chairs 09:00 - 09:05	ISMM Keynote 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 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 EMD: Fair and Efficient Dynamic Memory De-bloating of Transparent Huge ... 16:20 - 16:40		ISMM Compiler-Assisted Crash Consistency for PMEM 16:40 - 17:00			ISMM Closing remarks 17:00 - 17:05
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 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
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

Wed 18 Jun
Displayed time zone: Seoul change


Room	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, Violet & Tulip			PLDI Research Papers Random Variate Generation with Formal Guarantees 10:30 - 10:50		PLDI Research Papers Semantics of Integrating and Differentiating Singularities 10:50 - 11:10		PLDI Research Papers Probabilistic Refinement Session Types 11:10 - 11:30		PLDI Research Papers Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabi ... 11:30 - 11:50		PLDI Research Papers Roulette: A Language for Expressive, Exact, and Efficient Discrete Prob ... 11:50 - 12:10									PLDI Research Papers Solving Floating-Point Constraints with Continuous Optimization 14:00 - 14:20		PLDI Research Papers Support Triangle Machine 14:20 - 14:40		PLDI Research Papers Correctly Rounded Math Libraries without Worrying about the Application ... 14:40 - 15:00		PLDI Research Papers Bean: A Language for Backward Error Analysis 15:00 - 15:20					PLDI Research Papers Type-Constrained Code Generation with Language Models 16:00 - 16:20		PLDI Research Papers Reductive Analysis with Compiler-Guided Large Language Models for Input ... 16:20 - 16:40		PLDI Research Papers Scalable, Validated Code Translation of Entire Projects using Large Lan ... 16:40 - 17:00		PLDI Research Papers Guided Tensor Lifting 17:00 - 17:20
Grand Ball Room 1			PLDI Research Papers Partial Evaluation, Whole-Program Compilation 10:30 - 10:50		PLDI Research Papers Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Stu ... 10:50 - 11:10		PLDI Research Papers Relaxing Alias Analysis: Exploring the Unexplored Space 11:10 - 11:30		PLDI Research Papers Webs and Flow-Directed Well-Typedness Preserving Program Transformations 11:30 - 11:50		PLDI Research Papers Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs 11:50 - 12:10									PLDI Research Papers Verified Foundations for Differential Privacy 14:00 - 14:20		PLDI Research Papers Automated Exploit Generation for Node.js Packages 14:20 - 14:40		PLDI Research Papers Robust Constant-Time Cryptography 14:40 - 15:00		PLDI Research Papers Smooth, Integrated Proofs of Cryptographic Constant Time for Nondetermi ... 15:00 - 15:20		PLDI Research Papers Circuit Optimization using Arithmetic Table Lookups 15:20 - 15:40			PLDI Research Papers Active Learning of Symbolic NetKAT Automata 16:00 - 16:20		PLDI Research Papers StacKAT: Infinite State Network Verification 16:20 - 16:40		PLDI Research Papers Probabilistic Kleene Algebra with Angelic Nondeterminism 16:40 - 17:00		PLDI Research Papers Membership Testing for Semantic Regular Expressions 17:00 - 17:20
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 Exact Loop Bound Analysis 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


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
Cosmos, Violet & Tulip							PLDI Research Papers Optimizing Ancilla-Based Quantum Circuits with SPARE 10:30 - 10:50		PLDI Research Papers MarQSim: Reconciling Determinism and Randomness in Compiler Optimizatio ... 10:50 - 11:10		PLDI Research Papers Quantum Register Machine: Efficient Implementation of Quantum Recursive ... 11:10 - 11:30		PLDI Research Papers QVM: Quantum Gate Virtualization Machine 11:30 - 11:50		PLDI Research Papers Efficient Formal Verification of Quantum Error Correcting Programs 11:50 - 12:10									PLDI Research Papers Tree Borrows 14:00 - 14:20		PLDI Research Papers Principal Type Inference under a Prefix: A Fresh Look at Static Overloading 14:20 - 14:40		PLDI Research Papers Efficient, Portable, Census-Polymorphic Choreographic Programming 14:40 - 15:00
Grand Ball Room	PLDI Research Papers Lean: Machine-Checked Mathematics and Verified Programming, Past and Future 09:00 - 10:10
Grand Ball Room 1							PLDI Research Papers A Hybrid Approach to Semi-automated Rust Verification 10:30 - 10:50		PLDI Research Papers RefinedProsa: Connecting Response-Time Analysis with C Verification for ... 10:50 - 11:10		PLDI Research Papers Certified Compilers à la Carte 11:10 - 11:30		PLDI Research Papers Destabilizing Iris 11:30 - 11:50		PLDI Research Papers Verifying Lock-Free Traversals in Relaxed Memory Separation Logic 11:50 - 12:10									PLDI Research Papers A Uniform Framework for Handling Position Constraints in String Solving 14:00 - 14:20		PLDI Research Papers Intrinsic Verification of Parsers and Formal Grammar Theory in Dependen ... 14:20 - 14:40		PLDI Research Papers Verifying Solutions to Semantics-Guided Synthesis Problems 14:40 - 15:00
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 Making Concurrent Hardware Verification Sequential 14:20 - 14:40		PLDI Research Papers Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Cap ... 14:40 - 15:00

Fri 20 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
Cosmos, Violet & Tulip							PLDI Research Papers Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separat ... 10:30 - 10:50		PLDI Research Papers Leveraging Immutability to Validate Hazard Pointers for Optimistic Trav ... 10:50 - 11:10		PLDI Research Papers Iso: Request-Private Garbage Collection 11:10 - 11:30		PLDI Research Papers CRGC: Fault-Recovering Actor Garbage Collection in Pekko 11:30 - 11:50		PLDI Research Papers RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free ... 11:50 - 12:10									PLDI Research Papers Efficient Timestamping for Sampling-Based Race Detection 14:00 - 14:25			PLDI Research Papers Efficient Linearizability Monitoring 14:25 - 14:50				PLDI Research Papers [TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost? 14:50 - 15:15		PLDI Research Papers Nola: Later-Free Ghost State for Verifying Termination in Iris 15:15 - 15:40
Grand Ball Room	PLDI Research Papers Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in R ... 09:00 - 10:10
Grand Ball Room 1							PLDI Research Papers Robustifying Debug Information Updates in LLVM via Control-Flow Conform ... 10:30 - 10:50		PLDI Research Papers CompCertOC: Verified Compositional Compilation of Multi-threaded Progra ... 10:50 - 11:10		PLDI Research Papers Link-Time Optimization of Dynamic Casts in C++ Programs 11:10 - 11:30		PLDI Research Papers Divergence-Aware Testing of Graphics Shader Compiler Back-Ends 11:30 - 11:50		PLDI Research Papers Optimization-Directed Compiler Fuzzing for Continuous Translation Valid ... 11:50 - 12:10									PLDI Research Papers Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approxi ... 14:00 - 14:20		PLDI Research Papers Pointer Analysis for Database-Backed Applications 14:20 - 14:40			PLDI Research Papers Graphiti: Bridging Graph and Relational Database Queries 14:40 - 15:00			PLDI Research Papers AWDIT: An Optimal Weak Database Isolation Tester 15:00 - 15:20
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 2025 Program

This program is tentative and subject to change.

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Wed 18 Jun
Displayed time zone: Seoul change

Thu 19 Jun
Displayed time zone: Seoul change

Fri 20 Jun
Displayed time zone: Seoul change

Tracks

Co-hosted Conferences

Workshops

PLDI 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Mon 16 JunDisplayed time zone: Seoul change

Tue 17 JunDisplayed time zone: Seoul change

Wed 18 JunDisplayed time zone: Seoul change

Thu 19 JunDisplayed time zone: Seoul change

Fri 20 JunDisplayed time zone: Seoul change

Get Calendar (iCal)

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Wed 18 Jun
Displayed time zone: Seoul change

Thu 19 Jun
Displayed time zone: Seoul change

Fri 20 Jun
Displayed time zone: Seoul change