Augur: a Modeling Language for Data-Parallel Probabilistic Inference

12/12/2013
by   Jean-Baptiste Tristan, et al.
0

It is time-consuming and error-prone to implement inference procedures for each new probabilistic model. Probabilistic programming addresses this problem by allowing a user to specify the model and having a compiler automatically generate an inference procedure for it. For this approach to be practical, it is important to generate inference code that has reasonable performance. In this paper, we present a probabilistic programming language and compiler for Bayesian networks designed to make effective use of data-parallel architectures such as GPUs. Our language is fully integrated within the Scala programming language and benefits from tools such as IDE support, type-checking, and code completion. We show that the compiler can generate data-parallel inference code scalable to thousands of GPU cores by making use of the conditional independence relationships in the Bayesian network.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/12/2012

Accelerating Inference: towards a full Language, Compiler and Hardware stack

We introduce Dimple, a fully open-source API for probabilistic modeling....
research
09/12/2022

BayesLDM: A Domain-Specific Language for Probabilistic Modeling of Longitudinal Data

In this paper we present BayesLDM, a system for Bayesian longitudinal da...
research
08/21/2020

Transforming Probabilistic Programs for Model Checking

Probabilistic programming is perfectly suited to reliable and transparen...
research
04/18/2019

ClangJIT: Enhancing C++ with Just-in-Time Compilation

The C++ programming language is not only a keystone of the high-performa...
research
04/08/2021

Sound Probabilistic Inference via Guide Types

Probabilistic programming languages aim to describe and automate Bayesia...
research
06/12/2019

Exploring Bayesian approaches to eQTL mapping through probabilistic programming

The discovery of genomic polymorphisms influencing gene expression (also...
research
10/29/2022

Ice Core Dating using Probabilistic Programming

Ice cores record crucial information about past climate. However, before...

Please sign up or login with your details

Forgot password? Click here to reset