POPL 2020 (series) / LAFI 2020 (series) /
LAFI 2020 Program
This is the LAFI 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 21 JanDisplayed time zone: Saskatchewan, Central America change
Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | |||
09:00 60mTalk | Invited talk: Nonstandard Interpretation in Pyro LAFI Pre-print |
10:30 - 12:30 | |||
10:30 30mTalk | A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation LAFI | ||
11:00 30mTalk | A Monad for Point Processes LAFI File Attached | ||
11:30 30mTalk | Denotational Semantics for Differentiable Programming with Manifolds LAFI Jesse Sigal University of Edinburgh | ||
12:00 30mTalk | Backpropagation in the Simply Typed Lambda-calculus with Linear Negation LAFI |
14:00 - 15:05 | |||
14:00 30mTalk | Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support LAFI Yuan Zhou University of Oxford, Hongseok Yang KAIST, Yee Whye Teh University of Oxford, Tom Rainforth Department of Statistics, University of Oxford | ||
14:32 15mTalk | MetaPPL: Inference Algorithms as First-Class Generative Models LAFI Alexander K. Lew Massachusetts Institute of Technology, USA, Benjamin Sherman Massachusetts Institute of Technology, USA, Marco Cusumano-Towner MIT-CSAIL, Austin Garrett MIT, Ben Zinberg MIT, Vikash K. Mansinghka MIT, Michael Carbin Massachusetts Institute of Technology File Attached | ||
14:49 16mTalk | Monte Carlo Semantic Differencing of Probabilistic Programs LAFI |
15:35 - 17:45 | |||
15:35 30mTalk | Coinductive Trees for Exact Inference of Probabilistic Programs LAFI Alexander Bagnall Ohio University, Gordon Stewart Ohio University, Anindya Banerjee IMDEA Software Institute | ||
16:05 30mTalk | Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) LAFI File Attached | ||
16:35 30mTalk | Density Functions of Statistical Probabilistic Programs LAFI | ||
17:05 30mTalk | Probabilistic Programming around Gaussian Processes LAFI David Tolpin PUB+ | ||
17:35 10mDay closing | Closing LAFI |