Computer Science AD, Scientific Computation AD:

• A course on AD
  (Detailed lecture notes)
• Static Analyses and Transformations of Programs: from Parallelization to Differentiation
  (Habilitation thesis, 2005)

Mathematical/Numerical issues of AD:

• AD-based perturbation methods for uncertainties and errors
  (Int. J. Engineering Systems Modelling and Simulation, 2010)
• Shape Design in Aerodynamics, Parameterization and Sensitivity
  (European Journal of Computational Mechanics, 2008)
• Multi-level gradient-based methods and parametrization in aerodynamic shape design
  (European Journal of Computational Mechanics, 2008)
• Tangent-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals
  (AD2008, Bonn, 2008)
• Strategies for computing second-order derivatives in CFD design problems
  (Proceedings West-East High-Speed Flow Field conference, Moscow, Russia, 2007)
• Sensitivity evaluation in aerodynamic optimal design
  (Phd thesis, 2007)
• Positivity statements for a mixed-element-volume scheme on fixed and moving grids
  (Revue européenne de mécanique numérique, 2006)
• A methodology for the shape optimization of flexible wings
  (Engineering Computations, 2006)
• Multilevel functional Preconditioning for shape optimisation
  (International Journal of CFD, 2006)
• Optimization loops for shape and error control
  (CIMNE, Barcelona and INRIA report RR-5413, 2006)
• Error analysis for P1-exact schemes
  (Proceedings Finite Elements for Flow Problems, Swansea, UK, 2005)
• Optimization loops for shape and error control
  (Post-SAROD-2005, Bangalore, India, 2005)
• Reverse Automatic Differentiation for Optimum Design: From adjoint state assembly to gradient computation
  (Optimization Methods and Software, 2003)
• Reverse Automatic Differentiation for Optimum Design: from Adjoint State Assembly to Gradient Computation
  (INRIA report RR-4363, 2001)

Computer Science issues of AD:

