This program is tentative and subject to change.

Tue 16 Jun 2026 17:15 - 17:20 at Meadows CD - HPC Programming

Array language runtimes discard semantic metadata at the evaluation boundary. A Reynolds number and a Courant number are indistinguishable buffers to the runtime; torque and energy, both carrying dimension M L² T⁻², are equally anonymous. Dimensional analysis confirms their structure; it cannot confirm their meaning.

We present the Three-Graph Reactive Unit Array IR, which extends Iverson’s subordination principle to semantic provenance. The authoring surface is a computational pidgin: users write in noun phrases — reynolds number, population density, courant number — which are interned to canonical integer token IDs at the parse boundary. Strings do not re-enter the computational core. Three co-indexed flat arrays — Concept Graph, Data Graph, Computation Graph — share this integer namespace. Four static judgments are checked at materialization time, before any kernel executes: dimensional compatibility, provenance matching for formation history, shape and broadcast compatibility, and mutability rebind. Dimensionless quantities are distinguished by the physical measurements and operations that produced them, not by name; a user-defined ratio with the Reynolds formation receives the Reynolds kind ID automatically.

The IR executes in the browser within a 5ms per-frame budget, providing immediate edit-to-feedback response at 60fps. A 26-case judgment suite validates all four judgment forms; median reconstitution times of 0.003–0.018ms confirm the semantic checks consume a small fraction of the budget, leaving the remainder for rendering and application logic.

This program is tentative and subject to change.

Tue 16 Jun

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

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
Pre-print
17:15
5m
Research preview
Semantics as a Tool of Thought: Provenance-Aware Dimensional Checking in a Reactive Array IR
ARRAY
17:20
10m
Live Q&A
Mini Panel
ARRAY