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

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

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
Compiler Technologies for Array Programming
ARRAY
Mary Hall University of Utah
10:00
10m
Live Q&A
Q&A for Keynote-1
ARRAY

10:30 - 12:10
Array Programming and VerificationARRAY at Meadows CD
Chair(s): Jubi Taneja Gimlet Labs
10:30
20m
Talk
Refined Remora: Constraining Array Shapes
ARRAY
Vadym Matviichuk Northeastern University, Olin Shivers Northeastern University
10:50
25m
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:15
25m
Talk
Graded Monoids for Dependently Typed Array Programming
ARRAY
Juuso Haavisto University of Oxford, Jeremy Gibbons Department of Computer Science, University of Oxford
11:40
20m
Talk
Portable Anomaly Detection for Distributed PGAS Programs based on Array Mapping Abstractions
ARRAY
Raneem Abu-Yosef Ohio State University, Thomas Huddleston The Ohio State University, Kirshanthan Sundararajah Virginia Tech, Martin Kong Ohio State University
12:00
10m
Live Q&A
Mini Panel
ARRAY

13:40 - 15:20
Keynote-2 and Tensorial ThemesARRAY at Meadows CD
Chair(s): Sangeeta Chowdhary AMD Research
13:40
50m
Keynote
Tile Programming Abstractions
ARRAY
Jared Roesch University of Washington, USA
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 NCSU, Xu Liu North Carolina State University, Ajay Panyala Pacific Northwest National Laboratory, Jiajia Li North Carolina State University
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
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

Mon 15 Jun

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

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

PAgE

PAgE

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

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
Compiler Technologies for Array Programming
09:10 - 10:00
ARRAY
Q&A for Keynote-1
10:00 - 10:10
ARRAY
Refined Remora: Constraining Array Shapes
10:30 - 10:50
ARRAY
Relational Cell Morphing: Automated Verification of Relational Properti ...
10:50 - 11:15
ARRAY
Graded Monoids for Dependently Typed Array Programming
11:15 - 11:40
ARRAY
Portable Anomaly Detection for Distributed PGAS Programs based on Array ...
11:40 - 12:00
ARRAY
Mini Panel
12:00 - 12:10
ARRAY
Tile Programming Abstractions
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