Towards differentiation-enabled Fortran 95 compiler technology

Authors:
Malcolm Cohen;Uwe Naumann;Jan Riehme
Affiliations:
The Numerical Algorithms, Group, Oxford, UK;Argonne National Laboratory, IL;University of Hertfordshire, Hatfield, UK
Venue:
Proceedings of the 2003 ACM symposium on Applied computing
Year:
2003

Citing 7
Cited 3

Evaluating derivatives: principles and techniques of algorithmic differentiation

Evaluating derivatives: principles and techniques of algorithmic differentiation
Symbolic bounds analysis of pointers, array indices, and accessed memory regions

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
C++ Toolbox for Verified Scientific Computing I: Basic Numerical Problems

C++ Toolbox for Verified Scientific Computing I: Basic Numerical Problems
Automatic differentiation of algorithms: from simulation to optimization

Automatic differentiation of algorithms: from simulation to optimization
AD tools and prospects for optimal AD in CFD flux Jacobian calculations

Automatic differentiation of algorithms
Adifor 2.0: Automatic Differentiation of Fortran 77 Programs

IEEE Computational Science & Engineering
Optimal accumulation of Jacobian matrices by elimination methods on the dual computational graph

Mathematical Programming: Series A and B

A differentiation-enabled Fortran 95 compiler

ACM Transactions on Mathematical Software (TOMS)
"To be recorded" analysis in reverse-mode automatic differentiation

Future Generation Computer Systems
"To be recorded" analysis in reverse-mode automatic differentiation

Future Generation Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a novel approach to generating derivative code for mathematical models implemented as Fortran 95 programs using Automatic Differentiation inside a compiler. This technique allows us to combine the advantages of both operator overloading and source transformation based tools for Automatic Differentiation. Furthermore, the compiler's infrastructure for syntactic, semantic, and static data flow analysis can be built on.