SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

This program is tentative and subject to change.

Fri 17 Oct 2025 10:45 - 11:00 at Orchid Plenary Ballroom - Compilation 3

We introduce REPTILE, a compiler that performs tiling optimizations for programs expressed as mathematical recurrence equations. REPTILE recursively decomposes a recurrence program into a set of unique tiles and then simplifies each into a different set of recurrences. Given declarative user specifications of recurrence equations, optimizations, and optional mappings of recurrence subexpressions to external libraries calls, REPTILE generates C code that composes compiler-generated loops with calls to external hand-optimized libraries. We show that for direct linear solvers expressible as recurrence equations, the generated C code matches and often exceed the performance of standard hand-optimized libraries. We evaluate REPTILE’s generated C code against hand-optimized implementations of linear solvers in Intel MKL, as well as two non-solver recurrences from bioinformatics: Needleman-Wunsch and Smith-Waterman. When the user provides good tiling specifications, REPTILE achieves parity with MKL, achieving between 0.79–1.27x speedup for the LU decomposition, 0.97–1.21x speedup for the Cholesky decomposition, 1.61x–2.72x for lower triangular matrix inversion, 1.01–1.14x speedup for triangular solve with multiple right-hand sides, and 1.14–1.73x speedup over handwritten implementations of the bioinformatics recurrences.

This program is tentative and subject to change.

Fri 17 Oct

Displayed time zone: Perth change

10:30 - 12:15
10:30
15m
Talk
Efficient Algorithms for the Uniform Tokenization Problem
OOPSLA
Wu Angela Li Rice University, Konstantinos Mamouras Rice University
10:45
15m
Talk
REPTILE: Performant Tiling of Recurrences
OOPSLA
Muhammad Usman Tariq Stanford University, Shiv Sundram Stanford University, Fredrik Kjolstad Stanford University
11:00
15m
Talk
SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention
OOPSLA
Ahan Gupta University of Illinois at Urbana-Champaign, Yueming Yuan University of Illinois Urbana-Champaign, Devansh Jain University of Illinois at Urbana-Champaign, Yuhao Ge University of Illinois at Urbana-Champaign, David Aponte Microsoft, Yanqi Zhou Google, Charith Mendis University of Illinois at Urbana-Champaign
11:15
15m
Talk
Statically Analyzing the Dataflow of R Programs
OOPSLA
Florian Sihler Ulm University, Matthias Tichy Ulm University
11:30
15m
Talk
Static Inference of Regular Grammars for Ad Hoc Parsers
OOPSLA
Pre-print
11:45
15m
Talk
Syntactic Completions with Material Obligations
OOPSLA
David Moon University of Michigan, Andrew Blinn University of Michigan, Thomas J. Porter University of Michigan, Cyrus Omar University of Michigan
DOI Pre-print