Flatirons 4 - PLDI 2026

VenueLimelight Boulder

Room nameFlatirons 4

Floor1

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-06:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-06:00) Mountain Time (US & Canada)Select 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 15 Jun
Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:10	Intro and Position papers 1PROPL at Flatirons 4

09:00 40m Talk		Introduction PROPL Cyrus Omar University of Michigan, Anil Madhavapeddy University of Cambridge, UK, Dominic Orchard University of Cambridge; University of Kent, KC Sivaramakrishnan IIT Madras and Tarides
09:40 30m Talk		Marrying engineering rigor & scientific rigor for the planet PROPL Deepak Cherian Earthmover PBC

10:40 - 12:20	Position papers 2PROPL at Flatirons 4

10:40 30m Talk		A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling PROPL William S. Moses University of Illinois Urbana-Champaign, Gong Cheng Dartmouth College, Valentin Churavy Johannes Gutenberg University, Mainz & University of Augsburg, Maximilian Gelbrecht Technical University of Munich & Potsdam Institute for Climate Impact Research, Milan Klower University of Oxford, Joseph Kump UT Austin, Mathieu Morlighem Dartmouth College, Sarah Williamson UT Austin, Dhruv Apte UT Austin, Paul Berg Aeolus Labs, Mosè Giordano UCL, Chris Hill MIT, Nora Loose [C]Worthy, Alexis Montoison Argonne National Laboratory, Sri Hari Krishna Narayanan Argonne National Laboratory, Avik Pal MIT, Michel Schanen Argonne National Laboratory, Simone Silvestri Politecnico di Torino, Greg Wagner MIT; Aeolus Labs, Patrick Heimbach UT Austin
11:10 30m Talk		Mind the Gap: General-Purpose Programming Languages Impede Scientific Model Development and Communication PROPL Dominic Orchard University of Cambridge; University of Kent
11:40 30m Talk		The Basic Model Interface (BMI) PROPL Mark D Piper University of Colorado Boulder, Eric WH Hutton University of Colorado Boulder, Gregory E Tucker University of Colorado Boulder

13:40 - 15:20	ActionPROPL at Flatirons 4

13:40 20m Meeting		Guided discussion planning PROPL
14:00 30m Meeting		User experience discussion PROPL
14:30 30m Talk		Programming model discussion PROPL
15:00 20m Meeting		Interoperability discussion PROPL

15:50 - 17:20	Action PROPL at Flatirons 4

15:50 20m Meeting		Scaling discussion PROPL
16:10 30m Meeting		AI discussion PROPL
16:40 30m Meeting		Sociotechnical factors, driving adoption PROPL
17:10 10m Meeting		Next steps and action plan PROPL

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

09:00 - 10:10	KeynoteSOAP at Flatirons 4 Chair(s): Debasmita Lohar IT University of Copenhagen

09:00 10m Day opening		Welcome and Opening Remarks SOAP
09:10 60m Keynote		How Context-Sensitive Static Analysis Led to the Best Smart Contract Decompiler SOAP Yannis Smaragdakis University of Athens

10:40 - 12:00	SOAP 1SOAP at Flatirons 4 Chair(s): Jie Zhou The George Washington University

10:40 20m Talk		Exploring Locally Bounded Translation Validation SOAP Alborz Jelvani Rutgers University, Richard P. Martin Rutgers University, Santosh Nagarakatte Rutgers University
11:00 20m Talk		Ravencheck: Effectively-Propositional Reasoning for Rust SOAP Kunha Kim University of Colorado Boulder, Nicholas V. Lewchenko University of Colorado Boulder, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Gowtham Kaki University of Colorado at Boulder
11:20 20m Talk		Compile-Time Java Stream Fusion via mapMulti SOAP Yegor Bugayenko Huawei, Maxim Trunnikov Huawei, Vladimir Zakharov Huawei
11:40 20m Talk		Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection SOAP Rishipal Singh Bhatia Google

14:00 - 15:20	SOAP 2SOAP at Flatirons 4

14:00 60m Keynote		Compositional Data-Flow Analysis at Industrial Scale SOAP Michael Emmi Amazon Web Services
15:00 20m Talk		Scaling Static Code Analysis Adoption at WhatsApp iOS SOAP Ákos Hajdu Meta, Jorge Mendez Meta, Sander van Valkenburg Meta, Artem Kupriianets Meta, Matteo Marescotti Meta, Dulma Churchill Meta, Sopot Cela Meta

