Write a Blog >>
Sat 23 Jan 2016 11:00 - 11:20 at Room St Petersburg II - Session 2 Chair(s): Chad Scherrer

The goal of this paper is to show how semantics can be defined for a real-world probabilistic programming language. Figaro has had numerous applications in areas such as malware analysis, climate modeling, vehicle health maintenance, and intelligence analysis.

Sat 23 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:15
Session 2PPS at Room St Petersburg II
Chair(s): Chad Scherrer Galois, Inc.
10:30
20m
Talk
Models for Probabilistic Programs with an Adversary
PPS
Robert Rand University of Pennsylvania, Steve Zdancewic University of Pennsylvania
Pre-print
10:50
10m
Meeting
DIscussion 3
PPS

11:00
20m
Talk
The Semantics of Figaro, an Embedded Probabilistic Programming Language
PPS
Avi Pfeffer Charles River Analytics, Brian Ruttenberg Charles River Analytics
Pre-print
11:20
10m
Meeting
Discussion 4
PPS

11:30
45m
Meeting
Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics?
PPS
Angelika Kimmig KU Leuven, Oleg Kiselyov , Jan-Willem van de Meent University of Oxford, Avi Pfeffer Charles River Analytics, M: Frank Wood University of Oxford