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

Room information: Flatirons 4

VenueLimelight Boulder
Room nameFlatirons 4
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
Quantum ComputingPLDI Research Papers at Flatirons 4
10:30
20m
Talk
Verification of Recursively Defined Quantum Circuits
PLDI Research Papers
Mingsheng Ying University of Technology Sydney, Zhicheng Zhang University of Technology Sydney
DOI
10:50
20m
Talk
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
PLDI Research Papers
Nengkun Yu Stony Brook University, Jens Palsberg University of California at Los Angeles, Thomas Reps University of Wisconsin-Madison
DOI
11:10
20m
Talk
Hybrid Path-Sums for Hybrid Quantum Programs
PLDI Research Papers
Christopĥe Chareton CEA List - Université Paris-Saclay, Sébastien Bardin CEA List - Université Paris-Saclay, Jad Issa CEA List - Université Paris-Saclay, Mathieu Nguyen CEA List - Université Paris-Saclay, Nicolas Blanco CEA List - Université Paris-Saclay
DOI
11:30
20m
Talk
[TOPLAS] VyZX: Formal Verification of a Graphical Quantum Language
PLDI Research Papers
Adrian Lehmann University of Chicago, Ben Caldwell University of Chicago, A: Bhakti Shah , William Spencer , Robert Rand University of Chicago
11:50
20m
Talk
Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
PLDI Research Papers
Charles Yuan University of Wisconsin-Madison
DOI
13:40 - 15:20
Static AnalysisPLDI Research Papers at Flatirons 4
13:40
20m
Talk
Flow-Analysis-Based Closure Optimization
PLDI Research Papers
John Reppy University of Chicago, Olin Shivers Northeastern University, Byron Zhong University of Chicago
DOI
14:00
20m
Talk
SSA without Dominance for Higher-Order Programs
PLDI Research Papers
Roland Leißa University of Göttingen, Johannes Griebler University of Göttingen
DOI Pre-print
14:20
20m
Talk
Analyzing Bytes: Pre-Disassembly Static Binary Analysis
PLDI Research Papers
Huan Nguyen Google, Soumyakant Priyadarshan Stony Brook University, Chencheng Jiang Stony Brook University, R. Sekar Stony Brook University
DOI
14:40
20m
Talk
Exploiting Sophisticated Static Analysis for Verilog
PLDI Research Papers
Qinlin Chen Nanjing University, Nairen Zhang Nanjing University, Jinpeng Wang Nanjing University, Jiacai Cui Nanjing University, Tian Tan Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Jian Lu Nanjing University, Yue Li Nanjing University
DOI
15:00
20m
Talk
Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity
PLDI Research Papers
Jiayi Wang Nanjing University, Yu Wang Nanjing University, Linzhang Wang Nanjing University, Ke Wang Nanjing University
DOI
15:50 - 17:30
Advanced Type Systems for Effects and ConcurrencyPLDI Research Papers at Flatirons 4
15:50
20m
Talk
[SIGPLAN] Probabilistic Refinement Session Types
PLDI Research Papers
Qiancheng Fu Boston University, Ankush Das Boston University, Marco Gaboardi Boston University
16:10
20m
Talk
[SIGPLAN] Complete the Cycle: Reachability Types with Expressive Cyclic References
PLDI Research Papers
Haotian Deng Purdue University, Siyuan He Purdue University, Songlin Jia Purdue University, Yuyan Bao Augusta University, Tiark Rompf Purdue University
16:30
20m
Talk
Backwards-Compatible Row-Based Exceptions in ML
PLDI Research Papers
Simcha van Collem Radboud University Nijmegen, Paulo Emílio de Vilhena Imperial College London, Robbert Krebbers Radboud University Nijmegen
DOI
16:50
20m
Talk
Typestate via Revocable Capabilities
PLDI Research Papers
Songlin Jia Purdue University, Craig Liu Purdue University, Siyuan He Purdue University, Haotian Deng Purdue University, Yuyan Bao Augusta University, Tiark Rompf Purdue University
DOI
17:10
20m
Talk
Syntactic Implicit Parameters with Static Overloading
PLDI Research Papers
Daan Leijen Microsoft Research, Tim Whiting Brigham Young University
DOI

Thu 18 Jun

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