• Interpretative Adjoints for Numerical Simulation Codes using MPI
  (ICCS'2010, Amsterdam, The Netherlands, 2010)
• Toward Adjoinable MPI
  (Proceedings of 10th PDSEC'09, May 25-29, 2009, Rome, Italy, 2009)
• A Framework for Proving Correctness of Adjoint Message Passing Programs
  (Proceedings of the 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, 2008)
• Reversal Strategies for Adjoint Algorithms
  (Essays in memory of Gilles Kahn, Cambridge University Press, 2009)
• Cheaper Adjoints by Reversing Address Computations
  (Scientific Programming, 2008)
• Adjoints of large simulation codes through Automatic Differentiation
  (Revue européenne de mécanique numérique, 2007)
• Data Representation Alternatives in Semantically Augmented Numerical Models
  (SCAM'06, Philadelphia, PA, USA, 2006)
• The Data-Flow Equations of Checkpointing in reverse Automatic Differentiation
  (ICCS'06, Reading, UK, 2006)
• Approaches to Assess Validity of Derivatives and to Improve Efficiency in Automatic Differentiation of Programs
  (PhD thesis, 2006)
• Certification of Directional Derivatives Computed by Automatic Differentiation
  (WSEAS Transactions on Circuits and Systems, 2005)
• The Adjoint Data-Flow Analyses: Formalization, Properties, and Applications
  (AD2004, Chicago, 2004)
• ``To Be Recorded'' Analysis in Reverse-Mode Automatic Differentiation
  (Future Generation Computer Systems, 2004)
• Data Flow Algorithms in the TAPENADE tool for Automatic Differentiation
  (ECCOMAS, Jyvaskyla, 2004)
• Domain of Validity of Derivatives Computed by Automatic Differentiation
  (INRIA report RR-5237, 2004)
• TBR Analysis in Reverse Mode Automatic Differentiation
  (INRIA report RR-4856, 2002)
• The Data-Dependence Graph of Adjoint Programs
  (INRIA report RR-4167, 2001)
• Automatic Differentiation of Algorithms: From Simulation to Optimization
  (Springer, 2001)
• Adjoining Independent Computations
  (AD2000, Nice, 2000)

AD applied to CFD:

• Multimodel design strategies applied to sonic boom reduction
  (European Journal for Computational Mechanics, 2008))
• Calculs de sensibilité par différentiation pour l'Aérodynamique
  (CANUM06, 2006, also in ESAIM journal)
• Automatic Differentiation for Optimum Design, applied to Sonic Boom reduction
  (ICCSA Computational Science and its Applications, Montreal, 2003)

AD applied to mesh refinements:

• Fully anisotropic goal-oriented mesh adaptation for unsteady flows
  (ECCOMAS-CFD, 2010)
• A framework for Adjoint-based Shape Design and Error Control
  (CFD Journal, 2008)
• Continuous mesh adaptation models for CFD
  (CFD Journal, 2008)
• Coupling optimum shape design and mesh adaptation for sonic boom reduction
  (Proceedings 42nd CAA-AAAF, Sophia-Antipolis, France, 2007)
• A strongly coupled mesh adaptative optimal shape algorithm
  (Proceedings NMFD-ICFD, Reading, UK, 2007)
• Sonic Boom reduction by mesh adapted optimal control
  (European project HISAC, 2006)
• Continuous metrics and mesh optimization
  (Applied Numerical Mathematics, 2006)
• Continuous mesh adaptation models for CFD
  (SAROD-2005, Hyderabad, India, 2005)

AD applied to Earth sciences:

• Multitemporal-patch ensemble inversion of coupled surface-atmosphere radiative transfer models for land surface characterization
  (Remote Sensing of Environment, 2008)
• Building the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE
  (INRIA report RR-6372, 2007)
• Capacités actuelles de la Différentiation Automatique: l'adjoint d'OPA par TAPENADE
  (Colloque National sur l'Assimilation de Données, Toulouse, France, 2006)
• Improved estimates of vegetation biophysical variables from MERIS TOA images by using spatial and temporal constraints
  (9th ISPMSRS symposium, Beijing, 2005)

AD tools and Tapenade:

• TAPENADE for C
  (AD2008, Bonn, 2008)
• Enabling User-driven checkpointing strategies in Reverse-mode Automatic Differentiation
  (ECCOMAS CFD, Egmond aan Zee, 2006)
• TAPENADE: a tool for Automatic Differentiation of programs
  (ECCOMAS, Jyvaskyla, 2004)
• Extension of TAPENADE towards Fortran 95
  (AD2004, Chicago, 2004)
• TAPENADE 2.1 user's guide
  (INRIA report RT-0300, 2004)

• [BuckerLangMeyBischof01]
  H. Martin Buecker, Bruno Lang, Dieter an Mey, Christian Bischof,
  Bringing together Automatic Differentiation and OpenMP
  Proceedings of the 15th ACM International Conference on Supercomputing, Sorrento Italy, pp 246-251, ACM Press, 2001
• [BueckerEtSl04]
  Martin Buecker, George Corliss, Paul Hovland, Uwe Naumann, Boyana Norris, (editors)
  AD2004 Post-Conference Special Collection Springer LNCSE series, 2004
• [CorlissEtAl01]
  George Corliss, Christele Faure, Andreas Griewank, Laurent Hascoet, Uwe Naumann, (editors)
  Automatic Differentiation of Algorithms, from Simulation to Optimization
  Springer LNCSE series, 2001
• [GrieWalt08]
  Andreas Griewank, Andrea Walther,
  Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2nd edition
  #105 in Other Titles in Applied Mathematics, SIAM, 2008
  http://www.ec-securehost.com/SIAM/OT105.html
• [Griewank00]
  Andreas Griewank,
  Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation
  Frontiers in applied mathematics, SIAM, 2000
• [TadjoudineEyssetteFaure98]
  Mohammed Tadjouddine, Frederic Eyssette, Christele Faure,
  Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis
  Proceedings of the 5th International Static Analysis Symposium, Pisa Italy, LNCS No 1503, pp 311-326, Springer, 1998
• [GriewankUtkeWalther97]
  Andreas Griewank, Jean Utke, Andrea Walther,
  Evaluating higher derivative tensors by forward propagation of univariate Taylor series
  (i)Tech. report, Technical University Dresden, Germany, 1997
  (ii)Mathematics of Computation 96, pp 1117-1130, 2000
• [BerzBischofCorlissGriewank96]
  Martin Berz, Chris Bischof, George Corliss, Andreas Griewank, (editors)
  Computational Differentiation: Techniques, Applications and Tools
  Proceedings of 2nd SIAM workshop on AD, Santa Fe, 96, SIAM, 1996
• [MetcalfReid96]
  Michael Metcalf, John Reid
  FORTRAN 90/95 explained
  Oxford science publications, 1996
• [GriewankCorliss92]
  Andreas Griewank, George Corliss, (editors)
  Automatic Differentiation of Algorithms: Theory, Implementation, and Application
  Proceedings of 1st SIAM workshop on AD, Breckenridge Colorado, January 6-8, 91, SIAM, 1992
• [AhoSethiUllman86]
  Alfred Aho, Ravi Sethi, Jeffrey Ullman,
  Compilers: Principles, Techniques, and Tools
  Addison-Wesley, 1986

the Tropics team