Write a Blog >>
HASE 2020
Tue 21 Jan 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
POPL 2020 (series) / HASE 2020 (series) / JW Marriott New Orleans /

Room information: St Claude

VenueJW Marriott New Orleans
Room nameSt Claude
Floor3
Room InformationNo extra information available
Program

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

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
ALAFI at St Claude
09:00
60m
Talk
Invited talk: Nonstandard Interpretation in Pyro
LAFI
I: Fritz Obermeyer
Pre-print
10:30 - 12:30
BLAFI at St Claude
10:30
30m
Talk
A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
LAFI
Carol Mak University of Oxford, C.-H. Luke Ong University of Oxford
11:00
30m
Talk
A Monad for Point Processes
LAFI
Swaraj Dash University of Oxford, Sam Staton University of Oxford
File Attached
11:30
30m
Talk
Denotational Semantics for Differentiable Programming with Manifolds
LAFI
Jesse Sigal University of Edinburgh
12:00
30m
Talk
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
LAFI
Aloïs Brunel Deepomatic, Damiano Mazza CNRS, Michele Pagani IRIF - Université de Paris
14:00 - 15:05
CLAFI at St Claude
14:00
30m
Talk
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
15m
Talk
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
16m
Talk
Monte Carlo Semantic Differencing of Probabilistic Programs
LAFI
Marco Cusumano-Towner MIT-CSAIL, Vikash K. Mansinghka MIT
15:35 - 17:45
DLAFI at St Claude
15:35
30m
Talk
Coinductive Trees for Exact Inference of Probabilistic Programs
LAFI
Alexander Bagnall Ohio University, Gordon Stewart Ohio University, Anindya Banerjee IMDEA Software Institute
16:05
30m
Talk
Name generation and Higher-order Probabilistic Programming (Or is new=rnd?)
LAFI
Dario Stein University of Oxford, Sam Staton University of Oxford, Michael Wolman McGill University
File Attached
16:35
30m
Talk
Density Functions of Statistical Probabilistic Programs
LAFI
Tom Mattinson University of Oxford, C.-H. Luke Ong University of Oxford
17:05
30m
Talk
Probabilistic Programming around Gaussian Processes
LAFI
David Tolpin PUB+
17:35
10m
Day closing
Closing
LAFI

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Claude

LAFI

A

LAFI

B

LAFI

C

LAFI

D

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
St Claude
LAFI
Invited talk: Nonstandard Interpretation in Pyro
09:00 - 10:00
LAFI
A Differential-form Pullback Programming Language for Higher-order Reve ...
10:30 - 11:00
LAFI
A Monad for Point Processes
11:00 - 11:30
LAFI
Denotational Semantics for Differentiable Programming with Manifolds
11:30 - 12:00
LAFI
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
12:00 - 12:30
LAFI
Divide, Conquer, and Combine: a New Inference Strategy for Probabilisti ...
14:00 - 14:30
LAFI
MetaPPL: Inference Algorithms as First-Class Generative Models
14:32 - 14:47
LAFI
Monte Carlo Semantic Differencing of Probabilistic Programs
14:49 - 15:05
LAFI
Coinductive Trees for Exact Inference of Probabilistic Programs
15:35 - 16:05
LAFI
Name generation and Higher-order Probabilistic Programming (Or is new=rnd?)
16:05 - 16:35
LAFI
Density Functions of Statistical Probabilistic Programs
16:35 - 17:05
LAFI
Probabilistic Programming around Gaussian Processes
17:05 - 17:35
LAFI
Closing
17:35 - 17:45