ADIC: An extensible automatic differentiation tool for ANSI-C

Software - Practice and Experience

Volumn 27, Issue 12, 1997, Pages 1427-1456

  Bischof, C H ^a   Roh, L ^a   Mauer Oats, A J ^b  

^a ARGONNE NATIONAL LABORATORY   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Automatic differentiation; Derivatives; Semantic augmentation; Source transformation

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS; SOFTWARE PROTOTYPING;

AUTOMATIC DIFFERENTIATION INTERMEDIATE FORM (AIF); SOFTWARE PACKAGE AUTOMATIC DIFFERENTIATION OF C (ADIC);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0031383181     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199712)27:12<1427::AID-SPE138>3.0.CO;2-Q     Document Type: Article

References (56)

1. Proceedings of the 5th AIAA/NASA/USAF/ISSMO Symposium on Multidisciplinary Analysis and Optimization, Panama City, Florida, American Association of Aeronautics and Aerospace Engineers, 1994.
2. N. Alexandrow and M. Hussaini (eds.), Multidisciplinary Design Optimization, SIAM, Philadelphia, 1997.
3. H. Engl and J. McLaughlin, Proceedings of the Symposium on Inverse Problems and Optimal Design in Industry, Teubner Verlag, Stuttgart, 1994.
4. V. V. Goldman and G. Cats, 'Automatic adjoint modeling within a program generation framework: A case study for a weather forecasting grid-point model', in M. Berz, C. Bischof, G. Corliss and A. Griewank (eds.), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 185-194.
5. M. Monagan and R. R. Rodoni, 'An implementation of the forward and reverse mode of automatic differentiation in Maple', in M. Berz, C. Bischof, G. Corliss and A. Griewank (eds.), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 353-362.
6. P. E. Gill, W. Murray, and Margaret H. Wright, Practical Optimization, Academic Press, London, 1981.
7. W. H. Press and S. A. Teukolsky, 'Numerical calculation of derivatives', Computers in Physics, 5(1), 88-89 (1991).
8. C. Bischof, A. Carle, G. Corliss, A. Griewank and P. Hovland, 'ADIFOR: Generating derivative codes from Fortran programs', Scientific Programming, 1(1), 11-29 (1992).
9. C. Bischof, A. Carle, P. Khademi and A. Mauer, 'ADIFOR 2.0: Automatic differentiation of Fortran 77 programs', IEEE Computational Science & Engineering, 3(3), 18-32 (1996).
10. N. Rostaing, S. Dalmas and A. Galligo, 'Automatic differentiation in Odyssee', Tellus, 45a(5), 558-568 (1993).
11. A. Griewank, D. Juedes and J. Utke, 'ADOL-C, a package for the automatic differentiation of algorithms written in C/C++', ACM Transactions on Mathematical Software, 22(2), 131-167 (1996).
12. M. Berz, C. Bischof, G. Corliss and A. Griewank, Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996.
13. C. H. Bischof, W. T. Jones, A. Mauer and J. Samareh, 'Experiences with the application of the ADIC automatic differentiation tool to the CSCMDO 3-D volume grid generation code', Proceedings of the 34th AIAA Aerospace Sciences Meeting, AIAA Paper 96-0716. American Institute of Aeronautics and Astronomics, 1996.
14. J. Abate, C. Bischof, A. Carle and L. Roh, 'Algorithms and design for a second-order automatic differentiation module', Preprint ANL/MCS-636-0197, Mathematics and Computer Science Division, Argonne National Laboratory, 1997. (To appear in Proc. Int. Symposium on Symbolic and Algebraic Computing (ISSAC) '97).
15. J. Abate, C. Bischof, A. Carle and L. Roh, 'Algorithms and design for a second-order automatic differentiation module', Preprint ANL/MCS-636-0197, Mathematics and Computer Science Division, Argonne National Laboratory, 1997. (To appear in Proc. Int. Symposium on Symbolic and Algebraic Computing (ISSAC) '97).
16. M. Berz, High-Order Computation and Normal Form Analysis of Repetitive Systems, volume AIP 249, p. 456, American Institute of Physics, Woodbury, NY, 1991.
17. C. Bischof, G. Corliss and A. Griewank, 'Structured second- and higher-order derivatives through univariate Taylor series', Optimization Methods and Software, 2, 211-232 (1993).
18. A. Griewank, On automatic differentiation', Mathematical Programming: Recent Developments and Applications, Amsterdam, 1989, pp. 83-108, Kluwer Academic.
19. A. Griewank and S. Reese, On the calculation of Jacobian matrices by the Markowitz rule', in A. Griewank and G. F. Corliss (eds.), Automatic Differentiation of Algorithms: Theory, Implementation, and Application, SIAM, Philadelphia, 1991, pp. 126-135.
20. L. B. Rail, Automatic Differentiation: Techniques and Applications,volume 120 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1981.
21. C. Bischof and P-T. Wu, 'Time-parallel computation of pseudo-adjoints for a leapfrog scheme', Preprint ANL/MCS-P639-O197, Mathematics and Computer Science Division, Argonne National Laboratory, 1997.
22. C. H. Bischof and M. R. Haghighat, On hierarchical differentiation', in M. Berz, C. Bischof, G. Corliss and A. Griewank (eds.), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 83-94.
23. C. H. Bischof and P.-T. Wu, 'Exploiting intermediate sparsity in computing derivatives of a leapfrog scheme', PreprintANL/MCS-P572-0396, Mathematics and Computer Science Division, Argonne National Laboratory, 1996.
24. C. Faure, 'Splitting of algebraic expressions for automatic differentiation', in M. Berz, C, Bischof, G. Corliss and A. Griewank (eds.), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 117-128.
25. A. Griewank, 'Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation', Optimization Methods and Software, 1(1), 35-54 (1992).
26. J. Grimm, L. Pottier and N. Rostaing-Schmidt, Optimal time and minimum space time product for reversing a certain class of programs', in M. Berz, C. Bischof, G. Corliss and A. Griewank (eds.), Computational Differentiation, Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 95-106.
27. D. Shiriaev and A. Griewank, 'ADOL-F: Automatic differentiation of Fortran codes', in M. Berz, C. Bischof, G. Corliss and A. Griewank (eds.), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 375-384.
28. J. D. Pryce and J. K. Reid, 'AD01 - a Fortran 90 code for automatic differentiation', unpublished information, Rutherford Appleton Laboratory, Oxon, UK, 1996.
29. C. Bendtsen and O. Stauning, 'FADBAD, A Flexible C++ Package for Automatic Differentiation, Using the Forward and Backward Methods', Technical Report IMM-REP-1996-17, Department of Mathematical Modelling, Technical University of Denmark, August 1996.
30. M. Bartholomew-Biggs, OPFAD - a users guide to the OPtima Forward Automatic Differentiation tool', Technical report, Numerical Optimization Centre, University of Hertfordshire, 1995.
31. S. Brown, OPRAD - a users guide to the OPtima Reverse Automatic Differentiation tool', Technical report, Numerical Optimization Centre, University of Hertfordshire, 1995.
32. R. Giering, 'Tangent linear and adjoint model compiler, users manual', unpublished information, Max-Planck Institut für Meteorologie Hamburg, Germany, 1996.
33. C. Bischof, A. Carle, P. Khademi, A. Mauer and P. Hovland, 'ADIFOR 2.0 user's guide (Revision C)', Technical Memorandum ANL/MCS-TM-192, Mathematics and Computer Science Division, Argonne National Laboratory, 1995. (also CRPC Technical Report CRPC-95516-S).
34. C. Bischof, 'Automatic differentiation and numerical software design', in R. Boisvert (ed.), The Quality of Numerical Software: Assessment and Enhancement, London, 1997, pp. 287-299, Chapman & Hall.
35. C. Bischof, G. Corliss and A. Griewank, 'ADIFOR exception handling', Technical Report ANL/MCS-TM-159, Mathematics and Computer Science Division, Argonne National Laboratory, 1991.
36. C. Bischof and L. Roh, 'ADIC user guide', Technical Memorandum ANL/MCS-TM-225, Mathematics and Computer Science Division, Argonne National Laboratory, 1997.
37. F. Bodin, P. Beckman, D. Gannon, J. Goutwals, S. Narayana, S. Srinivas and B. Winnicka, 'Sage++: An object-oriented toolkit and class library for building Fortran and C++ restructuring tools', Proceedings of the Second Annual Object-Oriented Numerics Conference.IEEE, 1994.
38. H. Pande, 'Compile-time analysis of C and C++ systems', PhD Thesis, Department of Computer Science, Rutgers University, 1996. (Technical Report LCSR-TR-260.)
39. M. Rinard and P. Diniz, 'Commutativity analysis: A new analysis framework for parallelizing compilers', Proceedings ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'96), New York, 1996, pp. 54-67. ACM.
40. R. P. Wilson and M. S. Lam, 'Efficient context-sensitivity pointer analysis for C programs', Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation, New York, 1995, pp. 1-12. ACM Press.
41. P. Hovland, C. Bischof, D. Spiegelman and M. Casella, 'Efficient derivative codes through automatic differentiation and interface contraction: An application in biostatistics', Preprint MCS-P491-0195, Mathematics and Computer Science Division, Argonne National Laboratory, 1995. (To appear in SIAM J. Scientific Computing, 18(4) (July 1997).)
42. P. Hovland, C. Bischof, D. Spiegelman and M. Casella, 'Efficient derivative codes through automatic differentiation and interface contraction: An application in biostatistics', Preprint MCS-P491-0195, Mathematics and Computer Science Division, Argonne National Laboratory, 1995. (To appear in SIAM J. Scientific Computing, 18(4) (July 1997).)
43. C. Bischof, A. Bouaricha, P. Khademi and J. Moré, 'Computing gradients in large-scale optimization using automatic differentiation', Preprint MCS-P488-0195, Mathematics and Computer Science Division, Argonne National Laboratory, 1995. (To appear in INFORMS Journal of Computing.)
44. C. Bischof, A. Bouaricha, P. Khademi and J. Moré, 'Computing gradients in large-scale optimization using automatic differentiation', Preprint MCS-P488-0195, Mathematics and Computer Science Division, Argonne National Laboratory, 1995. (To appear in INFORMS Journal of Computing.)
45. C. Bischof, P. Khademi, A. Bouaricha and A. Carle, 'Efficient computation of gradients and Jacobians by transparent exploitation of sparsity in automatic differentiation', Optimization Methods and Software, 7(1), 1-39 (1996).
46. H.-J. Boehm, 'Space efficient conservative garbage collection', SIGPLAN Notices, 28(6), 197-206 (1993).
47. D. P. Friedman and M. Felleisen, The Little Schemer, MIT Press, Cambridge, 4th edition, 1996.
48. P. Weis, M. Mauny, A. Laville and A. Suarez, The CAML Reference Manual, 1990. (See also http://pauillac.inria.fr/caml.)
49. W. T. Jones and J. Samareh-Abolhassani, 'A grid generation system for multidisciplinary design optimization', Proceedings of the Workshop on Surface Modeling, Grid Generation, and Related Issues in CFD Solutions, 1995, pp. 11-21. NASA-CP3291.
50. R. E. Smith, M. G. I. Bloor, M. Wilson and A. M. Thomas, 'Rapid airplane parametric input design (RAPID)', Proceedings of the 12th AIAA Computational Fluid Dynamics Conference, San Diego, AIAA 95-1687 American Institute of Aeronautics and Astronautics, 1995.
51. V. N. Vatsa, M. D. Sanetrik and E. B. Parlette, 'Development of a flexible and efficient multigrid-based multiblock flow solver', Proceedings of the 31st AIAA Aerospace Sciences Meeting, AIAA 93-0677. American Institute of Aeronautics and Astronautics, 1993.
52. K. M. Cham, S.-Y. Oh, D. Chin, J. Moll, K. Lee and P. V. Voorde, Parasitic Elements Simulation, pp. 129-140, Kluwer Academic, Boston, 2nd edition, 1988.
53. F. A. Adkins and E. J. Haug, Operational envelope of a Spatial stewart platform'. To appear as Technical Brief in ASME J. of Mechanical Design, May 1996.
54. D. W. Juedes and K. Balakrishnan, 'Generalized neural networks, computational differentiation, and evolution', in M. Berz, C. Bischof, G. Corliss and A. Griewank (eds.), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 273-286.
55. B. Lewis and D. J. Berg, Threads Primer, SunSoft Press, 1996.
56. W. Gropp, E. Lusk and A. Skjellum, Using MPI - Portable Parallel Programming with the Message Passing Interface, MIT Press, Cambridge, 1994.