15:50 - 18:00	SOAP 3SOAP at Flatirons 4

15:50 60m Keynote		Compiler-assisted Translation Validation SOAP Qirun Zhang Georgia Institute of Technology
16:50 20m Talk		On the Effectiveness of Modular Testing in EvoSuite SOAP Elizabeth Dinella Bryn Mawr College
17:10 20m Talk		LLM-Integrated Declarative Program Analysis SOAP Sara Baradaran University of Southern California, Amirmohammad Nazari University of Southern California, Mukund Raghothaman University of Southern California
17:30 20m Talk		Detecting Data Leaks in Multi-User LLM Apps via Automated User-Scoped Taint Analysis SOAP Sanjib Kumar Sen Texas A&M University - Corpus Christi, Bozhen Liu Texas A&M University - Corpus Christi
17:50 10m Day closing		Closing Remarks SOAP

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

11:00 - 12:40	Quantum ComputingPLDI Research Papers at Flatirons 4

11:00 20m Talk		Verification of Recursively Defined Quantum CircuitsDistinguished Paper PLDI Research Papers Mingsheng Ying University of Technology Sydney, Zhicheng Zhang University of Technology Sydney DOI
11:20 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:40 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
12:00 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
12:20 20m Talk		Cobble: Compiling Block Encodings for Quantum Computational Linear AlgebraDistinguished Paper PLDI Research Papers Charles Yuan University of Wisconsin-Madison DOI

14:00 - 15:40	Static Analysis 1PLDI Research Papers at Flatirons 4

14:00 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 Pre-print
14:20 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:40 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
15:00 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

16:10 - 17:50	Type SystemsPLDI Research Papers at Flatirons 4

16:10 20m Talk		[SIGPLAN PLDI’25] Probabilistic Refinement Session Types PLDI Research Papers Qiancheng Fu Boston University, Ankush Das Boston University, Marco Gaboardi Boston University
16:30 20m Talk		[SIGPLAN OOPSLA’25] 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:50 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
17:10 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:30 20m Talk		Syntactic Implicit Parameters with Static Overloading PLDI Research Papers Daan Leijen Microsoft Research, Tim Whiting Brigham Young University DOI Pre-print

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

11:00 - 12:40	Semantics and Hyperproperty ReasoningPLDI Research Papers at Flatirons 4

11:00 20m Talk		Towards Removing Undef Values from LLVM IRDistinguished Paper PLDI Research Papers Pedro Lobo INESC-ID; Instituto Superior Técnico - University of Lisbon, John McIver Virginia Tech, George Mitenkov Aptos, Juneyoung Lee AWS, Kirshanthan Sundararajah Virginia Tech, Nuno P. Lopes INESC-ID; Instituto Superior Técnico - University of Lisbon DOI Pre-print
11:20 20m Talk		The Downgrading Semantics of Memory Safety PLDI Research Papers René Rydhof Hansen Aalborg University, Andreas Stenbæk Larsen Aarhus University, Aslan Askarov Aarhus University DOI
11:40 20m Talk		Causality and Semantic Separation PLDI Research Papers Anna Zhang Massachusetts Institute of Technology, Qinglan Luo Wellesley College; Massachusetts Institute of Technology, London Bielicke University of California at Los Angeles, Eunice Jun University of California at Los Angeles, Adam Chlipala Massachusetts Institute of Technology DOI
12:00 20m Talk		Hyper Separation Logic PLDI Research Papers Trayan Gospodinov INSAIT at Sofia University St. Kliment Ohridski, Peter Müller ETH Zurich, Thibault Dardinier EPFL DOI
12:20 20m Talk		Pantomime: Constructive Leakage Proofs via Simulation PLDI Research Papers Robin Webbers Vrije Universiteit Amsterdam, Robert Schenck Northeastern University, Wind Wong Vrije Universiteit Amsterdam, Kristina Sojakova Vrije Universiteit Amsterdam, Klaus von Gleissenthall Vrije Universiteit Amsterdam DOI

14:00 - 15:20	Equality SaturationPLDI Research Papers at Flatirons 4

14:00 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 Pre-print
14:20 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 The Chinese University of Hong Kong, Shenzhen, Jonathan Balkind University of California at Santa Barbara, Gus Henry Smith Southmountain Research DOI
14:40 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
15:00 20m Talk		Fungible Memories for Automated Technology Mapping and Retargeting PLDI Research Papers Zachary D. Sisco The Chinese University of Hong Kong, Shenzhen, Sijie Kong University of California at Santa Barbara, Daniel Ruelas-Petrisko University of Washington, Jingtao Xia University of California at Santa Barbara, Julian Springer Technische Universität 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:50 - 17:50	SRC Finalist TalksStudent Research Competition at Flatirons 4

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

