POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameSalle 105, Barre 44-54
Floor2
Room number105
Capacity80
Room Information

This room is located in barre 44-54.

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 15 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
Second Afternoon SessionTTT at Salle 105, Barre 44-54
Chair(s): Hugo Herbelin
16:00
50m
Talk
Invited Talk -- Iris: a framework for higher-order concurrent separation logic in Coq
TTT
Robbert Krebbers Delft University of Technology, Netherlands
16:50
20m
Talk
Introducing MetaCoq: A Safe Tactic Language for Coq
TTT
Beta Ziliani FAMAF, UNC (Argentina) / CONICET (Argentina)
17:10
50m
Other
COST EUTypes session
TTT

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00
Gradual Typing (AM)Tutorials at Salle 105, Barre 44-54
09:00
3h
Talk
The State of the Art in Gradual Typing
Tutorials
Jeremy G. Siek Indiana University Bloomington
14:00 - 17:00
Gradual Typing (PM)Tutorials at Salle 105, Barre 44-54
14:00
3h
Talk
The State of the Art in Gradual Typing
Tutorials
Jeremy G. Siek Indiana University Bloomington

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Session 2 PPS at Salle 105, Barre 44-54
Chair(s): Chad Scherrer Galois, Inc.
10:30
20m
Talk
An application of computable distributions to the semantics of probabilistic programs: part 2
PPS
Daniel Huang Harvard University, Greg Morrisett Cornell University
10:50
10m
Meeting
Discussion 1
PPS

11:00
20m
Talk
Probabilistic programming and a domain theoretic approach to Skorohod's theorem
PPS
11:20
10m
Meeting
Discussion 2
PPS

11:30
20m
Talk
Building inference algorithms from monad transformers
PPS
Adam Ścibior University of Cambridge, Yufei Cai University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany, Zoubin Ghahramani University of Cambridge
11:50
10m
Meeting
Discussion 3
PPS

14:00 - 15:30
Session 3 PPS at Salle 105, Barre 44-54
Chair(s): Sam Staton University of Oxford
14:00
20m
Talk
Commutativity logic for probabilistic trace equivalence: complete or not?
PPS
Paul Blain Levy , Nathan Bowler Universität Hamburg
14:20
10m
Meeting
Discussion 4
PPS

14:30
20m
Talk
Mathematical structures of probabilistic programming
PPS
Ilias Garnier University of Edinburgh, Fredrik Dahlqvist University College London, Florence Clerc McGill University, Vincent Danos ENS Paris/CNRS
14:50
10m
Meeting
Discussion 5
PPS

15:00
20m
Talk
A weakest pre-expectation semantics for mixed-sign expectations
PPS
Benjamin Lucien Kaminski RWTH Aachen University, Joost-Pieter Katoen RWTH Aachen University
15:20
10m
Meeting
Discussion 6
PPS

15:30 - 16:30
Poster Session PPS at Salle 105, Barre 44-54
15:30
60m
Meeting
ProbLog and applicative probabilistic programming
PPS
Alexander Vandenbroucke KU Leuven, Belgium, Tom Schrijvers KU Leuven
15:30
60m
Meeting
Encapsulating models and approximate inference programs in probabilistic modules
PPS
Marco Cusumano-Towner MIT-CSAIL, Vikash Mansinghka Massachusetts Institute of Technology
15:30
60m
Meeting
The extended semantics for probabilistic programming languages
PPS
Siddharth Srivastava UTRC Berkeley, Nicholas Hay Vicarious, Yi WU UC Berkeley, Stuart Russell University of California, Berkeley
15:30
60m
Meeting
Synthetic topology in homotopy type theory for probabilistic programming
PPS
15:30
60m
Meeting
Reasoning about inference in probabilistic programs
PPS
Chandrakana Nandi University of Washington, USA, Adrian Sampson Cornell University, Dan Grossman University of Washington, Todd Mytkowicz , Kathryn S McKinley Microsoft Research
15:30
60m
Meeting
On computable representations of exchangeable data
PPS
Nathanael L. Ackerman Harvard University, Jeremy Avigad Carnegie Mellon University, Cameron Freer Gamalon and Borelian, Daniel Roy , Jason M. Rute Pennsylvania State University
15:30
60m
Meeting
Probabilistic logic programs: unifying program trace and possible world semantics
PPS
Angelika Kimmig KU Leuven, Luc De Raedt KU Leuven
15:30
60m
Meeting
Metropolis-Hastings for mixtures of conditional distributions
PPS
15:30
60m
Meeting
Support and influence analysis for visualizing posteriors of probabilistic programs
PPS
Long Ouyang Stanford University
15:30
60m
Meeting
Efficient exact inference in discrete Anglican programs
PPS
Robert Cornish University of Oxford, Frank Wood University of Oxford, Hongseok Yang University of Oxford
16:30 - 18:00
Session 5 PPS at Salle 105, Barre 44-54
Chair(s): Chung-chieh Shan Indiana University, USA
16:30
20m
Talk
An exponential family basis for probabilistic programming
PPS
Chad Scherrer Galois, Inc.
16:50
10m
Meeting
Discussion 7
PPS

17:00
20m
Talk
The semantics of subroutines and iteration in the Bayesian programming language ProBT
PPS
Raphaël Laurent ProbaYes, Kamel Mekhnacha ProbaYes, Emmanuel Mazer CNRS/LIG, Pierre Bessière CNRS/ISIR
17:20
10m
Meeting
Discussion 8
PPS

17:30
20m
Talk
Exchangeable random process and data abstraction
PPS
Sam Staton University of Oxford, Hongseok Yang University of Oxford, Nathanael L. Ackerman Harvard University, Cameron Freer Gamalon and Borelian, Daniel Roy
17:50
10m
Meeting
Discussion 9
PPS

18:15 - 19:15
Session 6 PPS at Salle 105, Barre 44-54
Chair(s): Hongseok Yang University of Oxford
18:15
20m
Talk
Reducing probabilistic choice to nondeterministic choice
PPS
Ernie Cohen Amazon Web Services
18:35
10m
Meeting
Discussion 10
PPS

18:45
20m
Talk
GraPPa: spanning the expressivity vs. efficiency continuum
PPS
Edwin Westbrook Galois, Inc., Chad Scherrer Galois, Inc., Nathan Collins Galois, Inc., Eric Mertens Galois, Inc.
19:05
10m
Meeting
Discussion 11
PPS

Sun 15 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Salle 105, Barre 44-54

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Salle 105, Barre 44-54

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 105, Barre 44-54

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Salle 105, Barre 44-54

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Salle 105, Barre 44-54
PPS
Discussion 1
10:50 - 11:00
PPS
Discussion 2
11:20 - 11:30
PPS
Discussion 3
11:50 - 12:00
PPS
Discussion 4
14:20 - 14:30
PPS
Discussion 5
14:50 - 15:00
PPS
Discussion 6
15:20 - 15:30
PPS
Discussion 7
16:50 - 17:00
PPS
Discussion 8
17:20 - 17:30
PPS
Discussion 9
17:50 - 18:00
PPS
Discussion 10
18:35 - 18:45
PPS
Discussion 11
19:05 - 19:15