Principles of Probabilistic Programming

ABSTRACT. Probabilistic programming is en vogue. It is used to describe complex Bayesian networks, quantum programs, security protocols and biological systems. Programming languages like C, C#, Java, Prolog, Scala, etc. all have their probabilistic version. Key features are random sampling and means to adjust distributions based on evidences from measurements and system observations. Through richer control-flow constructs they allow for representing probabilistic graphical models far beyond the capabilities of Bayesian networks. This tutorial focuses on elementary questions: semantics, termination, run-time analysis, and formal verification.

Authors

• Joost-Pieter Katoen

Keywords

No keywords are indexed for this paper.