Flatirons 3 - PLDI 2026

VenueLimelight Boulder

Room nameFlatirons 3

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 - 12:00	HELIONTutorials at Flatirons 3

09:00 3h Tutorial		Writing Performance-Portable Kernels Simplified with Helion Tutorials Jongsok Choi Meta, Jason Ansel Meta, Oguz Ulgen Meta, Ethan Che Meta

14:00 - 15:20	Session 1: Advanced Compiler TuningLCTES at Flatirons 3 Chair(s): Myeonggyun Han Kyungpook National University

14:00 10m Keynote		Opening Remarks LCTES Jeronimo Castrillon TU Dresden, Germany
14:10 22m Talk		RAPO: Retrieval-Augmented Phase Ordering LCTES Jinwook Yang Seoul National University, Junghyun Lee Seoul National University, South Korea, Yeonsun Hong Seoul National University, Hyojin Sung Seoul National University DOI
14:32 22m Talk		CausalTuner: Feature-Aware Causal Guidance for Compiler Auto-tuning LCTES Jiaqing Zhong National University of Defense Technology, Juan Chen College of Computer Science and Technology, National University of Defense Technology, China, Yichang Zhou National University of Defense Technology, Kuan Li Dongguan University of Technology DOI
14:54 22m Talk		Empirical Observations about Profile-Guided Optimizations for Mainstream C/C++ Compilers LCTES Soma Pal U. of Kansas, Prasad Kulkarni U. of Kansas DOI

15:50 - 17:10	Session 2: Binary Optimization & System SecurityLCTES at Flatirons 3 Chair(s): Prasad Kulkarni University of Kansas

15:50 22m Talk		DeduBB: Binary Code Size Reduction via Post-Link Basic Block Deduplication LCTES Chaitanya Mamatha Ananda University of California Riverside, Mahbod Afarin University of California, Riverside, Rajiv Gupta University of California at Riverside, Sriraman Tallam Google Inc., Han Shen Google Inc, Xinliang Li Google DOI
16:12 22m Talk		SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow Detection LCTES Yuanpeng Wang Peking University, Zhineng Zhong Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking University, Zhenkai Liang National University of Singapore, Ding Li Peking University, Yao Guo Peking University, Xiangqun Chen Peking University DOI
16:34 10m Short-paper		CVS: A Metric for Security-Aware Compilation against Side-Channel Attacks in Edge SoCs (WIP)RecordedRemote LCTES Yi Han College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, China, Puhong Lei Hunan Greatwall Galaxy Science and Technology Co.,Ltd Changsha, P.R. China, Yang Shi National University of Defense Technology, Zhe Li College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, China, Xing Mou College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, China, Jianjun Chen College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, China, Yaohua Wang College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, China DOI
16:44 10m Short-paper		A Programming Model for Efficient Inter-Kernel Control-Flow on Memory-Mapped Near-Data Processing Architecture (WIP) LCTES Seungheon Lee POSTECH, Wonhyuk Yang POSTECH, Seonyeong Heo Kyung Hee University, Gwangsun Kim POSTECH / Arm DOI
16:54 10m Short-paper		FLUX: Frequency Scaling with Layer-wise Utilization for Energy-Efficient NPU Execution (WIP) LCTES Inho Lee Hanyang University, Ky Yeop Lim , Hyejun Kim Yonsei University, Beomseok Kim Seoul National University, Dongsuk Jeon Seoul National University, Hunjun Lee Hanyang University, Yongjun Park Yonsei University DOI

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

09:00 - 10:10	Keynote SessionLCTES at Flatirons 3 Chair(s): Jeronimo Castrillon TU Dresden, Germany

09:00 70m Keynote		Practical Quantum Machine Learning: Overcoming the Bottlenecks of Scalability and Stability LCTES Aviral Shrivastava Arizona State University File Attached