10:30 - 12:10
Generative Testing and Program SynthesisPLDI Research Papers at Flatirons 4
10:30
20m
Talk
[SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
PLDI Research Papers
Yile Gu University of Washington, Ian Neal University of Michigan and Veridise, Jiexiao Xu University of Washington, Shaun Christopher Lee University of Washington, Ayman Said University of Michigan, Musa Haydar University of Michigan, Jacob Van Geffen , Andrew Quinn University of California at Santa Cruz, Baris Kasikci University of Washington
10:50
20m
Talk
Trace-Guided Synthesis of Effectful Test Generators
PLDI Research Papers
Zhe Zhou Purdue University, Ankush Desai Snowflake, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
DOI
11:10
20m
Talk
Semantic Reification: A New Paradigm for Random Program Generation
PLDI Research Papers
Kavya Chopra ETH Zurich, Cong Li ETH Zurich, Thodoris Sotiropoulos ETH Zurich, Zhendong Su ETH Zurich
DOI
11:30
20m
Talk
Enumerating Ill-Typed Programs for Testing Type Analyzers
PLDI Research Papers
Thodoris Sotiropoulos ETH Zurich, Zhendong Su ETH Zurich
DOI
11:50
20m
Talk
The Search for Constrained Random Generators
PLDI Research Papers
Harrison Goldstein SUNY Buffalo, Hila Peleg Technion, Cassia Torczon University of Pennsylvania, Daniel Sainati University of Pennsylvania, Leonidas Lampropoulos University of Maryland at College Park, Benjamin C. Pierce University of Pennsylvania
DOI
13:40 - 15:20
Equality Saturation for OptimizationPLDI Research Papers at Flatirons 4
13:40
20m
Talk
Versioned E-Graphs
PLDI Research Papers
Jahrim Gabriele Cesario University of St. Gallen, George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
DOI
14:00
20m
Talk
Improving Equality Saturation for EDA via Semantic E-Graphs
PLDI Research Papers
Sijie Kong University of California at Santa Barbara, Jingtao Xia University of California at Santa Barbara, Daniel Ruelas-Petrisko University of Washington, Zachary D. Sisco Chinese University of Hong Kong, Jonathan Balkind University of California at Santa Barbara, Gus Henry Smith Southmountain Research
DOI
14:20
20m
Talk
Equality Saturation for Quantum Circuit Optimization
PLDI Research Papers
Ganxiang Yang Columbia University, Paige Raun University of Maryland, Runzhou Tao University of Maryland, Ronghui Gu Columbia University; CertiK
DOI
14:40
20m
Talk
Fungible Memories for Automated Technology Mapping and Retargeting
PLDI Research Papers
Zachary D. Sisco Chinese University of Hong Kong, Sijie Kong University of California at Santa Barbara, Daniel Ruelas-Petrisko University of Washington, Jingtao Xia University of California at Santa Barbara, Julian Springer TU Berlin, Varun Rao University of California at Berkeley, Spencer Wang University of California at Santa Barbara, Gus Henry Smith Southmountain Research, Ben Hardekopf University of California at Santa Barbara, Jonathan Balkind University of California at Santa Barbara
DOI
15:00
20m
Talk
Redundant Array Computation Elimination
PLDI Research Papers
Zixuan Wang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Liang Yuan Institute of Computing Technology at Chinese Academy of Sciences, Xianmeng Jiang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Kun Li Institute of Computing Technology at Chinese Academy of Sciences, Junmin Xiao Institute of Computing Technology at Chinese Academy of Sciences, Yunquan Zhang Institute of Computing Technology at Chinese Academy of Sciences
DOI

Fri 19 Jun

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

10:30 - 12:10
Compiler Optimization for AcceleratorsPLDI Research Papers at Flatirons 4
10:30
20m
Talk
Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels
PLDI Research Papers
Abhinav Jangda Microsoft Research
DOI
10:50
20m
Talk
Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
PLDI Research Papers
Amir K. Goharshady University of Oxford, Kerim Kochekov Hong Kong University of Science and Technology, Tian Shu Hong Kong University of Science and Technology, Ahmed Khaled Zaher Hong Kong University of Science and Technology
DOI
11:10
20m
Talk
NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
PLDI Research Papers
Shangkun Li Hong Kong University of Science and Technology, Jinming Ge Hong Kong University of Science and Technology, Diyuan Tao Independent Researcher, Zeyu Li Hong Kong University of Science and Technology, Jiawei Liang Hong Kong University of Science and Technology, Linfeng Du Hong Kong University of Science and Technology, Jiang Xu Hong Kong University of Science and Technology, Wei Zhang Hong Kong University of Science and Technology, Cheng Tan Google; Arizona State University
DOI
11:30
20m
Talk
Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
PLDI Research Papers
Yifan Zhao University of Illinois Urbana-Champaign, Egan Johnson University of Illinois Urbana-Champaign, Prasanth Chatarasi IBM Research, Vikram S. Adve University of Illinois Urbana-Champaign, Sasa Misailovic University of Illinois Urbana-Champaign
DOI
11:50
20m
Talk
SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs
PLDI Research Papers
Zhen Du Institute of Computing Technology at Chinese Academy of Sciences, Ying Liu Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Xionghui Chen Nanjing University, Yanbo Zhao North Carolina State University, Xiaobing Feng Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Huimin Cui Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jiajia Li North Carolina State University
DOI
13:40 - 15:20
Rust Translation and BorrowingPLDI Research Papers at Flatirons 4
13:40
20m
Talk
Cpp2Rust: Automatic Translation of C++ to Safe Rust
PLDI Research Papers
Lucian Popescu INESC-ID; Instituto Superior Técnico - University of Lisbon, Francisco Gouveia INESC-ID; Instituto Superior Técnico - University of Lisbon, Henrique Preto INESC-ID; Instituto Superior Técnico - University of Lisbon, João Silveira INESC-ID; Instituto Superior Técnico - University of Lisbon, Dmytro Hrybenko Google, José Fragoso Santos INESC-ID; Instituto Superior Técnico - University of Lisbon, Nuno P. Lopes INESC-ID; Instituto Superior Técnico - University of Lisbon
DOI Pre-print
14:00
20m
Talk
&inator: Correct, Precise C-to-Rust Interface Translation
PLDI Research Papers
Victor Chen Ohio State University, Ayden Coughlin Ohio State University, Michael D. Bond Ohio State University
DOI Pre-print
14:20
20m
Talk
Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust
PLDI Research Papers
Haoran Peng University of Washington, Baris Kasikci University of Washington, Gilbert Louis Bernstein University of Washington, Michael D. Ernst University of Washington
DOI Pre-print
14:40
20m
Talk
VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System
PLDI Research Papers
Travis Hance MPI-SWS, Laila Elbeheiry MPI-SWS, Yusuke Matsushita Kyoto University, Derek Dreyer MPI-SWS
DOI
15:00
20m
Talk
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
PLDI Research Papers
Yusuke Matsushita Kyoto University, Hiromi Ishii JIJ
DOI
15:50 - 17:10
Runtime Memory and Control AbstractionsPLDI Research Papers at Flatirons 4
15:50
20m
Talk
Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages
PLDI Research Papers
Jeonghyeon Kim KAIST, Jongse Park KAIST, Youngjin Kwon KAIST, Jeehoon Kang FuriosaAI
DOI Pre-print
16:10
20m
Talk
Dynamically Checked Deep Immutability in Python
PLDI Research Papers
Fridtjof Stoldt Uppsala University, Sylvan Clebsch Microsoft Azure Research, Matthew A. Johnson Microsoft Azure Research, Matthew J. Parkinson Microsoft Azure Research, Tobias Wrigstad Uppsala University
DOI
16:30
20m
Talk
FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
PLDI Research Papers
Iacovos G. Kolokasis Foundation for Research and Technology Hellas; University of Crete, Shoaib Akram Australian National University, Foivos Zakkak Red Hat, Polyvios Pratikakis Foundation for Research and Technology Hellas; University of Crete, Angelos Bilas Foundation for Research and Technology Hellas; University of Crete
DOI
16:50
20m
Talk
Virtualizing Continuations
PLDI Research Papers
Cong Ma University of Waterloo, Jonghyun Jung University of Waterloo, Yizhou Zhang University of Waterloo
DOI

Tue 16 Jun

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

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

PLMW @ PLDI

PLMW @ PLDI

Wed 17 Jun

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

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

PLDI Research Papers

Quantum Computing

PLDI Research Papers

Static Analysis

PLDI Research Papers

Advanced Type Systems for Effects and Concurrency

Thu 18 Jun

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

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

PLDI Research Papers

Generative Testing and Program Synthesis

PLDI Research Papers

Equality Saturation for Optimization

Fri 19 Jun

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

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

PLDI Research Papers

Compiler Optimization for Accelerators

PLDI Research Papers

Rust Translation and Borrowing

PLDI Research Papers

Runtime Memory and Control Abstractions

Wed 17 Jun

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Flatirons 4
PLDI Research Papers
Verification of Recursively Defined Quantum Circuits
10:30 - 10:50
PLDI Research Papers
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning ab ...
10:50 - 11:10
PLDI Research Papers
Hybrid Path-Sums for Hybrid Quantum Programs
11:10 - 11:30
PLDI Research Papers
[TOPLAS] VyZX: Formal Verification of a Graphical Quantum Language
11:30 - 11:50
PLDI Research Papers
Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
11:50 - 12:10
PLDI Research Papers
Flow-Analysis-Based Closure Optimization
13:40 - 14:00
PLDI Research Papers
SSA without Dominance for Higher-Order Programs
14:00 - 14:20
PLDI Research Papers
Analyzing Bytes: Pre-Disassembly Static Binary Analysis
14:20 - 14:40
PLDI Research Papers
Exploiting Sophisticated Static Analysis for Verilog
14:40 - 15:00
PLDI Research Papers
Bridging Coverage and Confidence: Reliable Static False Alarm Eliminati ...
15:00 - 15:20
PLDI Research Papers
[SIGPLAN] Probabilistic Refinement Session Types
15:50 - 16:10
PLDI Research Papers
[SIGPLAN] Complete the Cycle: Reachability Types with Expressive Cyclic ...
16:10 - 16:30
PLDI Research Papers
Backwards-Compatible Row-Based Exceptions in ML
16:30 - 16:50
PLDI Research Papers
Typestate via Revocable Capabilities
16:50 - 17:10
PLDI Research Papers
Syntactic Implicit Parameters with Static Overloading
17:10 - 17:30

Thu 18 Jun

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Flatirons 4
PLDI Research Papers
[SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Tes ...
10:30 - 10:50
PLDI Research Papers
Trace-Guided Synthesis of Effectful Test Generators
10:50 - 11:10
PLDI Research Papers
Semantic Reification: A New Paradigm for Random Program Generation
11:10 - 11:30
PLDI Research Papers
Enumerating Ill-Typed Programs for Testing Type Analyzers
11:30 - 11:50
PLDI Research Papers
The Search for Constrained Random Generators
11:50 - 12:10
PLDI Research Papers
Versioned E-Graphs
13:40 - 14:00
PLDI Research Papers
Improving Equality Saturation for EDA via Semantic E-Graphs
14:00 - 14:20
PLDI Research Papers
Equality Saturation for Quantum Circuit Optimization
14:20 - 14:40
PLDI Research Papers
Fungible Memories for Automated Technology Mapping and Retargeting
14:40 - 15:00
PLDI Research Papers
Redundant Array Computation Elimination
15:00 - 15:20

Fri 19 Jun

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Flatirons 4
PLDI Research Papers
Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA K ...
10:30 - 10:50
PLDI Research Papers
Parameterized Algorithms and Complexity for Function Merging with Branc ...
10:50 - 11:10
PLDI Research Papers
NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grai ...
11:10 - 11:30
PLDI Research Papers
Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
11:30 - 11:50
PLDI Research Papers
SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV ...
11:50 - 12:10
PLDI Research Papers
Cpp2Rust: Automatic Translation of C++ to Safe Rust
13:40 - 14:00
PLDI Research Papers
&inator: Correct, Precise C-to-Rust Interface Translation
14:00 - 14:20
PLDI Research Papers
Hayroll: A Modular Wrapper for Translating C Macros and Conditional Com ...
14:20 - 14:40
PLDI Research Papers
VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions ...
14:40 - 15:00
PLDI Research Papers
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
15:00 - 15:20
PLDI Research Papers
Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage ...
15:50 - 16:10
PLDI Research Papers
Dynamically Checked Deep Immutability in Python
16:10 - 16:30
PLDI Research Papers
FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
16:30 - 16:50
PLDI Research Papers
Virtualizing Continuations
16:50 - 17:10