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

In probabilistic programming languages, model construction and inference are separate tasks. The former is done by the language users and the latter by the language developers. Unfettered by concerns about inference, modelers will want to create big, complex probabilistic programs, which will present familiar problems: Models may become too big to comprehend, debug or validate as wholes. Users building large applications will need to divide and coordinate work among several people and will need to reuse common elements of models without rebuilding them. We hypothesize that model creation will benefit from two linguistic tools that have proven helpful in deterministic programming: types and modules.

With Insomnia, we hope to provide the best of two worlds: to help with the “democratization of machine learning,” we provide a language with abstractions for modular development of complex probabilistic programs. To help with analysis and understanding of models’ properties, we define the meaning of modular models by elaborating them into a small (module-free) core calculus whose semantics may be studied further.

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