10:40 - 12:20	Session 3: Formal Methods and Systems ReliabilityLCTES at Flatirons 3 Chair(s): Sanjiva Prasad Indian Institute of Technology Delhi

10:40 22m Talk		Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code LCTES Clément Chavanon Inria, Univ Rennes, CNRS, IRISA, Henrik Karlsson KTH Royal Institute of Technology, Frédéric Besson Univ Rennes, Inria, CNRS, IRISA, Sandrine Blazy University of Rennes, Roberto Guanciale KTH Royal Institute of Technology DOI
11:02 22m Talk		A Pointer-Ownership Model for C Inspired by Rust LCTES David Svoboda , William Klieber Software Engineering Institute, Carnegie Mellon University, Lori Flynn CERT, Ruben Martins Carnegie Mellon University, Jeffrey Hoskinson Software Engineering Institute, Carnegie Mellon University DOI
11:24 22m Talk		Hikami: A Lightweight Hypervisor for Emulating RISC-V Extension Semantics with Sail-Driven Auto-generation LCTES Norimasa Takana University of Tsukuba, Yoshihiro Oyama University of Tsukuba DOI
11:46 10m Short-paper		Scheduled Partial-Credit RL for Reliable Code Generation with Small Language Models (WIP) LCTES Suryansh Singh Sijwali The Pennsylvania State University, Suman Saha pc DOI

13:40 - 15:20	Session 4: Specialized Hardware and Accelerator DesignLCTES at Flatirons 3 Chair(s): Jongouk Choi University of Central Florida

13:40 22m Talk		Can Fine-Grain Multi-threading Subsume VLIW? LCTES Scott Pomerville Northern Michigan University, Soner Onder Michigan Technological University, Gang-Ryung Uh Florida State University, David Whalley Florida State University DOI
14:02 22m Talk		Sirop: A Small IR for HLS with Parallel Patterns LCTES Louis Hildebrand McGill University, Christophe Dubach McGill University DOI
14:24 22m Talk		A Functional Approach to Synthesizing Routable Programmable Accelerators for Neural Networks LCTES Tzung-Han Juang McGill University, Paul Teng McGill University, Canada, Christophe Dubach McGill University DOI
14:46 22m Talk		LoopHint: A Compiler-Assisted Loop Branch Predictor for Embedded DSPs LCTES Yuanyang Xiang Institute of Automation, Chinese Academy of Sciences, Chen Xu , xiaoruozhou Institute of Automation, Chinese Academy of Sciences, Zhiwei Zhang Institute of Automation, Chinese Academy of Sciences DOI

15:50 - 17:00	Session 5: Memory Efficiency and Control-Flow AnalysisLCTES at Flatirons 3 Chair(s): Sandrine Blazy University of Rennes

15:50 22m Talk		MemSpec: Memory-Aware Runtime for Adaptive Draft Scheduling in Speculative Decoding on Edge Devices LCTES Eunjeong Kim Kyungpook National University, Yeong Jun Jeon Kyungpook National University, Myeonggyun Han Kyungpook National University DOI
16:12 22m Talk		Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation LCTES Ruizhe Huang Peking University, Jiahua Wang Peking University, Qihang Xu Peking University, Peng Jiang Southeast University, Zhida An Peking University, Ding Li Peking University, Yao Guo Peking University, Xiangqun Chen Peking University, Yuxin Ren Huawei Technologies, Ning Jia Huawei Technologies DOI
16:34 22m Talk		On the Origins of Indirect Jumps in Embedded Software LCTES Ariane Nicolas Univ Rennes, Inria, CNRS, IRISA, Ronan Lashermes Rambus, Isabelle Puaut Université de Rennes - Inria - CNRS - IRISA, Erven Rohou Université de Rennes - Inria - CNRS - IRISA DOI
16:56 4m Talk		Closing Session LCTES Jeronimo Castrillon TU Dresden, Germany

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

