Skip to Main content Skip to Navigation
New interface

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 :
Complete list of metadata
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 10:00:32 AM
Last modification on : Friday, February 4, 2022 - 3:18:46 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:08:33 PM


  • HAL Id : inria-00072455, version 1



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



Record views


Files downloads