Skip to Main content Skip to Navigation
Reports

The Data-Dependence Graph of Adjoint Programs

Laurent Hascoët 1
1 TROPICS - Program transformations for scientific computing
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Automatic Differentiation is a technique that permits generation of \em adjoint programs, which compute gradients. In scientific computation, these gradients are a fundamental tool for optimization or data assimilation. Computation of a gradient is relatively expensive, and should therefore be optimized whenever possible. The study of these program optimizations is most often based on the data-dependence graph. Under precise assumptions, we prove that the adjoint program's data-dependence graph is isomorphic to a sub-graph of the original data-dependence graph. The proof relies on a refined definition of the notion of data-dependence, and on a formal definition of adjoint programs in terms of products of local Jacobian matrices. This theorem can be used to transpose optimizations of the original program, to the adjoint program. It can also justify specific transformations on the adjoint. We give some examples of such applications.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00072455
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 10:00:32 AM
Last modification on : Saturday, January 27, 2018 - 1:30:58 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:08:33 PM

Identifiers

  • HAL Id : inria-00072455, version 1

Collections

Citation

Laurent Hascoët. The Data-Dependence Graph of Adjoint Programs. RR-4167, INRIA. 2001. ⟨inria-00072455⟩

Share

Metrics

Record views

160

Files downloads

159