11:00 - 12:40	Specification Synthesis and VerificationPLDI Research Papers at Flatirons 3 Chair(s): John Regehr University of Utah

11:00 20m Talk		[SIGPLAN OOPSLA’25] Counterexample-Guided Inference of Modular Specifications PLDI Research Papers William Hallahan Binghamton, Ranjit Jhala University of California at San Diego, Ruzica Piskac Yale University
11:20 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:40 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
12:00 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
12:20 20m Talk		Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles PLDI Research Papers Dongjae Lee KAIST, Kihong Heo KAIST DOI

14:00 - 15:40	ConcurrencyPLDI Research Papers at Flatirons 3 Chair(s): Shoaib Kamil Adobe

14:00 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 Pre-print
14:20 20m Talk		Fixed Parameter Tractable Linearizability Monitoring PLDI Research Papers Zheng Han Lee National University of Singapore, Umang Mathur National University of Singapore DOI Pre-print
14:40 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
15:00 20m Talk		Fast Atomicity Monitoring PLDI Research Papers Hünkar Can Tunç Uber, Yifan Dong Aarhus University, Andreas Pavlogiannis Aarhus University DOI

16:10 - 17:50	GPU ProgrammingPLDI Research Papers at Flatirons 3 Chair(s): Gilbert Louis Bernstein University of Washington

16:10 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 Pre-print
16:30 20m Talk		Modular GPU Programming with Typed PerspectivesDistinguished Paper 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:50 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
17:10 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 Pre-print
17:30 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

11:00 - 12:40	Domain-Specific LanguagesPLDI Research Papers at Flatirons 3 Chair(s): Qirun Zhang Georgia Institute of Technology

11:00 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
11:20 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 Pre-print
11:40 20m Talk		CoTenN: Constrained Optimization with Tensor Networks PLDI Research Papers Ritvik Sharma Stanford University, Cheng Peng Stanford Institute for Materials and Energy Sciences, SLAC National Accelerator Laboratory, Siddharth Dangwal University of Chicago, Sara Achour Stanford University DOI
12:00 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
12:20 20m Talk		Persistent Iterators with Value Semantics PLDI Research Papers Yihe Li National University of Singapore, Gregory J. Duck National University of Singapore DOI

14:00 - 15:20	Formal Verification of Probabilistic ProgramsPLDI Research Papers at Flatirons 3 Chair(s): Feras A. Saad Carnegie Mellon University

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

11:00 - 12:40	Verified Compilation and Type SystemsPLDI Research Papers at Flatirons 3 Chair(s): Charles Yuan University of Wisconsin-Madison

11:00 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
11:20 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:40 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
12:00 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
12:20 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

14:00 - 15:40	Probabilistic Inference and VerificationPLDI Research Papers at Flatirons 3 Chair(s): Đorđe Žikelić Singapore Management University

14:00 20m Talk		[SIGPLAN OOPSLA’25] 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:20 20m Talk		A Hierarchy of Supermartingales for ω-Regular Verification PLDI Research Papers Satoshi Kura Waseda University, Hiroshi Unno Tohoku University DOI
14:40 20m Talk		Incremental Computation 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
15:00 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:20 20m Talk		Categorical Semantics of Probabilistic Symbolic ExecutionDistinguished Paper PLDI Research Papers John Li Northeastern University, Jack Czenszak Yale University, Steven Holtzen Northeastern University DOI

16:10 - 17:30	PotpourriPLDI Research Papers at Flatirons 3 Chair(s): Cyrus Omar University of Michigan

