24 citations · 65 across the 16 of their papers we have counts for
3 papers · 1 filter
Evolving the Incremental λ Calculus into a Model of Forward Automatic Differentiation (AD)
Robert Kelly, Barak A. Pearlmutter, Jeffrey Mark Siskind
Formal transformations somehow resembling the usual derivative are surprisingly common in computer science, with two notable examples being derivatives of regular expressions and d…
Efficient Implementation of a Higher-Order Language with Built-In AD
Jeffrey Mark Siskind, Barak A. Pearlmutter
We show that Automatic Differentiation (AD) operators can be provided in a dynamic language without sacrificing numeric performance. To achieve this, general forward and reverse AD…
Binomial Checkpointing for Arbitrary Programs with No User Annotation
Jeffrey Mark Siskind, Barak A. Pearlmutter
Heretofore, automatic checkpointing at procedure-call boundaries, to reduce the space complexity of reverse mode, has been provided by systems like Tapenade. However, binomial chec…