Tue 9 Jan 2018 10:04 - 10:06 at Bradbury - POSTER SESSION (14 posters - not talks)

Interactive Writing and Debugging of Bayesian Probabilistic Programs

We present an implementation of BLOG that facilitates fluid exploration of probabilistic programs. We introduce a new keyword inspect that allows the evaluation of an arbitrary expression in a given trace from the full posterior. Using this additional keyword, we show an implementation of an interactive debugger for probabilistic programs. This debugger recursively inspects the generative model to mimic the behavior of a classic interactive debugger: step into functions, inspect local variables, and add breakpoints.

Finally, we create a new debugging construct for probabilistic programs—lateral movement— that allows the user to move between samples of the full posterior distribution.

Tue 9 Jan

pps-2018
10:00 - 10:30: PPS 2018 - POSTER SESSION (14 posters - not talks) at Bradbury
pps-201810:00 - 10:02
Talk
Nils NappSUNY at Buffalo, Marco GaboardiUniversity at Buffalo, SUNY
pps-201810:02 - 10:04
Talk
C.-H. Luke OngUniversity of Oxford, Matthijs VákárUniversity of Oxford
pps-201810:04 - 10:06
Talk
Javier Burroni, Arjun GuhaUniversity of Massachusetts, Amherst, David JensenUniversity of Massachusetts Amherst
Pre-print
pps-201810:06 - 10:08
Talk
pps-201810:08 - 10:10
Talk
Mathias Ruggaard PedersenAalborg University, Nathanaël FijalkowAlan Turing Institute, Giorgio BacciAalborg University, Kim LarsenAalborg University, Radu MardareAalborg University
pps-201810:10 - 10:12
Talk
Avi PfefferCharles River Analytics
pps-201810:12 - 10:15
Talk
Link to publication Pre-print
pps-201810:15 - 10:17
Talk
Benjamin ShermanMassachusetts Institute of Technology, USA, Jared TramontanoMassachusetts Institute of Technology, Michael CarbinMIT
Pre-print
pps-201810:17 - 10:19
Talk
Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMassachusetts Institute of Technology
pps-201810:19 - 10:21
Talk
Steffen SmolkaCornell University, David KahnCornell University, Praveen KumarCornell University, Nate FosterCornell University, Dexter Kozen, Alexandra SilvaUniversity College London
Link to publication File Attached
pps-201810:21 - 10:23
Talk
Tetsuya SatoUniversity at Buffalo, SUNY, USA
pps-201810:23 - 10:25
Talk
Andres Molina-MarkhamThe MITRE Corporation
pps-201810:25 - 10:27
Talk
Avi PfefferCharles River Analytics
pps-201810:27 - 10:30
Talk
Daniel LundénKTH Royal Institute of Technology, David BromanKTH Royal Institute of Technology, Lawrence M. MurrayUppsala University