PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

This program is tentative and subject to change.

Wed 18 Jun 2025 16:40 - 17:00 at Orchid - High Performance Computing Chair(s): Charith Mendis

Sparse data structures are ubiquitous in modern computing, and numerous formats have been designed to represent them. These formats may exploit specific sparsity patterns, aiming to achieve higher performance for key numerical computations than more general-purpose formats such as CSR and COO.

In this work we present UZP, a new sparse format based on polyhedral sets of integer points. UZP is a flexible format that subsumes CSR, COO, DIA, BCSR, etc., by raising them to a common mathematical abstraction: a union of integer polyhedra, each intersected with an affine lattice. We present a modular approach to building and optimizing UZP: it captures equivalence classes for the sparse structure, enabling the tuning of the representation for target-specific and application-specific performance considerations. UZP is built from any input sparse structure using integer coordinates, and is interoperable with existing software using CSR and COO data layout. We provide detailed performance evaluation of UZP on 200+ matrices from SuiteSparse, demonstrating how simple and mostly unoptimized generic executors for UZP can already achieve solid performance by exploiting Z-polyhedra structures.

This program is tentative and subject to change.

Wed 18 Jun

Displayed time zone: Seoul change

16:00 - 17:20
High Performance ComputingPLDI Research Papers at Orchid
Chair(s): Charith Mendis University of Illinois at Urbana-Champaign
16:00
20m
Talk
Task-Based Tensor Computations on Modern GPUs
PLDI Research Papers
Rohan Yadav Stanford University, Michael Garland NVIDIA, Alex Aiken Stanford University, Michael Bauer NVIDIA
DOI
16:20
20m
Talk
Lightweight and Locality-Aware Composition of Black-Box Subroutines
PLDI Research Papers
Manya Bansal Massachusetts Institute of Technology, Dillon Sharlet Google, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
DOI
16:40
20m
Talk
Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
PLDI Research Papers
Alonso Rodriguez Universidade da Coruña, Santoshkumar T. Tongli Colorado State University, Emily Tucker Colorado State University, Louis-Noël Pouchet Colorado State University, Gabriel Rodríguez Universidade da Coruña, Juan Tourino Universidade da Coruña
DOI
17:00
20m
Talk
Dynamic Robustness Verification against Weak MemoryRemote
PLDI Research Papers
Roy Margalit Tel Aviv University, Michalis Kokologiannakis ETH Zurich, Shachar Itzhaky Technion, Ori Lahav Tel Aviv University
DOI
Hide past events