POPL 2016 (series) / PPS 2016 (series) / PPS 2016 /
An Application of Computable Distributions to the Semantics of Probabilistic Programs
Our attempt to give semantics to a core, functional probabilistic programming language uses computable distributions. The semantics uses largely standard techniques from denotational semantics. One nice property of computable distributions is that they are completely characterized by a sampling algorithm. Hence, it is possible to faithfully implement (in a Turing-complete language) a semantics based on computable distributions as a sampling library. We are interested in the pros and cons of using computable distributions as opposed to measure theory in giving semantics to probabilistic programming languages.
Sat 23 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sat 23 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change
16:30 - 18:00 | |||
16:30 20mTalk | eXchangeable Random Primitives PPS Pre-print | ||
16:50 10mMeeting | Discussion 8 PPS | ||
17:00 20mTalk | An Application of Computable Distributions to the Semantics of Probabilistic Programs PPS Pre-print | ||
17:20 10mMeeting | Discussion 9 PPS | ||
17:30 20mTalk | On The Semantic Intricacies of Conditioning PPS Friedrich Gretz RWTH Aachen University, Nils Jansen RWTH Aachen University, Benjamin Lucien Kaminski RWTH Aachen University, Joost-Pieter Katoen RWTH Aachen University, Federico Olmedo RWTH Aachen University Pre-print | ||
17:50 10mMeeting | Discussion 10 PPS |