Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
This 17-minute conference talk from the LAFI 2025 workshop presents research on data-parallel differentiation through optic composition by Paul Wilson and Fabio Zanasi from the University of Southampton and University College London. Explore an innovative algorithm that transforms morphisms in symmetric monoidal categories into their reverse derivatives using a data-parallel approach. Learn how this algorithm achieves logarithmic time complexity on PRAM machines and linear time on sequential machines. The presentation demonstrates how to compute reverse derivatives efficiently when given a symmetric monoidal category with generators, operations, and derivative choices for each operation. This research was presented at the LAFI workshop on January 19, 2025, as part of the POPL25 conference sponsored by ACM SIGPLAN.
Syllabus
[LAFI'25] Data-Parallel Differentiation by Optic Composition
Taught by
ACM SIGPLAN