R. Giering and T. Kaminski, Recomputations in reverse mode AD, in Automatic Differentiation: From Simulation to Optimization, Computer and Information Science, pp.33-283, 2002.

J. R. Gilbert, T. Lengauer, and R. E. Tarjan, The Pebbling Problem is Complete in Polynomial Space, SIAM Journal on Computing, vol.9, issue.3, pp.513-524, 1980.
DOI : 10.1137/0209038

M. B. Giles and N. A. Pierce, An introduction to the adjoint approach to design, Flow, Turbulence and Combustion, pp.393-415, 2000.

A. Griewank, Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation, Optimization Methods and software, pp.35-54, 1992.

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, 105 in Other Titles in Applied Mathematics, SIAM, 2008.
DOI : 10.1137/1.9780898717761

P. Heimbach, C. Hill, and R. Giering, An efficient exact adjoint of the parallel MIT General Circulation Model, generated via automatic differentiation, Future Generation Computer Systems, vol.21, issue.8, pp.1356-1371, 2005.
DOI : 10.1016/j.future.2004.11.010

J. Hong, H. Kung, and I. , The red-blue pebble game, STOC'81: Proceedings of the 13th ACM symposium on Theory of Computing, pp.326-333, 1981.

A. Jameson, Aerodynamic shape optimization using the adjoint method, Lectures at the Von Karman Institute, 2003.

R. Sethi, Complete register allocation problems, STOC'73: Proceedings of the fifth annual ACM symposium on Theory of computing, pp.182-195, 1973.

R. Sethi and J. Ullman, The Generation of Optimal Code for Arithmetic Expressions, Journal of the ACM, vol.17, issue.4, pp.715-728, 1970.
DOI : 10.1145/321607.321620

P. Stumm and A. Walther, MultiStage Approaches for Optimal Offline Checkpointing, SIAM Journal on Scientific Computing, vol.31, issue.3, pp.31-1946, 2009.
DOI : 10.1137/080718036

A. Walther, Program reversal schedules for single-and multi-processor machines, 1999.