Write a Blog >>
Sat 23 Jan 2016 15:30 - 16:30 at Room St Petersburg II - Poster Session

We identify two problems with Wingate et al. lightweight implementation technique for probabilistic programs. Simple examples demonstrate that common, what should be semantic-preserving program transformations drastically alter the program behavior. We briefly describe an alternative technique that does respect the program refactoring. There remains a question of how to be really, formally sure that the MCMC acceptance ratio is computed correctly.

Sat 23 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 16:30: Poster SessionPPS at Room St Petersburg II
15:30 - 16:30
Meeting
Insomnia: Types and Modules for Probabilistic Programming
PPS
Aleksey KligerXamarin, Inc., Sean StromstenBAE Systems, Inc.
Pre-print
15:30 - 16:30
Meeting
Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs
PPS
Theophilos GiannakopoulosBAE Systems, Inc., Mitchell WandNortheastern University, Andrew CobbNortheastern University
Pre-print
15:30 - 16:30
Meeting
Coalgebraic Trace Semantics for Probabilistic Processes: Preliminary Proposal
PPS
Larry MossIndiana University, Chung-chieh ShanIndiana University, Alexandra SilvaRadboud University Nijmegen
Pre-print
15:30 - 16:30
Meeting
Reasoning about Probability and Nondeterminism
PPS
Faris Abou-SalehUniversity of Oxford, Kwok-Ho CheungUniversity of Oxford, Jeremy GibbonsUniversity of Oxford, UK
Pre-print
15:30 - 16:30
Meeting
Fixed Points for Markov Decision Processes
PPS
Johannes HölzlTechnische Universität München
Pre-print
15:30 - 16:30
Meeting
A Denotational Semantics of a Probabilistic Stream-Processing Language
PPS
Yohei MiyamotoGraduate School of Informatics, Kyoto University, Kohei Suenaga, Koji NakazawaGraduate School of Information Science, Nagoya University
Pre-print
15:30 - 16:30
Meeting
Observation Propagation for Importance Sampling with Likelihood Weighting
PPS
Ryan CulpepperNortheastern University
Pre-print
15:30 - 16:30
Meeting
Problems of the Lightweight Implementation of Probabilistic Programming
PPS
Pre-print
15:30 - 16:30
Meeting
Parameterized Probability Monad
PPS
Adam ŚcibiorUniversity of Cambridge, Andrew D. GordonMicrosoft Research and University of Edinburgh
Pre-print
15:30 - 16:30
Meeting
Reproducing Kernel Hilbert Space Semantics for Probabilistic Programs
PPS
Adam ŚcibiorUniversity of Cambridge, Bernhard SchölkopfMPI Tuebingen
Pre-print