POPL 2025 (series) / LAFI 2025 (series) / LAFI 2025 /
Data-Parallel Differentiation by Optic Composition
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 JanDisplayed time zone: Mountain Time (US & Canada) change
Sun 19 Jan
Displayed time zone: Mountain Time (US & Canada) change
11:00 - 12:30 | |||
11:00 40mTalk | Invited talk: TORAX - A Fast and Differentiable Tokamak Transport Simulator in JAX (Remote) LAFI Jonathan Citrin Google Deepmind | ||
11:41 15mTalk | Data-Parallel Differentiation by Optic Composition LAFI | ||
11:57 15mTalk | 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 15mTalk | 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 |