PLDI 2026
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United States
PLDI 2026 (series) / Limelight Boulder /

Room information: Flatirons 3

VenueLimelight Boulder
Room nameFlatirons 3
Floor1
Room InformationNo extra information available
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 17 Jun

Displayed time zone: Mountain Time (US & Canada) change

10:30 - 12:10
Specification Synthesis and VerificationPLDI Research Papers at Flatirons 3
10:30
20m
Talk
[SIGPLAN] Counterexample-Guided Inference of Modular Specifications
PLDI Research Papers
William Hallahan Binghamton, Ranjit Jhala University of California at San Diego, Ruzica Piskac Yale University
10:50
20m
Talk
Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disambiguation
PLDI Research Papers
Celeste Barnaby University of Texas at Austin, Danny Ding University of Texas at Austin, Osbert Bastani University of Pennsylvania, Işıl Dillig University of Texas at Austin
DOI
11:10
20m
Talk
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
PLDI Research Papers
Rui Dong University of Michigan, Qingyue Wu University of Michigan, Danny Ding University of Texas at Austin, Zheng Guo University of Michigan, Ruyi Ji University of Michigan, Xinyu Wang University of Michigan
DOI
11:30
20m
Talk
Verification Modulo Tested Library Contracts
PLDI Research Papers
Abhishek Uppar IISc Bangalore, Omar Muhammad IISc Bangalore, Sumanth Prabhu S Relyance AI, Deepak D'Souza IISc Bangalore, P. Madhusudan University of Illinois Urbana-Champaign, Adithya Murali University of Wisconsin-Madison
DOI
11:50
20m
Talk
Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
PLDI Research Papers
Dongjae Lee KAIST, Kihong Heo KAIST
DOI
13:40 - 15:20
Concurrent Monitoring and VerificationPLDI Research Papers at Flatirons 3
13:40
20m
Talk
State Space Estimation for DPOR-Based Model Checkers
PLDI Research Papers
A. R. Balasubramanian MPI-SWS, Mohammad Hossein Khoshechin Jorshari MPI-SWS, Rupak Majumdar MPI-SWS, Umang Mathur National University of Singapore, Minjian Zhang University of Illinois Urbana-Champaign
DOI
14:00
20m
Talk
Fixed Parameter Tractable Linearizability Monitoring
PLDI Research Papers
Zheng Han Lee National University of Singapore, Umang Mathur National University of Singapore
DOI
14:20
20m
Talk
SuperCollider: Scalable and Effective Data Race Detection for CUDA
PLDI Research Papers
Mark Stephenson NVIDIA, Sana Damani NVIDIA, Mohamed Tarek Ibn Ziad NVIDIA, Anis Ladram NVIDIA, Michael Garland NVIDIA
DOI
14:40
20m
Talk
Fast Atomicity Monitoring
PLDI Research Papers
Hünkar Can Tunç Uber, Yifan Dong Aarhus University, Andreas Pavlogiannis Aarhus University
DOI
15:50 - 17:30
Formal Semantics and Verification for GPU ProgrammingPLDI Research Papers at Flatirons 3
15:50
20m
Talk
Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
PLDI Research Papers
Guido Martínez Microsoft Research, Bastian Köpcke TU Berlin, Jonáš Fiala ETH Zurich, Gabriel Ebner Microsoft Research, Tahina Ramananandro Microsoft Research, Michel Steuwer TU Berlin, Tyler Sorensen Microsoft Research, Nikhil Swamy Microsoft Research
DOI
16:10
20m
Talk
Modular GPU Programming with Typed Perspectives
PLDI Research Papers
Manya Bansal Massachusetts Institute of Technology, Daniel Sainati University of Pennsylvania, Joseph W. Cutler University of Pennsylvania, Saman Amarasinghe Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology
DOI
16:30
20m
Talk
[TOPLAS] StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution
PLDI Research Papers
Soumik Kumar Basu IIT Hyderabad, Jyothi Vedurada IIT Hyderabad
16:50
20m
Talk
SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup Behavior
PLDI Research Papers
Zheyuan Chen University of California at Santa Cruz, Naomi Rehman University of California at Santa Barbara, Guido Martínez Microsoft Research, Tyler Sorensen Microsoft Research; University of California at Santa Cruz
DOI
17:10
20m
Talk
Uniformity Analysis in the WebGPU Shading Language
PLDI Research Papers
James Lee-Jones Imperial College London, John Wickerson Imperial College London, Alastair F. Donaldson Imperial College London
DOI

