POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Sun 19 Jan 2025 11:41 - 11:56 at Peek-A-Boo - Second session Chair(s): Atılım Güneş Baydin

We give data-parallel datastructures and algorithms for computing reverse derivatives by optic composition. Given a symmetric monoidal category presented by generators and operations as well as a choice of derivative for each operation, we give an algorithm to transform a morphism into its reverse derivative. This algorithm is data-parallel: it runs in time logarithmic in the size of the morphism on a PRAM machine, and linear time on a sequential machine.

Sun 19 Jan

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

11:00 - 12:30
Second sessionLAFI at Peek-A-Boo
Chair(s): Atılım Güneş Baydin University of Oxford
11:00
40m
Talk
Invited talk: TORAX - A Fast and Differentiable Tokamak Transport Simulator in JAX (Remote)
LAFI
Jonathan Citrin Google Deepmind
11:41
15m
Talk
Data-Parallel Differentiation by Optic Composition
LAFI
Paul Wilson University of Southampton, Fabio Zanasi University College London
11:57
15m
Talk
Data-oriented Design for Differentiable, Probabilistic Programming (Remote)
LAFI
Owen Lynch University of Oxford, Maria-Nicoleta Craciun University of Oxford, Younesse Kaddar University of Oxford, Sam Staton University of Oxford
12:13
15m
Talk
A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo)
LAFI
Kartik Chandra MIT, Tony Chen MIT, Joshua B. Tenenbaum Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology