# Statically bounded-memory delayed sampling for probabilistic streams

@article{Atkinson2021StaticallyBD, title={Statically bounded-memory delayed sampling for probabilistic streams}, author={Eric Hamilton Atkinson and Guillaume Baudart and Louis Mandel and Charles Yuan and Michael Carbin}, journal={Proceedings of the ACM on Programming Languages}, year={2021}, volume={5}, pages={1 - 28} }

Probabilistic programming languages aid developers performing Bayesian inference. These languages provide programming constructs and tools for probabilistic modeling and automated inference. Prior work introduced a probabilistic programming language, ProbZelus, to extend probabilistic programming functionality to unbounded streams of data. This work demonstrated that the delayed sampling inference algorithm could be extended to work in a streaming context. ProbZelus showed that while delayed…

## References

SHOWING 1-10 OF 41 REFERENCES

Reactive probabilistic programming

- Computer SciencePLDI
- 2020

ProbZelus conservatively provides the facilities of a synchronous language to write control software, with probabilistic constructs to model uncertainties and perform inference-in-the-loop, and is presented the design and implementation of the language.

Bounded expectations: resource analysis for probabilistic programs

- Computer ScienceProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
- 2018

A new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs that combines the clarity and compositionality of a weakest-precondition calculus with the efficient automation of AARA.

Automated learning with a probabilistic programming language: Birch

- Computer ScienceAnnu. Rev. Control.
- 2018

Compiling Markov chain Monte Carlo algorithms for probabilistic modeling

- Computer SciencePLDI
- 2017

A compiler is described that transforms a probabilistic model written in a restricted modeling language and a query for posterior samples given observed data into a Markov Chain Monte Carlo (MCMC) inference algorithm that implements the query.

Probabilistic Concurrent Constraint Programming

- Computer ScienceCONCUR
- 1997

The expressiveness of pcc is demonstrated by synthesizing combinators for default reasoning and the denotational models are fully abstract for an operational semantics that records probability information.

Commutative Semantics for Probabilistic Programming

- Computer ScienceESOP
- 2017

It is shown that probabilistic programs are in fact commutative, by characterizing the measures/kernels that arise from programs as 's-finite', i.e. sums of finite measures/ kernels.

Probabilistic programming with programmable inference

- Computer SciencePLDI
- 2018

Inference metaprogramming enables the concise expression of probabilistic models and inference algorithms across diverse elds, such as computer vision, data science, and robotics, within a single Probabilistic programming language.

Etalumis: bringing probabilistic programming to scientific simulators at scale

- Computer ScienceSC
- 2019

A novel PPL framework that couples directly to existing scientific simulators through a cross-platform probabilistic execution protocol and provides Markov chain Monte Carlo (MCMC) and deep-learning-based inference compilation (IC) engines for tractable inference is presented.

Church: a language for generative models

- Computer ScienceUAI
- 2008

This work introduces Church, a universal language for describing stochastic generative processes, based on the Lisp model of lambda calculus, containing a pure Lisp as its deterministic subset.

Verifying Handcoded Probabilistic Inference Procedures

- Computer ScienceArXiv
- 2018

Shuffle is presented, a programming language for manually developing inference procedures that enforces the basic rules of probability theory, enforce the statistical dependencies of the algorithm's corresponding probabilistic model, and generates an optimized implementation.