Thu 18 Jun

Displayed time zone: Mountain Time (US & Canada) change

10:30 - 12:10
Language Abstractions for Structured DataPLDI Research Papers at Flatirons 3
10:30
20m
Talk
Decoupling Data Layouts from Bounding Volume Hierarchies
PLDI Research Papers
Christophe Gyurgyik Stanford University, Alexander J Root Stanford University, Fredrik Kjolstad Stanford University
DOI Pre-print
10:50
20m
Talk
Contextual Embeddings: Implementing Bound Variables through Instance Resolution
PLDI Research Papers
Samantha Frohlich University of Bristol, Jessica Foster University of Bristol, Alex Kavvos University of Bristol, Meng Wang University of Bristol
DOI
11:10
20m
Talk
CoTenN: Constrained Optimization with Tensor Networks
PLDI Research Papers
Ritvik Sharma Stanford University, Cheng Peng SLAC National Accelerator Laboratory, Siddharth Dangwal University of Chicago, Sara Achour Stanford University
DOI
11:30
20m
Talk
Diagramming Program Values by Spatial Refinement
PLDI Research Papers
Siddhartha Prasad Brown University, Michael Tu Brown University, Karan Kashyap Brown University, Tim Nelson Brown University, Shriram Krishnamurthi Brown University
DOI
11:50
20m
Talk
Persistent Iterators with Value Semantics
PLDI Research Papers
Yihe Li National University of Singapore, Gregory J. Duck National University of Singapore
DOI
13:40 - 15:20
Formal Verification of Probabilistic ProgramsPLDI Research Papers at Flatirons 3
13:40
20m
Talk
Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
PLDI Research Papers
Satoshi Kura Waseda University, Hiroshi Unno Tohoku University, Takeshi Tsukada Chiba University
DOI
14:00
20m
Talk
A Formally Verified Foundation for Compositional Heterogeneous Coherence
PLDI Research Papers
An Qi Zhang University of Utah, Andrés Goens TU Darmstadt, Daniel Sorin Duke University, Vijay Nagarajan University of Utah
DOI
14:20
20m
Talk
SuperDP: Differential Privacy Refutation via Supermartingales
PLDI Research Papers
Krishnendu Chatterjee IST Austria, Ehsan Kafshdar Goharshady IST Austria, Đorđe Žikelić Singapore Management University
DOI
14:40
20m
Talk
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
PLDI Research Papers
Philipp G. Haselwarter Aarhus University, Alejandro Aguirre Aarhus University, Simon Oddershede Gregersen CISPA Helmholtz Center for Information Security, Kwing Hei Li Aarhus University, Joseph Tassarotti New York University, Lars Birkedal Aarhus University
Link to publication DOI Pre-print

Fri 19 Jun

Displayed time zone: Mountain Time (US & Canada) change