16:10 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:30 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:50 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 Kunlunxin & UNSW Sydney, Xin Zhang Peking University
17:10 20m Talk		[SIGPLAN OOPSLA’25] Active Learning for Neurosymbolic Program Synthesis PLDI Research Papers Celeste Barnaby University of Texas at Austin, Jocelyn Qiaochu Chen New York University, University of Alberta, Ramya Ramalingam , Osbert Bastani University of Pennsylvania, Işıl Dillig University of Texas at Austin

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 3	Tutorials HELION																																																												LCTES Session 1: Advanced Compiler Tuning																						LCTES Session 2: Binary Optimization & System Security

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
Flatirons 3	LCTES Keynote Session																				LCTES Session 3: Formal Methods and Systems Reliability																																				LCTES Session 4: Specialized Hardware and Accelerator Design																										LCTES Session 5: Memory Efficiency and Control-Flow Analysis

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 3	PLDI Research Papers Specification Synthesis and Verification																																				PLDI Research Papers Concurrency																										PLDI Research Papers GPU Programming

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
Flatirons 3	PLDI Research Papers Domain-Specific Languages																																				PLDI Research Papers Formal Verification of Probabilistic Programs

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 3	PLDI Research Papers Verified Compilation and Type Systems																																				PLDI Research Papers Probabilistic Inference and Verification																										PLDI Research Papers Potpourri

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 3	PLDI Tutorials Writing Performance-Portable Kernels Simplified with Helion 09:00 - 12:00																																																												LCTES Opening Remarks 14:00 - 14:10		LCTES RAPO: Retrieval-Augmented Phase Ordering 14:10 - 14:32				LCTES CausalTuner: Feature-Aware Causal Guidance for Compiler Auto-tuning 14:32 - 14:54					LCTES Empirical Observations about Profile-Guided Optimizations for Mainstrea ... 14:54 - 15:16											LCTES DeduBB: Binary Code Size Reduction via Post-Link Basic Block Deduplication 15:50 - 16:12				LCTES SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive ... 16:12 - 16:34					LCTESRecordedRemote CVS: A Metric for Security-Aware Compilation against Side-Channel Attac ... 16:34 - 16:44		LCTES A Programming Model for Efficient Inter-Kernel Control-Flow on Memory-M ... 16:44 - 16:54		LCTES FLUX: Frequency Scaling with Layer-wise Utilization for Energy-Efficien ... 16:54 - 17:04

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
Flatirons 3	LCTES Practical Quantum Machine Learning: Overcoming the Bottlenecks of Scala ... 09:00 - 10:10																				LCTES Towards Verifiable System Code using a DSL Compiled to Efficient and Re ... 10:40 - 11:02				LCTES A Pointer-Ownership Model for C Inspired by Rust 11:02 - 11:24					LCTES Hikami: A Lightweight Hypervisor for Emulating RISC-V Extension Semanti ... 11:24 - 11:46				LCTES Scheduled Partial-Credit RL for Reliable Code Generation with Small Lan ... 11:46 - 11:56																							LCTES Can Fine-Grain Multi-threading Subsume VLIW? 13:40 - 14:02				LCTES Sirop: A Small IR for HLS with Parallel Patterns 14:02 - 14:24					LCTES A Functional Approach to Synthesizing Routable Programmable Accelerator ... 14:24 - 14:46				LCTES LoopHint: A Compiler-Assisted Loop Branch Predictor for Embedded DSPs 14:46 - 15:08													LCTES MemSpec: Memory-Aware Runtime for Adaptive Draft Scheduling in Speculat ... 15:50 - 16:12				LCTES Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated ... 16:12 - 16:34					LCTES On the Origins of Indirect Jumps in Embedded Software 16:34 - 16:56				LCTES Closing Session 16:56 - 17: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 3	PLDI Research Papers [SIGPLAN OOPSLA’25] Counterexample-Guided Inference of Modular Specific ... 11:00 - 11:20				PLDI Research Papers Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disamb ... 11:20 - 11:40				PLDI Research Papers Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained A ... 11:40 - 12:00				PLDI Research Papers Verification Modulo Tested Library Contracts 12:00 - 12:20				PLDI Research Papers Expecto: Extracting Formal Specifications from Natural Language Descrip ... 12:20 - 12:40																				PLDI Research Papers State Space Estimation for DPOR-Based Model Checkers 14:00 - 14:20				PLDI Research Papers Fixed Parameter Tractable Linearizability Monitoring 14:20 - 14:40				PLDI Research Papers SuperCollider: Scalable and Effective Data Race Detection for CUDA 14:40 - 15:00				PLDI Research Papers Fast Atomicity Monitoring 15:00 - 15:20														PLDI Research Papers Kuiper: Correct and Efficient GPU Programming with Dependent Types and ... 16:10 - 16:30				PLDI Research PapersDistinguished Paper Modular GPU Programming with Typed Perspectives 16:30 - 16:50				PLDI Research Papers [TOPLAS] StreamAlloc: A Framework for Analyzing and Transforming CUDA C ... 16:50 - 17:10				PLDI Research Papers SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup ... 17:10 - 17:30				PLDI Research Papers Uniformity Analysis in the WebGPU Shading Language 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 3	PLDI Research Papers Decoupling Data Layouts from Bounding Volume Hierarchies 11:00 - 11:20				PLDI Research Papers Contextual Embeddings: Implementing Bound Variables through Instance Re ... 11:20 - 11:40				PLDI Research Papers CoTenN: Constrained Optimization with Tensor Networks 11:40 - 12:00				PLDI Research Papers Diagramming Program Values by Spatial Refinement 12:00 - 12:20				PLDI Research Papers Persistent Iterators with Value Semantics 12:20 - 12:40																				PLDI Research Papers Contextual Refinement of Higher-Order Concurrent Probabilistic Programs 14:00 - 14:20				PLDI Research Papers Supermartingales for Unique Fixed Points: A Unified Approach to Lower B ... 14:20 - 14:40				PLDI Research Papers SuperDP: Differential Privacy Refutation via Supermartingales 14:40 - 15:00				PLDI Research Papers Modular Verification of Differential Privacy in Probabilistic Higher-Or ... 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 3	PLDI Research Papers Let It Flow: A Formally Verified Compilation Framework for Asynchronous ... 11:00 - 11:20				PLDI Research Papers Compiling to Recurrent Neurons 11:20 - 11:40				PLDI Research Papers [TOPLAS] Denotation-based Compositional Compiler Verification 11:40 - 12:00				PLDI Research Papers Responsive Parallelism with Dynamic and First-Class Priorities 12:00 - 12:20				PLDI Research Papers Escape with Your Self: Sound and Expressive Bidirectional Typing with A ... 12:20 - 12:40																				PLDI Research Papers [SIGPLAN OOPSLA’25] Probabilistic Inference for Datalog with Correlated ... 14:00 - 14:20				PLDI Research Papers A Hierarchy of Supermartingales for ω-Regular Verification 14:20 - 14:40				PLDI Research Papers Incremental Computation for Efficient Programmable Inference in Probabi ... 14:40 - 15:00				PLDI Research Papers GradInf: Gradient Estimation as Probabilistic Inference 15:00 - 15:20				PLDI Research PapersDistinguished Paper Categorical Semantics of Probabilistic Symbolic Execution 15:20 - 15:40										PLDI Research Papers Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy 16:10 - 16:30				PLDI Research Papers TreeCoder: Systematic Exploration and Optimisation of Decoding and Cons ... 16:30 - 16:50				PLDI Research Papers [TOPLAS] Guiding LLM-based Loop Invariant Synthesis via Feedback on Loc ... 16:50 - 17:10				PLDI Research Papers [SIGPLAN OOPSLA’25] Active Learning for Neurosymbolic Program Synthesis 17:10 - 17:30

Room information: Flatirons 3

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

Tutorials

LCTES

LCTES

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

LCTES

LCTES

LCTES

LCTES

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

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 3

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

Tutorials

LCTES

LCTES

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

LCTES

LCTES

LCTES

LCTES

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

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