TAPENADE 2.1 user's guide

Laurent Hascoët (1) , Valérie Pascual (1)

1 TROPICS - Program transformations for scientific computing

This is the user's manual for the version 2.1 of the Automatic Differentiation tool TAPENADE. Given a source computer program that computes a differentiable mathematical function $F$, TAPENADE builds a new source program that computes some of the derivatives of $F$, specifically directional derivatives ("tangent mode") and gradients ("reverse mode"). This report summarizes the mathematical justifications of Automatic Differentiation, then describes in full detail the differentiation model that TAPENADE implements. Our goal is to give the users of TAPENADE a precise understanding of the actions and choices made while differentiating programs, so as to improve their confidence in the produced source programs. This report documents all the available options and parameterizations that the users can give to TAPENADE, and conversely all the diagnosis and requirements that TAPENADE may issue towards the users. After a brief description of TAPENADE's architecture and performances, this report describes more fully the validation and improvement techniques for differentiated codes.

Mots clés: AUTOMATIC DIFFERENTIATION; ALGORITHMIC DIFFERENTIATION; ADJOINT; GRADIENT; OPTIMIZATION; INVERSE PROBLEMS; STATIC ANALYSIS; DATA-FLOW ANALYSIS; COMPILATION

Domaines: Autre [cs.OH]

Laurent Hascoët, Valérie Pascual. TAPENADE 2.1 user's guide. [Technical Report] RT-0300, INRIA. 2004, pp.78. ⟨inria-00069880⟩