Cover Image

Parallel Dual-Numbers Reverse AD

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Smeding, Tom, Vákár, Matthijs
Format:	Preprint
Published:	2022
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CHAD: Combinatory Homomorphic Automatic Differentiation
by: Vákár, Matthijs, et al.
Published: (2021)

Dual-Numbers Reverse AD for Functional Array Languages
by: Smeding, Tom, et al.
Published: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
by: Vákár, Matthijs
Published: (2020)

Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)

Automatic Differentiation for ML-family languages: correctness via logical relations
by: Nunes, Fernando Lucatelli, et al.
Published: (2022)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Principal Bundles and Gauge Theories
by: Vákár, Matthijs
Published: (2021)

Topos-Theoretic Approaches to Quantum Theory
by: Vákár, Matthijs
Published: (2021)

A Categorical Semantics for Linear Logical Frameworks
by: Vákár, Matthijs
Published: (2015)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
by: de Vilhena, Paulo Emílio, et al.
Published: (2021)

Comparing Parallel Functional Array Languages: Programming and Performance
by: van Balen, David, et al.
Published: (2025)

Probing the Design Space: Parallel Versions for Exploratory Programming
by: Beckmann, Tom, et al.
Published: (2025)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)

Functional Meaning for Parallel Streaming
by: Rioux, Nick, et al.
Published: (2025)

Opportunistically Parallel Lambda Calculus
by: Mell, Stephen, et al.
Published: (2024)

On S-Finite Measures and Kernels
by: Vákár, Matthijs, et al.
Published: (2018)

Slamming the sham: A Bayesian model for adaptive adjustment with noisy control data
by: Gelman, Andrew, et al.
Published: (2019)

Programming Backpropagation with Reverse Handlers for Arrows
by: Sanada, Takahiro, et al.
Published: (2026)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Causal-Consistent Reversible Debugging: Improving CauDEr
by: González-Abril, Juan José, et al.
Published: (2024)

Series-Parallel-Loop Decompositions of Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
by: Hummelgren, Lars, et al.
Published: (2022)

A Direct-Style Effect Notation for Sequential and Parallel Programs
by: Richter, David, et al.
Published: (2023)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
by: Zheng, Size, et al.
Published: (2026)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
by: Xu, Ziyun, et al.
Published: (2025)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
by: Andrès, Léo, et al.
Published: (2024)

From High to Low: Simulating Nondeterminism and State with State
by: Tang, Wenhao, et al.
Published: (2023)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
by: Moine, Alexandre, et al.
Published: (2025)

Reversible Lifetime Semantics for Quantum Programs
by: Faro, Simone, et al.
Published: (2026)

AuDaLa is Turing Complete
by: Franken, Tom T. P., et al.
Published: (2024)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
by: Liell-Cock, Jack, et al.
Published: (2024)

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
by: Rasch, Ari
Published: (2024)

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
by: Steevens, Maarten, et al.
Published: (2026)

Reversible Computation with Stacks and "Reversible Management of Failures"
by: Palazzo, Matteo, et al.
Published: (2025)

Disentangling Parallelism and Interference in Game Semantics
by: Castellan, Simon, et al.
Published: (2021)

Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
by: Zhao, Yifan, et al.
Published: (2025)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
by: Maekawa, Seiji, et al.
Published: (2025)

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
by: Rein, Patrick, et al.
Published: (2024)