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

Room information: Meadows CD

VenueLimelight Boulder
Room nameMeadows CD
Floor1
Room InformationNo extra information available
Program

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
Session 1EGRAPHS at Meadows CD
09:00
23m
Talk
From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs
EGRAPHS
Samuel Coward University College London (UCL), Cheng Zhang Worcester Polytechnic Institute, Philip Zucker Draper, Alexandra Silva Cornell University
09:23
23m
Talk
Lifting E-Graphs: A Function Isn’t a Constant
EGRAPHS
Philip Zucker Draper
Pre-print File Attached
09:46
23m
Talk
Predicate E-Graphs with Symbolic Conditional RewritingRemote
EGRAPHS
Anders Ågren Thuné Uppsala University, Johannes Borgström Uppsala University, Sweden, Lars-Henrik Eriksson Uppsala University, John Högberg Ericsson, Tjark Weber Uppsala University, Tobias Wrigstad Uppsala University
File Attached
10:40 - 12:20
Session 2EGRAPHS at Meadows CD
10:40
25m
Talk
A Semi-Persistent E-Graph with Native AC Canonization and Leapfrog AC Matching.
EGRAPHS
Remi Delmas Amazon Web Services
Pre-print
11:05
25m
Talk
Associativity and Commutativity in Equality Saturation
EGRAPHS
Tarik Rosin Saarland University, Marcel Ullrich Saarland University, Saarland Informatics Campus, Sebastian Hack Saarland University, Saarland Informatics Campus
Pre-print
11:30
25m
Talk
Augmenting Rewrite Rule Sets via Knuth-Bendix Completion
EGRAPHS
Michael Schifferer Saarland University, Marcel Ullrich Saarland University, Saarland Informatics Campus, Sebastian Hack Saarland University, Saarland Informatics Campus
Pre-print
11:55
25m
Talk
E-graphs modulo theoriesRemote
EGRAPHS
Sofia Brookie Chalmers University of Technology
13:40 - 15:20
Session 3EGRAPHS at Meadows CD
13:40
25m
Talk
Rewrite System Showdown: Stochastic Search vs. EqSat
EGRAPHS
Qiantan Hong Stanford University, Rupanshu Soi Stanford University, Yihong Zhang University of Washington, Alex Aiken Stanford University
Pre-print
14:05
25m
Talk
A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs
EGRAPHS
Qiantan Hong Stanford University, Rupanshu Soi Stanford University, Alex Aiken Stanford University
14:30
25m
Talk
Answer Set Programming for Egg Extraction and More
EGRAPHS
Ziyi Yang National University of Singapore, Ilya Sergey National University of Singapore
Pre-print
14:55
25m
Talk
CERES: Making Equality Saturation Memory-Scalable
EGRAPHS
Akash Pardeshi University of Illinois at Urbana-Champaign, Devansh Jain University of Illinois at Urbana-Champaign, Saatvik Lochan University of Illinois Urbana-Champaign, Mihir Tandon University of Illinois Urbana-Champaign, Marco Frigo University of Illinois at Urbana-Champaign, Chamika Sudusinghe University of Illinois at Urbana-Champaign, Damitha Lenadora University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign
15:50 - 17:30
Session 4EGRAPHS at Meadows CD
15:50
25m
Talk
Relational E-matching in an SMT solver
EGRAPHS
Amar Shah Carnegie Mellon University, Marijn Heule Carnegie Mellon University, Bryan Parno Carnegie Mellon University, Max Willsey University of California at Berkeley
16:15
25m
Talk
E-Stitch: Top-Down Library Learning for E-Graphs
EGRAPHS
Kavi Gupta MIT, Maddy Bowers Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology
File Attached
16:40
25m
Talk
Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
EGRAPHS
Hiromi Ishii JIJ
Pre-print File Attached
17:05
25m
Talk
Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
EGRAPHS
Siyuan Brant Qian University of Illinois at Urbana-Champaign, Vimarsh Sathia University of Illinois Urbana Champaign, Ivan Ivanov Institute of Science Tokyo, Jan Hueckelheim Argonne National Laboratory, Paul Hovland Argonne National Laboratory, William S. Moses University of Illinois Urbana-Champaign

Tue 16 Jun

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

09:00 - 10:10
KEYNOTE-1ARRAY at Meadows CD
Chair(s): Sreepathi Pai University of Rochester
09:00
10m
Day opening
Welcoming Remarks
ARRAY
Ganesh Gopalakrishnan University of Utah, Artjoms Šinkarovs University of Southampton
09:10
50m
Keynote
Tiles, Bricks, and Layouts: How Aggregate Data Abstractions Aid in Optimizing Data Movement
ARRAY
Mary Hall University of Utah
10:00
10m
Live Q&A
Q&A for Keynote-1
ARRAY

10:40 - 12:20
Array Programming and VerificationARRAY at Meadows CD
Chair(s): Jubi Taneja Gimlet Labs
10:40
25m
Talk
Refined Remora: Constraining Array Shapes
ARRAY
Vadym Matviichuk Northeastern University, Olin Shivers Northeastern University
DOI
11:05
20m
Talk
Relational Cell Morphing: Automated Verification of Relational Properties of Array Programs
ARRAY
Weihao Qu Monmouth University, Marco Gaboardi Boston University, Hiroshi Unno Tohoku University, Eric Koskinen Stevens Institute of Technology
11:25
20m
Talk
Graded Monoids for Dependently Typed Array ProgrammingRemote
ARRAY
Juuso Haavisto University of Oxford, Jeremy Gibbons Department of Computer Science, University of Oxford
11:45
25m
Talk
Portable Anomaly Detection for Distributed PGAS Programs Based on Array Mapping Abstractions
ARRAY
Raneem Abu-Yosef Ohio State University, Thomas Huddleston Ohio State University, Kirshanthan Sundararajah Virginia Tech, Martin Kong Ohio State University
DOI
12:10
10m
Other
Mini Panel AM
ARRAY

