Fine-grained semantics for probabilistic programs

B Bichsel, T Gehr, M Vechev - … on Programming, ESOP 2018, Held as Part …, 2018 - Springer
Probabilistic programming is an emerging technique for modeling processes involving
uncertainty. Thus, it is important to ensure these programs are assigned precise formal …

Programmable MCMC with Soundly Composed Guide Programs

L Pham, D Wang, FA Saad, J Hoffmann - Proceedings of the ACM on …, 2024 - dl.acm.org
Probabilistic programming languages (PPLs) provide language support for expressing
flexible probabilistic models and solving Bayesian inference problems. PPLs with …

An application of computable distributions to the semantics of probabilistic programs

D Huang, G Morrisett, B Spitters - Foundations of Probabilistic …, 2020 - books.google.com
In this chapter, we explore how (Type-2) computable distributions can be used to give both
(algorithmic) sampling and distributional semantics to probabilistic programs with …

[PDF][PDF] Synthetic topology in homotopy type theory for probabilistic programming

F Faissole, B Spitters - Proc, 2017 - users-cs.au.dk
The ALEA Coq library formalizes discrete measure theory using a variant of the Giry monad,
as a submonad of the CPS monad:(A→[0, 1])→[0, 1]. This allows one to use Moggi's …

Synthetic topology in Homotopy Type Theory for probabilistic programming

ME Bidlingmaier, F Faissole, B Spitters - Mathematical Structures in …, 2021 - cambridge.org
The ALEA Coq library formalizes measure theory based on a variant of the Giry monad on
the category of sets. This enables the interpretation of a probabilistic programming language …

[PDF][PDF] Probabilistic Programming and Multiverse Models of Type Theory

ME Bidlingmaier - 2022 - mbid.me
This thesis presents two constructions in the area of mathematical semantics of type
systems. First we develop a semantics of a probabilistic programming language in synthetic …