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

We define a core calculus for the purpose of investigating reasoning principles of probabilistic programming languages. By using a variation of a technique called higher-order abstract syntax (HOAS), which is common in the implementation of domain-specific languages, the calculus captures the semantics of a stochastic language with observation while being agnostic to the details of its deterministic portions. By remaining agnostic to the non-stochastic portions of the language, this style of semantics enables the discovery of general reasoning principles for the principled manipulation of probabilistic program fragments by programmers, compilers, and analysis tools. This generality allows us to reason about probabilistic program fragments without the need to resort to the underlying measure theory in every instance, by instead enabling reasoning in terms of the core calculus in a way that we believe to be applicable to various surface-level languages.

Sat 23 Jan

pps-2016
15:30 - 16:30: PPS 2016 - Poster Session at Room St Petersburg II
pps-201615:30 - 16:30
Meeting
Aleksey KligerXamarin, Inc., Sean StromstenBAE Systems, Inc.
Pre-print
pps-201615:30 - 16:30
Meeting
Theophilos GiannakopoulosBAE Systems, Inc., Mitchell WandNortheastern University, Andrew CobbNortheastern University
Pre-print
pps-201615:30 - 16:30
Meeting
Larry MossIndiana University, Chung-chieh ShanIndiana University, Alexandra SilvaRadboud University Nijmegen
Pre-print
pps-201615:30 - 16:30
Meeting
Faris Abou-SalehUniversity of Oxford, Kwok-Ho CheungUniversity of Oxford, Jeremy GibbonsUniversity of Oxford, UK
Pre-print
pps-201615:30 - 16:30
Meeting
Johannes HölzlTechnische Universität München
Pre-print
pps-201615:30 - 16:30
Meeting
Yohei MiyamotoGraduate School of Informatics, Kyoto University, Kohei Suenaga, Koji NakazawaGraduate School of Information Science, Nagoya University
Pre-print
pps-201615:30 - 16:30
Meeting
Ryan CulpepperNortheastern University
Pre-print
pps-201615:30 - 16:30
Meeting
Pre-print
pps-201615:30 - 16:30
Meeting
Adam ŚcibiorUniversity of Cambridge, Andrew D. GordonMicrosoft Research and University of Edinburgh
Pre-print
pps-201615:30 - 16:30
Meeting
Adam ŚcibiorUniversity of Cambridge, Bernhard SchölkopfMPI Tuebingen
Pre-print