Fetching the paper…

Reading the bibliography…

2012

AD in Fortran, Part 2: Implementation via Prepreprocessor

Radul, Alexey, Pearlmutter, Barak A., Siskind, Jeffrey Mark

Original
PDF
Post on X

Understand

We describe an implementation of the Farfel Fortran AD extensions.

These extensions integrate forward and reverse AD directly into the programming model, with attendant benefits to flexibility, modularity, and ease of use.
The implementation we describe is a "prepreprocessor" that generates input to existing Fortran-based AD tools.
In essence, blocks of code which are targeted for AD by Farfel constructs are put into subprograms which capture their lexical variable context, and these are closure-converted into top-level subprograms and specialized to eliminate EXTERNAL arguments, rendering them amenable to existing AD preprocessors, which are then invoked, possibly repeatedly if the AD is nested.

AD in Fortran, Part 2: Implementation via Prepreprocessor · Around

Built on

Revised report on the algorithmic language ALGOL 60
J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger · 1963
Earlier work this paper cites.
Lambda lifting: Transforming programs to recursive equations
Thomas Johnsson · 1985
Earlier work this paper cites.
ADIFOR: Generating derivative codes from Fortran programs
Christian H. Bischof, Alan Carle, George F. Corliss, Andreas Griewank, and Paul D. Hovland · 1992
Earlier work this paper cites.

Similar

TAPENADE 2.1 user’s guide
Laurent Hascoët and Valérie Pascual · 2004
Cited alongside, same era.
Using programming language theory to make automatic differentiation sound and efficient
Barak A. Pearlmutter and Jeffrey Mark Siskind · 2008
Cited alongside, same era.

Then

Using polyvariant union-free flow analysis to compile a higher-order functional-programming language with a first-class derivative operator to efficient Fortran-like code
Jeffrey Mark Siskind and Barak A. Pearlmutter · 2008
Later among the works it cites.
AD in Fortran, Part 1: Design, 2012
Original
Alexey Radul, Barak A. Pearlmutter, and Jeffrey Mark Siskind · 2012
Closest in time.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…