Parallel dual-numbers reverse AD

DOI10.1017/S0956796825100051MaRDI QIDQ6917838zbMATH OpenFDO

Authors Tom J. Smeding, Matthijs Vákár

Publication date 10 October 2025

Published in Journal of Functional Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S0956796825100051

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Symbolic computation and algebraic computation (68W30)

Cites work

• A simple automatic derivative evaluation program
• Automatic differentiation for ML-family languages: correctness via logical relations
• CHAD for expressive total languages
• Correctness of automatic differentiation via diffeologies and categorical gluing
• Definitional interpreters for higher-order programming languages
• Divide-and-conquer checkpointing for arbitrary programs with no user annotation
• Evaluating Derivatives
• scientific article; zbMATH DE number 140021 (Why is no real title available?)
• scientific article; zbMATH DE number 6982909 (Why is no real title available?)
• Reverse AD at higher types: pure, principled and denotationally correct
• Source-to-Source Automatic Differentiation of OpenMP Parallel Loops
• The Tapenade automatic differentiation tool, principles, model, and specification
• Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

This page was built for publication: Parallel dual-numbers reverse AD

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6917838)