TAF

Summary:
Transformation of Algorithms in Fortran (TAF) is a source-to-source AD-tool for Fortran-95 programs. TAF supports forward and reverse mode of AD and Automatic Sparsity Detection (ASD) for detection of the sparsity structure of Jacobians.

URL: http://www.FastOpt.de

Developers:

• Ralf Giering, FastOpt
  Thomas Kaminski, FastOpt
  

Mode:	Forward Reverse
Method:	Source transformation
supported Language:	Fortran77 Fortran95

Reference:


Features:

Fortran-95 Support:

TAF supports the full Fortran-95 standard. Only operator overloading and generic functions are not supported.

Analyses:

TAF normalizes the code and applies a control flow analysis. TAF applies
an intraprocedural data dependence and an interprocedural data flow analysis.
Given the independent and dependent variables of the specified top-level
routine, TAF determines all active routines and variables and produces
derivative code only for those.

Performance:

TAF predicts the computational costs of code fragments for an (sub)optimal
decision between recomputation and storing of intermediate results in reverse
mode.

Directives:

TAF accepts several kinds of directives. Using the reverse mode storing
of variables is controlled by directives.

Multi level checkpointing can be implemented by splitting a loop and
inserting directives.

Black box (library) routines are handled using flow information given
by directives.

Supported Platforms:

• Unix/Linux
  

Licensing: license

References on TAF in our publication database:  66

10+ #Pubs 0	1	1	1	11	18	7	15	7	1	2	1	1
	'96	'98	'01	'02	'03	'04	'05	'06	'07	'08	'09	'11
	Year

Selected Applications:

• The Adjoint MIT Ocean General Circulation Model

Related Research Groups:

• FastOpt, Germany