ADIC2: Development of a component source transformation system for differentiating C and C++

Procedia Computer Science

Volumn 1, Issue 1, 2010, Pages 1845-1853

  Narayanan, Sri Hari Krishna ^a   Norris, Boyana ^a   Winnicka, Beata ^b  

^a ARGONNE NATIONAL LABORATORY   (United States)

^b NONE

Author keywords

ADIC2; Automatic differentiation; Source transformation

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE;

ADIC2; AUTOMATIC DIFFERENTIATIONS; COMPONENT APPROACHES; DESIGN AND IMPLEMENTATIONS; DIFFERENTIATION TOOL; SOFTWARE FRAMEWORKS; SOURCE TRANSFORMATION; SOURCE-TO-SOURCE TRANSFORMATIONS;

C++ (PROGRAMMING LANGUAGE);

EID: 78650271233     PISSN: None     EISSN: 18770509     Source Type: Conference Proceeding    
DOI: 10.1016/j.procs.2010.04.206     Document Type: Conference Paper

References (25)

1. M. Berz, C. Bischof, G. Corliss, A. Griewank (Eds.), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, PA, 1996.
2. J. Utke, OpenAD: Algorithm implementation user guide, Technical Memorandum ANL/MCS-TM-274, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL (2004).
3. C. H. Bischof, L. Roh, A. Mauer, ADIC - An extensible automatic differentiation tool for ANSI-C, Software-Practice and Experience 27 (12) (1997) 1427-1456.
4. A. Griewank, On automatic differentiation, in: M. Iri, K. Tanabe (Eds.), Mathematical Programming: Recent Developments and Applications, Kluwer Academic Publishers, Dordrecht, 1989, pp. 83-108.
5. ADIC2 Web Page, http://trac.mcs.anl.gov/projects/ADIC/.
6. OpenAD Web Page, http://www.mcs.anl.gov/OpenAD/.
7. J. Utke, U. Naumann, M. Fagan, N. Tallent, M. Strout, P. Heimbach, C. Hill, C. Wunsch, OpenAD/F: A modular open-source tool for automatic differentiation of Fortran codes, ACM Trans. Math. Softw. 34 (4) (2008) 1-36. doi:http://doi.acm.org/10.1145/1377596.1377598.
8. M. M. Strout, J. Mellor-Crummey, P. Hovland, Representation-independent program analysis, SIGSOFT Softw. Eng. Notes 31 (1) (2006) 67-74. doi:http://doi.acm.org/10.1145/1108768.1108810.
9. D. Quinlan, ROSE Web Page, http://rosecompiler.org.
10. M. Schordan, D. Quinlan, A source-to-source architecture for user-defined optimizations, in: JMLC'03: Joint Modular Languages Conference, Vol. 2789 of Lecture Notes in Computer Science, Springer Verlag, 2003, pp. 214-223.
11. EDG C++ Front End, http://www.edg.com/index.php?location=c-frontend.
12. M. Strout, OpenAnalysis Web Page, http://openanalysis.berlios.de/.
13. UseOA-ROSE Web Page, http://developer.berlios.de/projects/useoa-rose/.
14. P. D. Hovland, U. Naumann, B. Norris, An XML-based platform for semantic transformation of numerical programs, in: M. Hamza (Ed.), Software Engineering and Applications, ACTA Press, Anaheim, CA, 2002, pp. 530-538.
15. XAIF Web Page, http://www-unix.mcs.anl.gov/xaif/.
16. A. Griewank, D. Juedes, H. Mitev, J. Utke, O. Vogel, A. Walther, ADOL-C: A package for the automatic differentiation of algorithms written in C/C++, Technical Report, Technical University of Dresden, Institute of Scientific Computing and Institute of Geometry, Updated version of the paper originally published in ACM Trans. Math. Software 22, 1996, 131-167 (1999).
17. B. M. Bell, cppAD Web Page, http://www.coin-or.org/CppAD/.
18. P. Aubert, N. Di Césaré, Expression templates and forward mode automatic differentiation, in: G. Corliss, C. Faure, A. Griewank, L. Hascoët, U. Naumann (Eds.), Automatic Differentiation of Algorithms: From Simulation to Optimization, Computer and Information Science, Springer, New York, 2001, Ch. 37, pp. 311-315.
19. C. Bendtsen, O. Stauning, FADBAD, a flexible C++ package for automatic differentiation, Technical Report IMM-REP-1996-17, Department of Mathematical Modelling, Technical University of Denmark, Lyngby, Denmark (Aug. 1996).
20. I. Tsukanov, M. Hall, Fast forward automatic differentiation library (FFADLib): A user manual, Technical Report 2000-4, Spatial Automation Laboratory, University of Wisconsin-Madison, http://sal-cnc.me.wisc.edu/ publications/auto-diff.html (December 2000).
21. I. Charpentier, J. Utke, Fast higher-order derivative tensors with Rapsodia, Optimization Methods Software 24 (1) (2009) 1-14. doi:http://dx.doi. org/10.1080/10556780802413769.
22. V. Pascual, L. Hascoët, TAPENADE for C, in: Advances in Automatic Differentiation, Lecture Notes in Computational Science and Engineering, Springer, 2008, pp. 199-210, selected papers from AD2008 Bonn, August 2008.
23. M. Voßbeck, R. Giering, T. Kaminski, Development and first applications of TAC++, in: C. H. Bischof, H. M. Bücker, P. D. Hovland, U. Naumann, J. Utke (Eds.), Advances in Automatic Differentiation, Springer, 2008, pp. 187-197. doi:10.1007/978-3-540-68942-3-17.
24. S. Balay, K. Buschelman, W. D. Gropp, D. Kaushik, M. G. Knepley, L. C. McInnes, B. F. Smith, H. Zhang, PETSc Web Page, http://www.mcs.anl.gov/petsc (2009).
25. P. Hovland, B. Norris, B. Smith, Making automatic differentiation truly automatic: Coupling PETSc with ADIC, in: P. M. A. Sloot, C. J. K. Tan, J. J. Dongarra, A. G. Hoekstra (Eds.), Computational Science - ICCS 2002, Proceedings of the International Conference on Computational Science, Amsterdam, The Netherlands, April 21-24, 2002. Part II, Vol. 2330 of Lecture Notes in Computer Science, Springer, Berlin, 2002, pp. 1087-1096.