11:00 - 12:40	Compiler Optimization for AcceleratorsPLDI Research Papers at Flatirons 4

11:00 20m Talk		Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels PLDI Research Papers Abhinav Jangda Microsoft Research DOI
11:20 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:40 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 (Guangzhou), Wei Zhang Hong Kong University of Science and Technology, Cheng Tan Google; Arizona State University DOI
12:00 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
12:20 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

14:00 - 15:40	Rust Translation and BorrowingPLDI Research Papers at Flatirons 4

14:00 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:20 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:40 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
15:00 20m Talk		VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type SystemDistinguished Paper PLDI Research Papers Travis Hance MPI-SWS, Laila Elbeheiry MPI-SWS, Yusuke Matsushita Kyoto University, Derek Dreyer MPI-SWS DOI
15:20 20m Talk		Pure Borrow: Linear Haskell Meets Rust-Style Borrowing PLDI Research Papers Yusuke Matsushita Kyoto University, Hiromi Ishii JIJ DOI Pre-print

16:10 - 17:30	Runtime Memory and Control AbstractionsPLDI Research Papers at Flatirons 4

16:10 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:30 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:50 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
17:10 20m Talk		Virtualizing Continuations PLDI Research Papers Cong Ma University of Waterloo, Jonghyun Jung University of Waterloo, Yizhou Zhang University of Waterloo DOI

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Flatirons 4	PROPL Intro and Position papers 1																				PROPL Position papers 2																																				PROPL Action																										PROPL Action

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Flatirons 4	SOAP Keynote																				SOAP SOAP 1																																								SOAP SOAP 2																						SOAP SOAP 3

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Flatirons 4	PLDI Research Papers Quantum Computing																																				PLDI Research Papers Static Analysis 1																										PLDI Research Papers Type Systems

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Flatirons 4	PLDI Research Papers Semantics and Hyperproperty Reasoning																																				PLDI Research Papers Equality Saturation																						Student Research Competition SRC Finalist Talks

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Flatirons 4	PLDI Research Papers Compiler Optimization for Accelerators																																				PLDI Research Papers Rust Translation and Borrowing																										PLDI Research Papers Runtime Memory and Control Abstractions

Mon 15 Jun
Displayed time zone: Mountain Time (US & Canada) 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
Flatirons 4	PROPL Introduction 09:00 - 09:40								PROPL Marrying engineering rigor & scientific rigor for the planet 09:40 - 10:10												PROPL A Compiler-First Planetary Compute Engine: Automatic differentiable and ... 10:40 - 11:10						PROPL Mind the Gap: General-Purpose Programming Languages Impede Scientific M ... 11:10 - 11:40						PROPL The Basic Model Interface (BMI) 11:40 - 12:10																								PROPL Guided discussion planning 13:40 - 14:00				PROPL User experience discussion 14:00 - 14:30						PROPL Programming model discussion 14:30 - 15:00						PROPL Interoperability discussion 15:00 - 15:20										PROPL Scaling discussion 15:50 - 16:10				PROPL AI discussion 16:10 - 16:40						PROPL Sociotechnical factors, driving adoption 16:40 - 17:10						PROPL Next steps and action plan 17:10 - 17:20

Tue 16 Jun
Displayed time zone: Mountain Time (US & Canada) 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
Flatirons 4	SOAP Welcome and Opening Remarks 09:00 - 09:10		SOAP How Context-Sensitive Static Analysis Led to the Best Smart Contract De ... 09:10 - 10:10																		SOAP Exploring Locally Bounded Translation Validation 10:40 - 11:00				SOAP Ravencheck: Effectively-Propositional Reasoning for Rust 11:00 - 11:20				SOAP Compile-Time Java Stream Fusion via mapMulti 11:20 - 11:40				SOAP Conditional Execution of Transpiler Passes Based on Per-Script Feature ... 11:40 - 12:00																												SOAP Compositional Data-Flow Analysis at Industrial Scale 14:00 - 15:00												SOAP Scaling Static Code Analysis Adoption at WhatsApp iOS 15:00 - 15:20										SOAP Compiler-assisted Translation Validation 15:50 - 16:50												SOAP On the Effectiveness of Modular Testing in EvoSuite 16:50 - 17:10				SOAP LLM-Integrated Declarative Program Analysis 17:10 - 17:30				SOAP Detecting Data Leaks in Multi-User LLM Apps via Automated User-Scoped T ... 17:30 - 17:50				SOAP Closing Remarks 17:50 - 18:00

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


