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

This program is tentative and subject to change.

Thu 16 Oct 2025 17:15 - 17:30 at Orchid West - Neural Network

This paper introduces the continuous tensor abstraction, allowing indices to take real-number values (e.g., A[3.14]). It also presents continuous tensor algebra expressions, such as $C_{x,y} = A_{x,y} \ast B_{x,y}$, where indices are defined over a continuous domain. This work expands the traditional tensor model to include continuous tensors. Our implementation supports piecewise-constant tensors, on which infinite domains can be processed in finite time. We also introduce a new tensor format for efficient storage and a code generation technique for automatic kernel generation. For the first time, our abstraction expresses domains like computational geometry and computer graphics in the language of tensor programming. Our approach demonstrates competitive or better performance to hand-optimized kernels in leading libraries across diverse applications. Compared to hand-implemented libraries on a CPU, our compiler-based implementation achieves an average speedup of 9.20$\times$ on 2D radius search with 60$\times$ fewer lines of code (LoC), 1.22$\times$ on genomic interval overlapping queries (with 18$\times$ LoC saving), and 1.69$\times$ on trilinear interpolation in Neural Radiance Field (with 6$\times$ LoC saving).

This program is tentative and subject to change.

Thu 16 Oct

Displayed time zone: Perth change

16:00 - 17:30
Neural NetworkOOPSLA at Orchid West
16:00
15m
Talk
Convex Hull Approximation for Activation Functions
OOPSLA
Zhongkui Ma The University of Queensland, Zihan Wang The University of Queensland and CSIRO's Data61, Guangdong Bai University of Queensland
16:15
15m
Talk
Cost of Soundness in Mixed-Precision Tuning
OOPSLA
Anastasia Isychev TU Wien, Debasmita Lohar Karlsruhe Institute of Technology
Pre-print
16:30
15m
Talk
Finch: Sparse and Structured Tensor Programming with Control Flow
OOPSLA
Willow Ahrens Massachusetts Institute of Technology, Teodoro F. Collin MIT CSAIL, Radha Patel MIT CSAIL, Kyle Deeds University of Washington, Changwan Hong Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
16:45
15m
Talk
MetaKernel: Enabling Efficient Encrypted Neural Network Inference Through Unified MVM and Convolution
OOPSLA
Peng Yuan Ant Group, Yan Liu Ant Group, Jianxin Lai Ant Group, Long Li Ant Group, Tianxiang Sui Ant Group, Linjie Xiao Ant Group, Xiaojing Zhang Ant Group, Qing Zhu Ant Group, Jingling Xue University of New South Wales
17:00
15m
Talk
Quantization with Guaranteed Floating-Point Neural Network Classifications
OOPSLA
Anan Kabaha Technion, Israel Institute of Technology, Dana Drachsler Cohen Technion
17:15
15m
Talk
The Continuous Tensor Abstraction: Where Indices are Real
OOPSLA
Jaeyeon Won MIT, Willow Ahrens Massachusetts Institute of Technology, Teodoro F. Collin MIT CSAIL, Joel S Emer MIT/NVIDIA, Saman Amarasinghe Massachusetts Institute of Technology