POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 15:30 - 16:30 at Salle 105, Barre 44-54 - Poster Session

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 16:30: Poster Session PPS at Salle 105, Barre 44-54
15:30 - 16:30
Meeting
ProbLog and applicative probabilistic programming
PPS
Alexander VandenbrouckeKU Leuven, Belgium, Tom SchrijversKU Leuven
15:30 - 16:30
Meeting
Encapsulating models and approximate inference programs in probabilistic modules
PPS
Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMassachusetts Institute of Technology
15:30 - 16:30
Meeting
The extended semantics for probabilistic programming languages
PPS
Siddharth SrivastavaUTRC Berkeley, Nicholas HayVicarious, Yi WUUC Berkeley, Stuart RussellUniversity of California, Berkeley
15:30 - 16:30
Meeting
Synthetic topology in homotopy type theory for probabilistic programming
PPS
15:30 - 16:30
Meeting
Reasoning about inference in probabilistic programs
PPS
Chandrakana NandiUniversity of Washington, USA, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
15:30 - 16:30
Meeting
On computable representations of exchangeable data
PPS
Nathanael L. AckermanHarvard University, Jeremy AvigadCarnegie Mellon University, Cameron FreerGamalon and Borelian, Daniel Roy, Jason M. RutePennsylvania State University
15:30 - 16:30
Meeting
Probabilistic logic programs: unifying program trace and possible world semantics
PPS
Angelika KimmigKU Leuven, Luc De RaedtKU Leuven
15:30 - 16:30
Meeting
Metropolis-Hastings for mixtures of conditional distributions
PPS
15:30 - 16:30
Meeting
Support and influence analysis for visualizing posteriors of probabilistic programs
PPS
Long OuyangStanford University
15:30 - 16:30
Meeting
Efficient exact inference in discrete Anglican programs
PPS
Robert CornishUniversity of Oxford, Frank WoodUniversity of Oxford, Hongseok YangUniversity of Oxford