C. H. Bischof, H. M. Bücker, P. D. Hovland, and U. Naumann, Advances in Automatic Differentiation, Lecture Notes in Computational Science and Engineering, vol.64, 2008.
DOI : 10.1007/978-3-540-68942-3

B. Creusillet and F. Irigoin, Interprocedural Array Region Analyses, International Journal of Parallel Programming, vol.2, issue.3, pp.513-546, 1996.
DOI : 10.1007/BF03356758
URL : https://hal.archives-ouvertes.fr/hal-00752611

B. Dauvergne and L. Hascoët, The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation, Lecture Notes in Computer Science, vol.3994, pp.566-573, 2006.
DOI : 10.1007/11758549_78

A. Griewank and A. Walther, Algorithm 799: revolve: an implementation of checkpointing for the reverse or adjoint mode of computational differentiation, ACM Transactions on Mathematical Software, vol.26, issue.1, pp.19-45, 2000.
DOI : 10.1145/347837.347846

A. Griewank and A. Walther, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2008.
DOI : 10.1137/1.9780898717761

M. Strout, B. Kreaseck, and P. Hovland, Data-Flow Analysis for MPI Programs, 2006 International Conference on Parallel Processing (ICPP'06), pp.175-184, 2006.
DOI : 10.1109/ICPP.2006.32
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.4540