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

• 11A. Belme.
  
  Unsteady Aerodynamics and Adjoint method, Université de Nice Sophia-Antipolis, 2011.

Articles in International Peer-Reviewed Journal

• 12R. Bourguet, M. Braza, A. Dervieux.
  
  Reduced order modeling of transonic flows around an airfoil, in: Journal of Computational Physics, 2011, vol. 230, n^o 1, p. 159-184.
• 13M.-V. Salvetti, H. Ouvrard, B. Koobus, S. Wornom, S. Camarri, A. Dervieux.
  
  Simulation of the flow past a circular cylinder in the supercritical regime by blending RANS and variational-multiscale LES approaches, in: Flow, Turbulence and Combustion, 2011, to appear.
• 14S. Wornom, H. Ouvrard, M.-V. Salvetti, B. Koobus, A. Dervieux.
  
  Classical and Variational Multiscale Large-Eddy Simulations of the Flow past a Circular Cylinder : Reynolds number effects, in: Computer and Fluids, 2011, vol. 47, p. 44-50.

Internal Reports

• 15S. Wornom.
  
  Analysis of flow over cylinders using the AIRONUM software, INRIA, March 2011, n^o RR-7550.
  
  http://hal.inria.fr/inria-00574198/en

• 16A. Aho, R. Sethi, J. Ullman.
  
  Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986.
• 17I. 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
• 18D. Clément, J. Despeyroux, L. Hascoët, G. Kahn.
  
  Natural semantics on the computer, in: K. Fuchi and M. Nivat, editors, 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
• 19J.-F. Collard.
  
  Reasoning about program transformations, Springer, 2002.
• 20P. Cousot.
  
  Abstract Interpretation, in: ACM Computing Surveys, 1996, vol. 28, n^o 1, p. 324-328.
• 21B. Creusillet, F. Irigoin.
  
  Interprocedural Array Region Analyses, in: International Journal of Parallel Programming, 1996, vol. 24, n^o 6, p. 513–546.
• 22J. Gilbert.
  
  Automatic differentiation and iterative processes, in: Optimization Methods and Software, 1992, vol. 1, p. 13–21.
• 23M.-B. Giles.
  
  Adjoint methods for aeronautical design, in: Proceedings of the ECCOMAS CFD Conference, 2001.
• 24A. Griewank, C. Faure.
  
  Reduced Gradients and Hessians from Fixed Point Iteration for State Equations, in: Numerical Algorithms, 2002, vol. 30(2), p. 113–139.
• 25A. Griewank, A. Walther.
  
  Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2nd, SIAM, Other Titles in Applied Mathematics, 2008.
• 26L. Hascoët.
  
  Transformations automatiques de spécifications sémantiques: application: Un vérificateur de types incremental, Université de Nice Sophia-Antipolis, 1987.
• 27P. Hovland, B. Mohammadi, C. Bischof.
  
  Automatic Differentiation of Navier-Stokes computations, Argonne National Laboratory, 1997, n^o MCS-P687-0997.
• 28F.-X. LeDimet, O. Talagrand.
  
  Variational algorithms for analysis and assimilation of meteorological observations: theoretical aspects, in: Tellus, 1986, vol. 38A, p. 97-110.
• 29G. Madec, P. Delecluse, M. Imbard, C. Levy.
  
  OPA8.1 ocean general circulation model reference manual, Pole de Modelisation, IPSL, 1998.
• 30B. Mohammadi.
  
  Practical application to fluid flows of automatic differentiation for design problems, in: Von Karman Lecture Series, 1997.
• 31N. Rostaing.
  
  Différentiation Automatique: application à un problème d'optimisation en météorologie, université de Nice Sophia-Antipolis, 1993.
• 32R. 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.
• 33M. Schanen, U. Naumann, L. Hascoët, J. Utke.
  
  Interpretative Adjoints for Numerical Simulation Codes using MPI, in: Proceedings of the 10th International Conference on Computational Science, ICCS'2010, 2010.