5 citations · 5 across the 5 of their papers we have counts for
6 papers
Dual-Numbers Reverse AD for Functional Array Languages
Tom Smeding, Mikołaj Konarski, Simon Peyton Jones +1
The standard dual-numbers construction works well for forward-mode automatic differentiation (AD) and is attractive due to its simplicity; recently, it also has been adapted to rev…
Comparing Parallel Functional Array Languages: Programming and Performance
David van Balen, Tiziano De Matteis, Clemens Grelck +12
Parallel functional array languages are an emerging class of programming languages that promise to combine low-effort parallel programming with good performance and performance por…
Efficient CHAD
Tom Smeding, Matthijs Vákár
We show how the basic Combinatory Homomorphic Automatic Differentiation (CHAD) algorithm can be optimised, using well-known methods, to yield a simple, composable, and generally ap…
Parallel Dual-Numbers Reverse AD
Tom Smeding, Matthijs Vákár
Where dual-numbers forward-mode automatic differentiation (AD) pairs each scalar value with its tangent value, dual-numbers reverse-mode AD attempts to achieve reverse AD using a s…
Dual-Numbers Reverse AD, Efficiently
Tom Smeding, Matthijs Vákár
Where dual-numbers forward-mode automatic differentiation (AD) pairs each scalar value with its tangent derivative, dual-numbers /reverse-mode/ AD attempts to achieve reverse AD us…
CHAD: Combinatory Homomorphic Automatic Differentiation
Matthijs Vákár, Tom Smeding
We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a principled, pure, provably correct define-then-run method for performing forward- and reverse-mode automati…