Reducing reverse-mode memory requirements by using profile-driven checkpointing

Future Generation Computer Systems

Volumn 21, Issue 8, 2005, Pages 1380-1390

  Fagan, Mike ^a   Carle, Alan ^a  

^a Rice University   (United States)

Author keywords

Automatic differentiation; Profiling; Reverse mode

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL FLUID DYNAMICS; COSTS; REVERSE ENGINEERING;

CHECKPOINTS; COMPUTATION CODES; REVERSE-MODE CODES; REVERSE-MODE USERS;

PROBLEM SOLVING;

EID: 24044433567     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.future.2004.11.005     Document Type: Conference Paper

References (16)

1. A. Griewank, D. Juedes, and J. Utke ADOL-C, a package for the automatic differentiation of algorithms written in C/C++ ACM Trans. Math. Softw. 22 2 1996 131 167
2. N. Rostaing, S. Dalmas, and A. Galligo Automatic differentiation in Odyssée Tellus 45A 5 1993 558 568
3. R. Giering, and T. Kaminski Recipes for adjoint code construction ACM Trans. Math. Softw. 24 4 1998 437 474
4. M. Fagan, A. Carle, Adifor 3.0 overview, Technical Report, CAAM-TR00-03, Department of Computational and Applied Mathematics, Rice University, 2000.
5. A. Griewank Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation 2000 SIAM Philadelphia
6. C. Faure Adjoining strategies for multi-layered programs Opt. Meth. Softw. 17 1 2002 129 164
7. C. Faure, and I. Charpentier Comparing global strategies for coding adjoints Sci. Programm. 9 1 2001 1 11
8. J. Grimm, L. Pottier, and N. Rostaing-Schmidt Optimal time and minimum space-time product for reversing a certain class of programs M. Berz C. Bischof G. Corliss A. Griewank Computational Differentiation: Applications, Techniques, and Tools 1996 SIAM Philadelphia 95 106
9. A. Griewank Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation Opt. Meth. Softw. 1 1 1992 35 54
10. C.L. Rumsey, R.T. Biedron, J.L. Thomas, CFL3D: its history and some recent applications, Technical Report, NASA Technical Memorandum 112861, NASA Langley Research Center, 1997.
11. B. Christianson Reverse accumulation and attractive fixed points Opt. Meth. Softw. 3 1994 311 326
12. D. Knuth An empirical study of FORTRAN programs Softw.: Pract. Experience 1 1971 105 133
13. J. Bentley Writing Efficient Programs 1982 Prentice-Hall
14. J. Bentley Programming Pearls 2nd ed. 1999 Addison-Wesley
15. J. Bentley More Programming Pearls: Confessions of a Coder 1988 Addison-Wesley
16. S. Graham, P. Kessler, and M. McKusick An execution profiler for modular programs Softw.: Pract. Experience 13 1983 671 685