Program - PLDI 2025

Detailed Table Session Timeline Detailed Timeline

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	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Blossom 1																													PLDI Catering Dinner 19:30 - 21:30
Blossom 2																													PLDI Catering Dinner 19:30 - 21:30
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		SparseRecorded 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			SparseRecorded 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 2																										PLMW @ PLDI Day Opening 14:00 - 14:10	PLMW @ PLDI PL Cards 14:10 - 15:20									PLMW @ PLDI Skill exchange 15:40 - 16:40						PLMW @ PLDI Conclusion 16:40 - 17:00
Lilac	PLDI Tutorials Unlocking Optimizations with egglog: Equality Saturation Meets Datalog 09:00 - 10:10									PLDI Tutorials Unlocking Optimizations with egglog: Equality Saturation Meets Datalog 10:30 - 12:00																PLDI Tutorials BINSEC: Adapting Symbolic Execution for Binary-level Security 14:00 - 15:20										PLDI Tutorials BINSEC: Adapting Symbolic Execution for Binary-level Security 15:40 - 17:20													PLDI Tutorials BINSEC: Adapting Symbolic Execution for Binary-level Security 17:40 - 18:30								PLDI Catering Dinner 19:30 - 21:30
Orchid	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		SOAPRecorded 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 Building X-Ray for enterprise-scale software 15:40 - 16:40						SOAP Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers 16:40 - 17:00		SOAPRecorded Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data F ... 17:00 - 17:20			SOAP Closing and Best Presentation Award 17:20 - 17:30
Rose	PLDI Tutorials Formal Analysis and Verification in Quantum Programming 09:00 - 10:10									PLDI Tutorials Formal Analysis and Verification in Quantum Programming 10:30 - 12:00																PLDI Tutorials Perfect Decompilation of Python Bytecode with PyLingual 14:00 - 15:20										PLDI Tutorials Perfect Decompilation of Python Bytecode with PyLingual 15:40 - 17:00																					PLDI Catering Dinner 19:30 - 21:30
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
Violet																										LCTES Opening 14:00 - 14:10	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

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	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Blossom 2	PLDI Tutorials Verifying Cyber-Physical Systems with IsaVODEs 09:00 - 10:10												PLDI Tutorials Verifying Cyber-Physical Systems with IsaVODEs 10:30 - 12:00																					PLDI Tutorials Verifying Cyber-Physical Systems with IsaVODEs 14:00 - 15:20													PLDI Tutorials Verifying Cyber-Physical Systems with IsaVODEs 15:40 - 17:00																							PLDI Catering Dinner 19:30 - 21:30
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													RPLSRemote 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			RPLSRemote Production Language Specification - Requirements for Multiple Usages 16:05 - 16:30				RPLS Panel: Mechanized Specifications for Real-World Programming Languages 16:30 - 17:30																PLDI Catering Dinner 19:30 - 21:30
Grand Ball Room																																					PLDI Catering Dinner 18:00 - 19:30
Grand Ball Room 2	PLMW @ PLDI Opening remarks 09:00 - 09:10		PLMW @ PLDI Research on Different Time Horizons (and an Example with Machine-Checke ... 09:10 - 10:10										PLMW @ PLDI Graduate School Revisited: An Assistant Professor's Perspective 10:30 - 11:05						PLMW @ PLDI From Formal Verification to Correctly Rounded Math Libraries 11:05 - 12:00															PLMW @ PLDI Regularizing the Irregular 14:00 - 14:35					PLMW @ PLDI Language Design Where Paradigms Meet 14:35 - 15:10					PLMW @ PLDI Standardaizing JavaScript: Call for PL researchers 15:10 - 15:20			PLMW @ PLDI Usable PL: Human-Computer Interaction for PL Research 15:40 - 16:15					PLMW @ PLDI Nomads and Anvil makers 16:15 - 16:45				PLMW @ PLDI PL and beyond 16:45 - 17:35						PLMW @ PLDI Concluding remarks 17:35 - 17:45
Lilac	ISMM Welcome from the chairs 09:00 - 09:05	ISMM Keynote: Domain-Specific Memory Management? 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				ISMMRemote 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				ISMMRecorded EMD: Fair and Efficient Dynamic Memory De-bloating of Transparent Huge ... 16:20 - 16:40		ISMMRecorded Compiler-Assisted Crash Consistency for PMEM 16:40 - 17:00			ISMM Closing remarks 17:00 - 17:05												PLDI Catering Dinner 19:30 - 21:30
Orchid	EGRAPHSRecorded 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			EGRAPHSRecorded 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
Rose	WQS Day opening 09:00 - 09:05	WQS The quantum monad: structuring quantum advantage 09:05 - 09:55							WQS Tucker iterative quantum state preparation and Q-Alchemy SaaS 09:55 - 10:10				WQSRemote Breaking Good: Quantum Abstractions in the Wild - From High-Level App ... 10:30 - 11:20									WQSRemote From Fermions to Qubits: A ZX-Calculus Perspective 11:20 - 11:40		WQS A Semantics for Quantum Loops 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 Scalable Quantum Compilation With Jasp 15:40 - 16:30							WQS Automating Quantum Hoare Logic with Automata (Work-In-Progress) 16:30 - 16:50			WQS Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noi ... 16:50 - 17:10		WQS Closing remarks 17:10 - 17:15											PLDI Catering Dinner 19:30 - 21:30
Tulip	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
Violet	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											LCTESRecorded 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				LCTESRecorded R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Fram ... 15:40 - 16:00		LCTESRecorded 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															PLDI Catering Dinner 19:30 - 21:30

Wed 18 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	21: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 PapersRemote 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 PapersRecorded 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	PLDI Research Papers Programming Language Research for Technical and Social Good: What PL Ca ... 09:00 - 10:10
Grand Ball Room 1																										PLDI Catering Break 15:40 - 16:00
Grand Ball Room 2							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
Lilac																PLDI Catering Lunch 12:00 - 14:00
Orchid							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 PapersRemote 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 PapersRemote [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:20		PLDI Research Papers Lightweight and Locality-Aware Composition of Black-Box Subroutines 16:20 - 16:40		PLDI Research Papers Modular Construction and Optimization of the UZP Sparse Format for SpMV ... 16:40 - 17:00		PLDI Research PapersRemote Dynamic Robustness Verification against Weak Memory 17:00 - 17:20
Rose																										PLDI Catering Dinner 19:30 - 21:30
Tulip																										PLDI Catering Dinner 19:30 - 21:30

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	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
Cosmos, Violet & Tulip							PLDI Research Papers Optimizing Ancilla-Based Quantum Circuits with SPARE 10:30 - 10:50		PLDI Research PapersRemote 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 PapersDistinguished Paper Tree Borrows 14:00 - 14:20		PLDI Research PapersDistinguished Paper 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																															PLDI Events Memory-safe interoperation between safe and unsafe languages 15:20 - 15:45		PLDI Events An Overview of the Cangjie Language 15:45 - 16:10		PLDI Events AI + Lean: NeuroSymbolic AI 16:10 - 16:35												PLDI Catering Dinner 19:00 - 21:00
Grand Ball Room 1																										PLDI Catering Break 15:00 - 15:20
Grand Ball Room 2							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 PapersDistinguished Paper 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
Orchid							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 PapersRemote 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 PapersDistinguished Paper 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:20		PLDI Research Papers Efficient Linearizability Monitoring 14:20 - 14:40		PLDI Research Papers [TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost? 14:40 - 15:00		PLDI Research Papers Nola: Later-Free Ghost State for Verifying Termination in Iris 15:00 - 15:20
Grand Ball Room	PLDI Research Papers Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in R ... 09:00 - 10:10
Grand Ball Room 2							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 PapersDistinguished Paper AWDIT: An Optimal Weak Database Isolation Tester 15:00 - 15:20
Lilac																PLDI Catering Lunch 12:00 - 14:00
Orchid							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 PapersDistinguished Paper 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

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

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