Sun 16 Jan 2022 10:20 - 10:53 at LAFI - Invited talks Chair(s): Andrew D. Gordon

Probabilistic and differentiable programming paradigms are being adopted by the scientific community, promising major advances in simulation pipelines, data analysis, and design optimization of experiments. This talk will cover ongoing work in the probabilistic programming and differentiable programming domains with a focus on large-scale scientific applications. Probabilistic programming languages (PPLs) allow us to specify complex generative models as computer code and perform Bayesian inference in these models automatically. However, applications of these languages in science remain limited because of the impracticability of rewriting complex scientific simulators in a PPL, the computational cost of inference, and the lack of scalable implementations. To address these, we present a novel probabilistic programming framework that connects to existing simulators through a cross-platform protocol, which we call the Probabilistic Programming eXecution (PPX) protocol, and provides random-walk Metropolis–Hastings and inference compilation engines for tractable inference. We show how PPX allows any PPL system to be coupled to any given simulator so that these two sides can be (1) implemented in different programming languages and (2) executed in separate processes and possibly on separate machines across a network connection. We show examples of the approach in particle physics, spacecraft collision avoidance, and simulation of composite materials. We discuss extensions such as replacing the simulator with a fast deep-learning-based surrogate making use of PPX and retaining the original address structure and stochastic control flow of the simulator, and adding differentiation support to PPX. We also talk about ongoing efforts to use differentiable programming for design optimization of future experiments at CERN. The talk with also cover news about DiffSharp, a differentiable programming library in F#.

Sun 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

10:20 - 12:00
Invited talksLAFI at LAFI
Chair(s): Andrew D. Gordon Microsoft Research and University of Edinburgh
10:20
33m
Talk
Probabilistic and Differentiable Programming in Scientific SimulatorsRemote
LAFI
Atılım Güneş Baydin Department of Engineering Science, University of Oxford
File Attached
10:53
33m
Talk
Stateful processes in probabilistic programming Remote
LAFI
Hugo Paquet University of Cambridge
File Attached
11:26
33m
Talk
Programming Languages for Automatic Differentiation: What Now?Remote
LAFI
File Attached