POPL 2025 (series) / LAFI 2025 (series) / LAFI 2025 /
Sandwood: Runtime Adaptable Probabilistic Programming for Java (Remote)
This program is tentative and subject to change.
This talk outlines Sandwood, an open-source, type safe, Java like probabilistic programming language, compiler, and runtime. Sandwood aims to make it easier to include Bayesian models in applications by providing a language that is familiar to developers and by taking advantage of the more complete view of the model available to compiled languages. Bayesian models written in Sandwood are compiled to Java classes which can be instantiated into objects where each object represents one instance of the model. Each of these instances can be configured to target different hardware and execution models and these configurations can be update during the lifetime of the object.
Extended abstract (sandwood-abstract.pdf) | 372KiB |
This program is tentative and subject to change.
Sun 19 JanDisplayed time zone: Mountain Time (US & Canada) change
Sun 19 Jan
Displayed time zone: Mountain Time (US & Canada) change
14:00 - 15:30 | |||
14:00 40mTalk | Invited talk: Modern Bayesian Experimental Design LAFI Desi R. Ivavona University of Oxford | ||
14:41 15mTalk | Semantics of the memo Probabilistic Programming Language LAFI | ||
14:57 15mTalk | NP-NUTS: A Nonparametric No-U-Turn Sampler LAFI Maria-Nicoleta Craciun University of Oxford, C.-H. Luke Ong NTU, Sam Staton University of Oxford, Matthijs Vákár Utrecht University | ||
15:13 15mTalk | Sandwood: Runtime Adaptable Probabilistic Programming for Java (Remote) LAFI File Attached |