10:30 - 12:10
Verified Compilation and Type SystemsPLDI Research Papers at Flatirons 3
10:30
20m
Talk
Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
PLDI Research Papers
Zhengyao Lin Carnegie Mellon University, Yi Cai University of Maryland at College Park, Milijana Surbatovich University of Maryland at College Park
DOI
10:50
20m
Talk
Compiling to Recurrent Neurons
PLDI Research Papers
Joey Velez-Ginorio University of Pennsylvania, Nada Amin Harvard University, Konrad Kording University of Pennsylvania, Steve Zdancewic University of Pennsylvania
DOI
11:10
20m
Talk
[TOPLAS] Denotation-based Compositional Compiler Verification
PLDI Research Papers
Zhang Cheng Shanghai Jiao Tong University, Jiyang Wu , Di Wang Peking University, Qinxiang Cao Shanghai Jiao Tong University
11:30
20m
Talk
Responsive Parallelism with Dynamic and First-Class Priorities
PLDI Research Papers
Marelle León Illinois Institute of Technology, My Dinh Illinois Institute of Technology, Stefan K. Muller University of Connecticut
DOI
11:50
20m
Talk
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
PLDI Research Papers
Songlin Jia Purdue University, Guannan Wei Tufts University, Siyuan He Purdue University, Yuyan Bao Augusta University, Tiark Rompf Purdue University
DOI
13:40 - 15:20
Probabilistic Inference and VerificationPLDI Research Papers at Flatirons 3
13:40
20m
Talk
[SIGPLAN] Probabilistic Inference for Datalog with Correlated Inputs
PLDI Research Papers
Jingbo Wang Purdue University, Shashin Halalingaiah UT Austin, IIT Madras, Weiyi Chen Purdue University, Chao Wang University of Southern California, Işıl Dillig University of Texas at Austin
14:00
20m
Talk
A Hierarchy of Supermartingales for ω-Regular Verification
PLDI Research Papers
Satoshi Kura Waseda University, Hiroshi Unno Tohoku University
DOI
14:20
20m
Talk
Incremental Density Calculation for Efficient Programmable Inference in Probabilistic Programs
PLDI Research Papers
Fabian Zaiser Massachusetts Institute of Technology, Jack Czenszak Yale University, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology, Alexander K. Lew Yale University
DOI
14:40
20m
Talk
GradInf: Gradient Estimation as Probabilistic Inference
PLDI Research Papers
Gaurav Arya Carnegie Mellon University, Mathieu Huot Massachusetts Institute of Technology, Moritz Schauer Chalmers University of Technology - University of Gothenburg, Alexander K. Lew Yale University, Feras A. Saad Carnegie Mellon University
DOI
15:00
20m
Talk
Categorical Semantics of Probabilistic Symbolic Execution
PLDI Research Papers
John Li Northeastern University, Jack Czenszak Yale University, Steven Holtzen Northeastern University
DOI
15:50 - 17:10
PotpourriPLDI Research Papers at Flatirons 3
15:50
20m
Talk
Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
PLDI Research Papers
Eden Frenkel Tel Aviv University, Kenneth L. McMillan University of Texas at Austin, Oded Padon Weizmann Institute of Science, Sharon Shoham Tel Aviv University
DOI
16:10
20m
Talk
TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
PLDI Research Papers
Henrijs Princis University of Bristol, Arindam Sharma University of Bristol, Cristina David University of Bristol
DOI
16:30
20m
Talk
[TOPLAS] Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
PLDI Research Papers
Tianchi Li Peking University, China, Zhenyu Yan Peking University, Junhao Liu Peking University, Peng Di Ant Group & UNSW Sydney, Xin Zhang Peking University
16:50
20m
Talk
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs
PLDI Research Papers
Kwing Hei Li Aarhus University, Alejandro Aguirre Aarhus University, Joseph Tassarotti New York University, Lars Birkedal Aarhus University
DOI

Mon 15 Jun

Displayed time zone: Mountain Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Flatirons 3

PAgE

PAgE

Tue 16 Jun

Displayed time zone: Mountain Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Flatirons 3

ARRAY

ARRAY

Wed 17 Jun

Displayed time zone: Mountain Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Flatirons 3

PLDI Research Papers

Specification Synthesis and Verification

PLDI Research Papers

Concurrent Monitoring and Verification

PLDI Research Papers

Formal Semantics and Verification for GPU Programming

Thu 18 Jun

Displayed time zone: Mountain Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:0030
Flatirons 3

PLDI Research Papers

Language Abstractions for Structured Data

PLDI Research Papers

Formal Verification of Probabilistic Programs

Fri 19 Jun

Displayed time zone: Mountain Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Flatirons 3

PLDI Research Papers

Verified Compilation and Type Systems

PLDI Research Papers

Probabilistic Inference and Verification

PLDI Research Papers

Potpourri

Wed 17 Jun

