POPL 2019 (series) / LAFI 2019 (series) /
LAFI 2019 Program
This is the LAFI 2019 program - see the full program for POPL 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 15 JanDisplayed time zone: Belfast change
Tue 15 Jan
Displayed time zone: Belfast change
09:00 - 10:30 | |||
09:00 30mTalk | Probabilistic Lambda Calculus: Beyond Deterministic Evaluation LAFI File Attached | ||
09:30 60mTalk | Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan LAFI Matthijs Vákár University of Oxford File Attached |
11:00 - 12:30 | |||
11:00 30mTalk | The Geometry of Bayesian Programming LAFI | ||
11:30 30mTalk | Model and Inference Combinators for Deep Probabilistic Programming LAFI Eli Sennesh Northeastern University, Adam Ścibior University of Cambridge and MPI Tuebingen, Hao Wu Northeastern University, Jan-Willem van de Meent Northeastern University File Attached | ||
12:00 30mTalk | Server-side Probabilistic Programming LAFI David Tolpin PUB+ Media Attached |
14:00 - 15:30 | |||
14:00 30mTalk | A Nuts-and-Bolts Differential Geometric Perspective on Automatic Differentiation LAFI Barak A. Pearlmutter Maynooth University | ||
14:30 30mTalk | Kotlin∇: Differentiable Functional Programming with Algebraic Data Types LAFI Breandan Considine Université de Montréal File Attached | ||
15:00 30mTalk | Probabilistic Programming with CuPPL LAFI |
16:00 - 17:30 | |||
16:00 30mTalk | Probabilistic Programming Inference via Intensional Semantics LAFI | ||
16:30 30mTalk | Factorized Exact Inference for Discrete Probabilistic Programs LAFI Steven Holtzen University of California, Los Angeles, Joe Qian University of California, Los Angeles, Todd Millstein University of California, Los Angeles, Guy Van den Broeck University of California, Los Angeles | ||
17:00 30mTalk | Verified Equational Reasoning on a Little Language of Measures LAFI |