13:40 - 15:20
KEYNOTE-2 and Tensorial ThemesARRAY at Meadows CD
Chair(s): Sangeeta Chowdhary AMD Research
13:40
50m
Keynote
The Shape of Things to Come
ARRAY
Jared Roesch NVIDIA
14:30
10m
Live Q&A
Q&A for Keynote-2
ARRAY

14:40
20m
Talk
Tensor Algebra Equivalence Checker
ARRAY
Jubi Taneja Gimlet Labs, Tom St. John Gimlet Labs, Natalie Serrino Gimlet Labs
15:00
20m
Talk
Rhyme: A Multi-Paradigm Declarative Query Language
ARRAY
Ran Guo Purdue University, Tiark Rompf Purdue University
15:50 - 17:30
HPC ProgrammingARRAY at Meadows CD
15:50
20m
Talk
Vectorizing Sparse Coiteration for Two-finger Loop Structure (Extended Abstract)
ARRAY
Kabilan Mahathevan Virginia Tech, Kirshanthan Sundararajah Virginia Tech
16:10
25m
Talk
Leveraging AI Ecosystem for Portable and Sustainable GPU Kernels in HPC
ARRAY
Yanbo Zhao North Carolina State University, Zhaonan Meng North Carolina State University, Sai Krishna Teja Varma Manthena North Carolina State University, Xu Liu North Carolina State University, Ajay Panyala Pacific Northwest National Laboratory, Jiajia Li North Carolina State University
DOI
16:35
20m
Talk
Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
ARRAY
Taisa Kushner Galois, Ryan McCleeary Galois, Martin Brain City St. George's, University of London
16:55
20m
Talk
Towards a Linear-Algebraic Hypervisor
ARRAY
Breandan Considine
Pre-print
17:15
5m
Research preview
Semantics as a Tool of Thought: Provenance-Aware Dimensional Checking in a Reactive Array IR
ARRAY
Christopher Buck None
17:20
10m
Live Q&A
Mini Panel
ARRAY

Hide past events

Mon 15 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Meadows CD

EGRAPHS

Session 1

EGRAPHS

Session 2

EGRAPHS

Session 3

EGRAPHS

Session 4

Tue 16 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Meadows CD

ARRAY

KEYNOTE-1

ARRAY

Array Programming and Verification

ARRAY

KEYNOTE-2 and Tensorial Themes

ARRAY

HPC Programming
Hide past events

Mon 15 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Meadows CD
EGRAPHS
From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs
09:00 - 09:23
EGRAPHS
Lifting E-Graphs: A Function Isn’t a Constant
09:23 - 09:46
EGRAPHSRemote
Predicate E-Graphs with Symbolic Conditional Rewriting
09:46 - 10:10
EGRAPHS
A Semi-Persistent E-Graph with Native AC Canonization and Leapfrog AC M ...
10:40 - 11:05
EGRAPHS
Associativity and Commutativity in Equality Saturation
11:05 - 11:30
EGRAPHS
Augmenting Rewrite Rule Sets via Knuth-Bendix Completion
11:30 - 11:55
EGRAPHSRemote
E-graphs modulo theories
11:55 - 12:20
EGRAPHS
Rewrite System Showdown: Stochastic Search vs. EqSat
13:40 - 14:05
EGRAPHS
A Joint Approach to Instruction Scheduling and Algebraic Rewriting with ...
14:05 - 14:30
EGRAPHS
Answer Set Programming for Egg Extraction and More
14:30 - 14:55
EGRAPHS
CERES: Making Equality Saturation Memory-Scalable
14:55 - 15:20
EGRAPHS
Relational E-matching in an SMT solver
15:50 - 16:15
EGRAPHS
E-Stitch: Top-Down Library Learning for E-Graphs
16:15 - 16:40
EGRAPHS
Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Fu ...
16:40 - 17:05
EGRAPHS
Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
17:05 - 17:30

Tue 16 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Meadows CD
ARRAY
Welcoming Remarks
09:00 - 09:10
ARRAY
Tiles, Bricks, and Layouts: How Aggregate Data Abstractions Aid in Opti ...
09:10 - 10:00
ARRAY
Q&A for Keynote-1
10:00 - 10:10
ARRAY
Refined Remora: Constraining Array Shapes
10:40 - 11:05
ARRAY
Relational Cell Morphing: Automated Verification of Relational Properti ...
11:05 - 11:25
ARRAYRemote
Graded Monoids for Dependently Typed Array Programming
11:25 - 11:45
ARRAY
Portable Anomaly Detection for Distributed PGAS Programs Based on Array ...
11:45 - 12:10
ARRAY
Mini Panel AM
12:10 - 12:20
ARRAY
The Shape of Things to Come
13:40 - 14:30
ARRAY
Q&A for Keynote-2
14:30 - 14:40
ARRAY
Tensor Algebra Equivalence Checker
14:40 - 15:00
ARRAY
Rhyme: A Multi-Paradigm Declarative Query Language
15:00 - 15:20
ARRAY
Vectorizing Sparse Coiteration for Two-finger Loop Structure (Extended ...
15:50 - 16:10
ARRAY
Leveraging AI Ecosystem for Portable and Sustainable GPU Kernels in HPC
16:10 - 16:35
ARRAY
Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap ...
16:35 - 16:55
ARRAY
Towards a Linear-Algebraic Hypervisor
16:55 - 17:15
ARRAY
Semantics as a Tool of Thought: Provenance-Aware Dimensional Checking i ...
17:15 - 17:20
ARRAY
Mini Panel
17:20 - 17:30
Hide past events