The Tapenade Automatic Differentiation tool: principles, model, and specification

Laurent Hascoet 1, * Valérie Pascual 1
* Auteur correspondant
1 SCIPORT - Program transformations for scientific computing
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Tapenade is an Automatic Differentiation tool which, given a Fortran or C code that computes a function, creates a new code that computes its tangent or adjoint derivatives. Tapenade puts particular emphasis on adjoint differentiation, which computes gradients at a remarkably low cost. This paper describes the principles of Tapenade, a subset of the general principles of AD. We motivate and illustrate on examples the AD model of Tapenade, i.e. the structure of differentiated codes and the strategies used to make them more efficient. Along with this informal description, we formally specify this model by means of Data-Flow equations and rules of Operational Semantics, making this the reference specification of the tangent and adjoint modes of Tapenade. One benefit we expect from this formal specification is the capacity to study formally the AD model itself, especially for the adjoint mode and its sophisticated strategies. This paper also describes the architectural choices of the implementation of Tapenade. We describe the current performances of Tapenade on a set of codes that include industrial-size applications. We present the extensions of the tool that are planned in a foreseeable future, deriving from our ongoing research on AD.
Type de document :
Article dans une revue
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2013, 39 (3), 〈10.1145/2450153.2450158〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00913983
Contributeur : Laurent Hascoet <>
Soumis le : mercredi 4 décembre 2013 - 16:30:41
Dernière modification le : mardi 30 janvier 2018 - 16:56:01
Document(s) archivé(s) le : samedi 8 avril 2017 - 03:56:56

Fichier

tapenadeRefV2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Laurent Hascoet, Valérie Pascual. The Tapenade Automatic Differentiation tool: principles, model, and specification. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2013, 39 (3), 〈10.1145/2450153.2450158〉. 〈hal-00913983〉

Partager

Métriques

Consultations de la notice

275

Téléchargements de fichiers

462