Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Tue 19 Jan 2021 17:00 - 17:30 at PEPM - Session 4 Chair(s): Jeremy Yallop

Automatic differentiation (AD) is an important family of algorithms which enables derivative based optimization. We show that AD can be simply implemented with effects and handlers by doing so in the Frank language. By considering how our implementation behaves in Frank’s operational semantics, we show how our code performs the dynamic creation of programs during evaluation.

Short paper (paper17.pdf)609KiB

Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 17:30: Session 4PEPM at PEPM
Chair(s): Jeremy YallopUniversity of Cambridge

Live stream: https://www.youtube.com/watch?v=BmBSJFkfL2M

16:30 - 17:00
Short-paper
Staged Effects and Handlers for Modular Languages with Abstraction
PEPM
Casper Bach PoulsenDelft University of Technology, Cas van der RestDelft University of Technology, Tom SchrijversKU Leuven
File Attached
17:00 - 17:30
Short-paper
Automatic Differentiation via Effects and Handlers: An Implementation in Frank
PEPM
Jesse SigalUniversity of Edinburgh
File Attached