Room	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
Flatirons 4	PLDI Research PapersDistinguished Paper Verification of Recursively Defined Quantum Circuits 11:00 - 11:20				PLDI Research Papers SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning ab ... 11:20 - 11:40				PLDI Research Papers Hybrid Path-Sums for Hybrid Quantum Programs 11:40 - 12:00				PLDI Research Papers [TOPLAS] VyZX: Formal Verification of a Graphical Quantum Language 12:00 - 12:20				PLDI Research PapersDistinguished Paper Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra 12:20 - 12:40																				PLDI Research Papers Flow-Analysis-Based Closure Optimization 14:00 - 14:20				PLDI Research Papers SSA without Dominance for Higher-Order Programs 14:20 - 14:40				PLDI Research Papers Analyzing Bytes: Pre-Disassembly Static Binary Analysis 14:40 - 15:00				PLDI Research Papers Exploiting Sophisticated Static Analysis for Verilog 15:00 - 15:20														PLDI Research Papers [SIGPLAN PLDI’25] Probabilistic Refinement Session Types 16:10 - 16:30				PLDI Research Papers [SIGPLAN OOPSLA’25] Complete the Cycle: Reachability Types with Express ... 16:30 - 16:50				PLDI Research Papers Backwards-Compatible Row-Based Exceptions in ML 16:50 - 17:10				PLDI Research Papers Typestate via Revocable Capabilities 17:10 - 17:30				PLDI Research Papers Syntactic Implicit Parameters with Static Overloading 17:30 - 17:50

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


Room	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
Flatirons 4	PLDI Research PapersDistinguished Paper Towards Removing Undef Values from LLVM IR 11:00 - 11:20				PLDI Research Papers The Downgrading Semantics of Memory Safety 11:20 - 11:40				PLDI Research Papers Causality and Semantic Separation 11:40 - 12:00				PLDI Research Papers Hyper Separation Logic 12:00 - 12:20				PLDI Research Papers Pantomime: Constructive Leakage Proofs via Simulation 12:20 - 12:40																				PLDI Research Papers Versioned E-Graphs 14:00 - 14:20				PLDI Research Papers Improving Equality Saturation for EDA via Semantic E-Graphs 14:20 - 14:40				PLDI Research Papers Equality Saturation for Quantum Circuit Optimization 14:40 - 15:00				PLDI Research Papers Fungible Memories for Automated Technology Mapping and Retargeting 15:00 - 15:20

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


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

Room information: Flatirons 4

This program is tentative and subject to change.

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

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

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

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

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

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

PROPL

PROPL

PROPL

PROPL

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

SOAP

SOAP

SOAP

SOAP

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

PLDI Research Papers

PLDI Research Papers

Student Research Competition

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

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

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

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

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

Tracks

Co-hosted Conferences

Workshops

Room information: Flatirons 4

This program is tentative and subject to change.

Program Display Configuration

Mon 15 JunDisplayed time zone: Mountain Time (US & Canada) change

Tue 16 JunDisplayed time zone: Mountain Time (US & Canada) change

Wed 17 JunDisplayed time zone: Mountain Time (US & Canada) change

Thu 18 JunDisplayed time zone: Mountain Time (US & Canada) change

Fri 19 JunDisplayed time zone: Mountain Time (US & Canada) change

Mon 15 JunDisplayed time zone: Mountain Time (US & Canada) change

PROPL

PROPL

PROPL

PROPL

Tue 16 JunDisplayed time zone: Mountain Time (US & Canada) change

SOAP

SOAP

SOAP

SOAP

Wed 17 JunDisplayed time zone: Mountain Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Thu 18 JunDisplayed time zone: Mountain Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

Student Research Competition

Fri 19 JunDisplayed time zone: Mountain Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Mon 15 JunDisplayed time zone: Mountain Time (US & Canada) change

Tue 16 JunDisplayed time zone: Mountain Time (US & Canada) change

Wed 17 JunDisplayed time zone: Mountain Time (US & Canada) change

Thu 18 JunDisplayed time zone: Mountain Time (US & Canada) change

Fri 19 JunDisplayed time zone: Mountain Time (US & Canada) change

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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