Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 16:00 - 16:30 at Sala VI - D

We define a new denotational semantics for a first-order probabilistic programming language in terms of probabilistic event structures. The semantics adequately models the language, in the sense that the usual measure-theoretic semantics of a program can be recovered from its event structure representation.

Moreover it is intensional: occurrences of sampling and conditioning are recorded as explicit events, partially ordered according to the dependencies between the corresponding variables. This information can be leveraged for MCMC inference: we prove correct a version of single-site Metropolis-Hastings with ‘incremental recomputation’: the proposal kernel takes into account those dependencies in order to avoid performing some of the redundant sampling.

Tue 15 Jan
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

16:00 - 17:30: LAFI (né PPS) - D at Sala VI
lafi-201916:00 - 16:30
Simon Castellan, Hugo PaquetUniversity of Cambridge
lafi-201916:30 - 17:00
Steven HoltzenUniversity of California, Los Angeles, Joe QianUniversity of California, Los Angeles, Todd MillsteinUniversity of California, Los Angeles, Guy Van den BroeckUniversity of California, Los Angeles
lafi-201917:00 - 17:30
Matthew HeimerdingerIndiana University, Chung-chieh ShanIndiana University, USA