ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Tue 9 Apr 2019 15:30 - 16:00 at SUN II - Program Semantics Chair(s): Andrzej Murawski

We define a new denotational semantics for a first-order probabilistic programming language in terms of probabilistic event structures. This semantics is intensional, meaning that the interpretation of a program contains information about its behaviour throughout execution, rather than a simple distribution on return values. In particular, occurrences of sampling and conditioning are recorded as explicit events, partially ordered according to the data dependencies between the corresponding statements in the program.
This interpretation is adequate: we show that the usual measure-theoretic semantics of a program can be recovered from its event structure representation. Moreover it can be leveraged for MCMC inference: we prove correct a version of single-site Metropolis-Hastings with incremental recomputation, in which the proposal kernel takes into account the semantic information in order to avoid performing some of the redundant sampling.

Tue 9 Apr

esop-2019-papers
14:00 - 16:00: ESOP 2019 - Program Semantics at SUN II
Chair(s): Andrzej MurawskiUniversity of Oxford
esop-2019-papers14:00 - 14:30
Talk
Dylan McDermottUniversity of Cambridge, Alan MycroftUniversity of Cambridge
Link to publication
esop-2019-papers14:30 - 15:00
Talk
Ugo Dal LagoUniversity of Bologna / Inria, Francesco Gavazzo
Link to publication
esop-2019-papers15:00 - 15:30
Talk
Samuele BuroUniversità degli Studi di Verona, Isabella MastroeniUniversity of Verona, Italy
Link to publication
esop-2019-papers15:30 - 16:00
Talk
Simon CastellanImperial College London, UK, Hugo PaquetUniversity of Cambridge
Link to publication