SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026

Many bioinformatics algorithms, such as sequence alignment and structure prediction, can be expressed as recurrence equations over a dynamic programming matrix. Efficient implementations of these algorithms for large-scale biological data often require changing the order in which matrix cells are calculated and pruning ineffectual regions of the matrix from consideration altogether, but these techniques typically complicate implementation. We introduce Filtr, a domain-specific language (DSL) and compiler framework for bioinformatics recurrences. Filtr keeps the core recurrence rules separate from the pruning and scheduling strategies, where pruning acts as an approximation to limit where in the DP matrix cells are computed, and scheduling determines the iteration order for how cells are explored. Filtr compiles these high-level descriptions into optimized C++ code that matches the performance of hand-tuned implementations while enabling rapid exploration of new heuristics. Filtr is competitive with hand-optimized sequence-alignment libraries, ranging from $0.95\times$ to $30\times$ faster across biological benchmarks.

Tue 6 Oct

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

15:30 - 17:00
Compiler Optimization and Code GenerationOOPSLA at East Hall 1
Chair(s): Kirshanthan Sundararajah Virginia Tech
15:30
18m
Talk
Class-Dictionary Specialization with Rank-2 Polymorphic Functions
OOPSLA
Yong Qi Foo National University of Singapore, Michael D. Adams National University of Singapore
Link to publication DOI Pre-print
15:48
18m
Talk
Automatic Propagation of Profile Information through the Optimization Pipeline
OOPSLA
Elisa Frohlich Federal University of Minas Gerais, Angelica Moreira Microsoft Research, Fernando Magno Quintão Pereira Federal University of Minas Gerais
DOI
16:06
18m
Talk
Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
OOPSLA
Devansh Jain University of Illinois at Urbana-Champaign, Akash Pardeshi University of Illinois at Urbana-Champaign, Marco Frigo University of Illinois at Urbana-Champaign, Kaustubh Khulbe University of Illinois at Urbana-Champaign, Krut Patel NVIDIA, Saatvik Lochan University of Illinois at Urbana-Champaign, Jai Arora University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign
DOI Pre-print
16:24
18m
Talk
Symbolic Basic Block Profiling for Machine Learning Kernels
OOPSLA
Jingyu Qiu University of Rochester, Rongcui Dong University of Rochester, Sreepathi Pai University of Rochester
DOI
16:42
18m
Talk
Filtr: Compiling Bioinformatics Recurrences
OOPSLA
Bala Vinaithirthan Stanford University, Shiv Sundram Stanford University, Sneha Goenka Princeton University, Fredrik Kjolstad Stanford University
DOI