Bibliography

• 1F. Courty, A. Dervieux.
  
  Multilevel functional Preconditioning for shape optimisation, in: International Journal of CFD, 2006, vol. 20, n^o 7, p. 481-490.
• 2F. Courty, A. Dervieux, B. Koobus, L. Hascoët.
  
  Reverse automatic differentiation for optimum design: from adjoint state assembly to gradient computation, in: Optimization Methods and Software, 2003, vol. 18, n^o 5, p. 615-627.
• 3B. Dauvergne, L. Hascoët.
  
  The Data-Flow Equations of Checkpointing in reverse Automatic Differentiation, in: International Conference on Computational Science, ICCS 2006, Reading, UK, 2006.
• 4A. Griewank.
  
  Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, SIAM, Frontiers in Applied Mathematics, 2000.
• 5L. Hascoët, M. Araya-Polo.
  
  The Adjoint Data-Flow Analyses: Formalization, Properties, and Applications, in: Automatic Differentiation: Applications, Theory, and Tools, H. M. Bücker, G. Corliss, P. Hovland, U. Naumann, B. Norris (editors), Lecture Notes in Computational Science and Engineering, Springer, 2005.
• 6L. Hascoët, S. Fidanova, C. Held.
  
  Adjoining Independent Computations, in: Automatic Differentiation of Algorithms: From Simulation to Optimization, New York, NY, G. Corliss, C. Faure, A. Griewank, L. Hascoët, U. Naumann (editors), Computer and Information Science, Springer, New York, NY, 2001, chap. 35, p. 299-304.
• 7L. Hascoët, U. Naumann, V. Pascual.
  
  “To Be Recorded” Analysis in Reverse-Mode Automatic Differentiation, in: Future Generation Computer Systems, 2004, vol. 21, n^o 8.
• 8L. Hascoët, J. Utke, U. Naumann.
  
  Cheaper Adjoints by Reversing Address Computations, in: Scientific Programming, 2008, vol. 16, n^o 1, p. 81–92.
• 9L. Hascoët, M. Vázquez, B. Koobus, A. Dervieux.
  
  A Framework for Adjoint-based Shape Design and Error Control, in: Computational Fluid Dynamics Journal, 2008, vol. 16, n^o 4, p. 454-464.
• 10M. Vázquez, A. Dervieux, B. Koobus.
  
  Multilevel optimization of a supersonic aircraft, in: Finite Elements in Analysis and Design, 2004, vol. 40, p. 2101-2124.

Doctoral Dissertations and Habilitation Theses

• 11H. Alcin.
  
  Résolution d'écoulements instationnaires et adjoints, Université de Nice Sophia-Antipolis, 2012.

Articles in International Peer-Reviewed Journals

• 12H. Alcin, B. Koobus, O. Allain, A. Dervieux.
  
  Efficiency and scalability of a two-level Schwarz algorithm for incompressible and compressible flows, in: International Journal for Numerical Methods in Fluids, 2012.
  
  http://dx.doi.org/10.1002/fld.3733
• 13A. Belme, A. Dervieux, F. Alauzet.
  
  Time Accurate Anisotropic Goal-Oriented Mesh Adaptation for Unsteady Flows, in: J. Comp. Phys., 2012, vol. 231, n^o 19, p. 6323-6348.

International Conferences with Proceedings

• 14H. Alcin, B. Koobus, O. Allain, A. Dervieux.
  
  On 2-level Schwarz Algorithms for LES compressible flows, in: Proceedings of Par-CFD, 2012.
• 15L. Hascoët, S. Hossain, T. Steihaug.
  
  Structure in Optimization: Factorable Programming and Functions, in: Proceedings of the 27th International Symposium on Computer and Information Sciences, ISCIS 2012, Springer, 2012.
  
  http://dx.doi.org/10.1007/978-1-4471-4594-3_46
• 16V. Pascual, L. Hascoët.
  
  Native handling of Message-Passing communication in Data-Flow analysis, in: Recent Advances in Algorithmic Differentiation, Lecture Notes in Computational Science and Engineering, Springer, 2012, p. 83-92, Selected papers from AD2012 Fort Collins, july 2012.

Scientific Books (or Scientific Book chapters)

