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

This program is tentative and subject to change.

Mon 5 Oct 2026 16:06 - 16:24 at Junior Ballroom 3&4 - Probabilistic Programming Chair(s): Eva Darulova

Universal probabilistic programming languages (PPLs) enable the specification of models with stochastic support structure. Posterior inference is notoriously hard for this class of models and remains difficult to accelerate on modern hardware. In response to these challenges, we introduce Upix - the first probabilistic programming system that realises the divide-conquer-combine (DCC) inference algorithm as a framework. In Upix, a model expressed in a universal PPL is automatically split into multiple sub-models with static support structure, which are then compiled with JAX for execution on accelerator hardware. The system allows extensive customisation of inference algorithms by incorporating established concepts from programmable inference literature. To evaluate our system, we implemented two existing DCC algorithms in Upix and instantiated three novel algorithms. We show that our implementation can result in better approximation quality compared to existing approaches by achieving up to 1070 times more computation within the same time budget. On machines with up to 64 CPU cores and 8 GPU devices, we demonstrate that Upix enables the scaling of inference algorithms to workloads that are impractically slow for CPUs and prior methods.

This program is tentative and subject to change.

Mon 5 Oct

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

15:30 - 17:00
Probabilistic ProgrammingOOPSLA at Junior Ballroom 3&4
Chair(s): Eva Darulova Uppsala University
15:30
18m
Talk
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
OOPSLA
Tobias Gürtler Saarland University; Saarland Informatics Campus, Benjamin Lucien Kaminski Saarland University; University College London
DOI
15:48
18m
Talk
Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops
OOPSLA
Markus Böck TU Wien, Jürgen Cito TU Wien
DOI Authorizer link
16:06
18m
Talk
Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware
OOPSLA
Markus Böck TU Wien, Jürgen Cito TU Wien
DOI Authorizer link
16:24
18m
Talk
Type-Directed Discretization of Probabilistic Programs
OOPSLA
Katherine Wu Cornell University, Jules Jacobs ETH Zurich; Jane Street, Kevin Batz University of Münster, Alexandra Silva Cornell University
DOI
16:42
18m
Talk
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
OOPSLA
Yichen Tao University of Michigan, Hongfei Fu Shanghai University of Finance and Economics, Jiawei Chen University of Michigan, Jean-Baptiste Jeannin University of Michigan
DOI