Displayed time zone: Mountain Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Flatirons 3
PLDI Research Papers
[SIGPLAN] Counterexample-Guided Inference of Modular Specifications
10:30 - 10:50
PLDI Research Papers
Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disamb ...
10:50 - 11:10
PLDI Research Papers
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained A ...
11:10 - 11:30
PLDI Research Papers
Verification Modulo Tested Library Contracts
11:30 - 11:50
PLDI Research Papers
Expecto: Extracting Formal Specifications from Natural Language Descrip ...
11:50 - 12:10
PLDI Research Papers
State Space Estimation for DPOR-Based Model Checkers
13:40 - 14:00
PLDI Research Papers
Fixed Parameter Tractable Linearizability Monitoring
14:00 - 14:20
PLDI Research Papers
SuperCollider: Scalable and Effective Data Race Detection for CUDA
14:20 - 14:40
PLDI Research Papers
Fast Atomicity Monitoring
14:40 - 15:00
PLDI Research Papers
Kuiper: Correct and Efficient GPU Programming with Dependent Types and ...
15:50 - 16:10
PLDI Research Papers
Modular GPU Programming with Typed Perspectives
16:10 - 16:30
PLDI Research Papers
[TOPLAS] StreamAlloc: A Framework for Analyzing and Transforming CUDA C ...
16:30 - 16:50
PLDI Research Papers
SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup ...
16:50 - 17:10
PLDI Research Papers
Uniformity Analysis in the WebGPU Shading Language
17:10 - 17:30

Thu 18 Jun

Displayed time zone: Mountain Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Flatirons 3
PLDI Research Papers
Decoupling Data Layouts from Bounding Volume Hierarchies
10:30 - 10:50
PLDI Research Papers
Contextual Embeddings: Implementing Bound Variables through Instance Re ...
10:50 - 11:10
PLDI Research Papers
CoTenN: Constrained Optimization with Tensor Networks
11:10 - 11:30
PLDI Research Papers
Diagramming Program Values by Spatial Refinement
11:30 - 11:50
PLDI Research Papers
Persistent Iterators with Value Semantics
11:50 - 12:10
PLDI Research Papers
Supermartingales for Unique Fixed Points: A Unified Approach to Lower B ...
13:40 - 14:00
PLDI Research Papers
A Formally Verified Foundation for Compositional Heterogeneous Coherence
14:00 - 14:20
PLDI Research Papers
SuperDP: Differential Privacy Refutation via Supermartingales
14:20 - 14:40
PLDI Research Papers
Modular Verification of Differential Privacy in Probabilistic Higher-Or ...
14:40 - 15:00

Fri 19 Jun

Displayed time zone: Mountain Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Flatirons 3
PLDI Research Papers
Let It Flow: A Formally Verified Compilation Framework for Asynchronous ...
10:30 - 10:50
PLDI Research Papers
Compiling to Recurrent Neurons
10:50 - 11:10
PLDI Research Papers
[TOPLAS] Denotation-based Compositional Compiler Verification
11:10 - 11:30
PLDI Research Papers
Responsive Parallelism with Dynamic and First-Class Priorities
11:30 - 11:50
PLDI Research Papers
Escape with Your Self: Sound and Expressive Bidirectional Typing with A ...
11:50 - 12:10
PLDI Research Papers
[SIGPLAN] Probabilistic Inference for Datalog with Correlated Inputs
13:40 - 14:00
PLDI Research Papers
A Hierarchy of Supermartingales for ω-Regular Verification
14:00 - 14:20
PLDI Research Papers
Incremental Density Calculation for Efficient Programmable Inference in ...
14:20 - 14:40
PLDI Research Papers
GradInf: Gradient Estimation as Probabilistic Inference
14:40 - 15:00
PLDI Research Papers
Categorical Semantics of Probabilistic Symbolic Execution
15:00 - 15:20
PLDI Research Papers
Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
15:50 - 16:10
PLDI Research Papers
TreeCoder: Systematic Exploration and Optimisation of Decoding and Cons ...
16:10 - 16:30
PLDI Research Papers
[TOPLAS] Guiding LLM-based Loop Invariant Synthesis via Feedback on Loc ...
16:30 - 16:50
PLDI Research Papers
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs
16:50 - 17:10