• 17L. Hascoët.
  
  Adjoints by Automatic Differentiation, in: Advanced data assimilation for geosciences, E. Blayo, M. Bocquet, E. Cosme (editors), Oxford University Press, 2012, to appear.
• 18C. Lauvernet, L. Hascoët, F.-X. Le Dimet, F. Barret.
  
  Using Automatic Differentiation to study the sensitivity of a crop model, in: Recent Advances in Algorithmic Differentiation, Lecture Notes in Computational Science and Engineering, Springer, 2012, p. 59-70, Selected papers from AD2012 Fort Collins, july 2012.

Internal Reports

• 19L. Hascoët, V. Pascual.
  
  The Tapenade Automatic Differentiation tool: principles, model, and specification, Inria, May 2012, n^o RR-7957, 53 p.
  
  http://hal.inria.fr/hal-00695839

• 20A. Aho, R. Sethi, J. Ullman.
  
  Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986.
• 21I. Attali, V. Pascual, C. Roudet.
  
  A language and an integrated environment for program transformations, Inria, 1997, n^o 3313.
  
  http://hal.inria.fr/inria-00073376
• 22A. Belme.
  
  Unsteady Aerodynamics and Adjoint method, Université de Nice Sophia-Antipolis, 2011.
• 23D. Clément, J. Despeyroux, L. Hascoët, G. Kahn.
  
  Natural semantics on the computer, in: Proceedings, France-Japan AI and CS Symposium, ICOT, 1986, p. 49-89, Also, Information Processing Society of Japan, Technical Memorandum PL-86-6. Also Inria research report # 416.
  
  http://hal.inria.fr/inria-00076140
• 24J.-F. Collard.
  
  Reasoning about program transformations, Springer, 2002.
• 25P. Cousot.
  
  Abstract Interpretation, in: ACM Computing Surveys, 1996, vol. 28, n^o 1, p. 324-328.
• 26B. Creusillet, F. Irigoin.
  
  Interprocedural Array Region Analyses, in: International Journal of Parallel Programming, 1996, vol. 24, n^o 6, p. 513–546.
• 27J. Gilbert.
  
  Automatic differentiation and iterative processes, in: Optimization Methods and Software, 1992, vol. 1, p. 13–21.
• 28M.-B. Giles.
  
  Adjoint methods for aeronautical design, in: Proceedings of the ECCOMAS CFD Conference, 2001.
• 29A. Griewank, C. Faure.
  
  Reduced Gradients and Hessians from Fixed Point Iteration for State Equations, in: Numerical Algorithms, 2002, vol. 30(2), p. 113–139.
• 30A. Griewank, A. Walther.
  
  Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2nd, SIAM, Other Titles in Applied Mathematics, 2008.
• 31L. Hascoët.
  
  Transformations automatiques de spécifications sémantiques: application: Un vérificateur de types incremental, Université de Nice Sophia-Antipolis, 1987.
• 32P. Hovland, B. Mohammadi, C. Bischof.
  
  Automatic Differentiation of Navier-Stokes computations, Argonne National Laboratory, 1997, n^o MCS-P687-0997.
• 33F.-X. Le Dimet, O. Talagrand.
  
  Variational algorithms for analysis and assimilation of meteorological observations: theoretical aspects, in: Tellus, 1986, vol. 38A, p. 97-110.
• 34G. Madec, P. Delecluse, M. Imbard, C. Levy.
  
  OPA8.1 ocean general circulation model reference manual, Pole de Modelisation, IPSL, 1998.
• 35B. Mohammadi.
  
  Practical application to fluid flows of automatic differentiation for design problems, in: Von Karman Lecture Series, 1997.
• 36N. Rostaing.
  
  Différentiation Automatique: application à un problème d'optimisation en météorologie, université de Nice Sophia-Antipolis, 1993.
• 37R. Rugina, M. Rinard.
  
  Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions, in: Proceedings of the ACM SIGPLAN'00 Conference on Programming Language Design and Implementation, ACM, 2000.
• 38J. Utke, L. Hascoët, P. Heimbach, C. Hill, P. Hovland, U. Naumann.
  
  Toward Adjoinable MPI, in: Proceedings of the 10th IEEE International Workshop on Parallel and Distributed Scientific and Engineering, PDSEC'09, 2009.