@inproceedings{264f0d69ca5c4671a6c390b148426978,
title = "Linearity analysis for automatic differentiation",
abstract = "Linearity analysis determines which variables depend on which other variables and whether the dependence is linear or nonlinear. One of the many applications of this analysis is determining whether a loop involves only linear loop-carried dependences and therefore the adjoint of the loop may be reversed and fused with the computation of the original function. This paper specifies the data-flow equations that compute linearity analysis. In addition, the paper describes using linearity analysis with array dependence analysis to determine whether a loop-carried dependence is linear or nonlinear.",
author = "Strout, {Michelle Mills} and Paul Hovland",
year = "2006",
doi = "10.1007/11758549_79",
language = "English (US)",
isbn = "3540343857",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "574--581",
booktitle = "Computational Science - ICCS 2006",
note = "ICCS 2006: 6th International Conference on Computational Science ; Conference date: 28-05-2006 Through 31-05-2006",
}