Bibliography

Major publications by the team in recent years

• 1F. Courty, A. Dervieux.
  
  Multilevel functional Preconditioning for shape optimisation, in: International Journal of CFD, 2006, vol. 20, n^o 7, pp. 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, pp. 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.
• 4L. 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.
• 5L. 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, 2001, chap. 35, pp. 299-304.
• 6L. Hascoët.
  
  Adjoints by Automatic Differentiation, in: Advanced data assimilation for geosciences, Oxford University Press, 2014.
  
  https://hal.inria.fr/hal-01109881
• 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, pp. 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, pp. 454-464.
• 10L. Hascoët, V. Pascual.
  
  The Tapenade Automatic Differentiation tool: Principles, Model, and Specification, in: ACM Transactions On Mathematical Software, 2013, vol. 39, n^o 3.
  
  http://dx.doi.org/10.1145/2450153.2450158
• 11M. Vázquez, A. Dervieux, B. Koobus.
  
  Multilevel optimization of a supersonic aircraft, in: Finite Elements in Analysis and Design, 2004, vol. 40, pp. 2101-2124.

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 12G. Brethes.
  
  Adaptative and scalable mesh adaptation, Université Nice Sophia Antipolis, December 2015.
  
  https://hal.inria.fr/tel-01256185

Articles in International Peer-Reviewed Journals

• 13G. Brethes, O. Allain, A. Dervieux.
  
  A Mesh-Adaptive Metric-Based Full-Multigrid for the Poisson problem, in: Internationale journal for numerical methods in fluids, June 2015.
  
  https://hal.inria.fr/hal-01255500
• 14F. Demangeon, C. Goeury, F. Zaoui, N. Goutal, V. Pascual, L. Hascoët.
  
  Algorithmic differentiation applied to the optimal calibration of a shallow water model, in: La Houille Blanche - Revue Internationale de l'Eau, 2015.
  
  https://hal.inria.fr/hal-01244264

International Conferences with Proceedings

• 15A. Taftaf, L. Hascoët, V. Pascual.
  
  Implementation and measurements of an efficient Fixed Point Adjoint, in: EUROGEN 2015, GLASGOW, United Kingdom, ECCOMAS, September 2015.
  
  https://hal.inria.fr/hal-01244298

Conferences without Proceedings

• 16G. Brethes, A. Loseille, F. Alauzet, A. Dervieux.
  
  Estimates- and Corrector-based Mesh Adaptation, in: 1st Pan-American Congress on Computational Mechanics - PANACM 2015 XI Argentine Congress on Computational Mechanics - MECOM 2015, Buenos Aires, Argentina, April 2015.
  
  https://hal.inria.fr/hal-01256111
• 17E. Itam, S. Wornom, B. Koobus, A. Dervieux.
  
  Application of a Hybrid Variational Multiscale Model to Massively Separated Flows, in: 3AF, Toulouse, France, March 2015.
  
  https://hal.inria.fr/hal-01256081
• 18E. Itam, S. Wornom, B. Koobus, B. Sainte-Rose, A. Dervieux.
  
  Simulation of multiple blunt-body flows with a hybrid variational multiscale model, in: Conference on Modelling Fluid Flow (CMFF'15), Budapest, Hungary, September 2015.
  
  https://hal.inria.fr/hal-01256084
• 19A. Loseille, A. Dervieux, F. Alauzet.
  
  Anisotropic Norm-Oriented Mesh Adaptation for Compressible Inviscid Flows, in: 53rd AIAA Aerospace Sciences Meeting, AIAA SciTech, Kissimmee, Florida, United States, January 2015.
  
  https://hal.inria.fr/hal-01256131

References in notes

• 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
• 22B. Christianson.
  
  Reverse accumulation and implicit functions, in: Optimization Methods and Software, 1998, vol. 9, n^o 4, pp. 307–322.
• 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, pp. 49-89, Also, Information Processing Society of Japan, Technical Memorandum PL-86-6. Also Inria research report # 416.
  
  http://hal.inria.fr/inria-00076140
• 24P. Cousot.
  
  Abstract Interpretation, in: ACM Computing Surveys, 1996, vol. 28, n^o 1, pp. 324-328.
• 25B. Creusillet, F. Irigoin.
  
  Interprocedural Array Region Analyses, in: International Journal of Parallel Programming, 1996, vol. 24, n^o 6, pp. 513–546.
• 26J. Gilbert.
  
  Automatic differentiation and iterative processes, in: Optimization Methods and Software, 1992, vol. 1, pp. 13–21.
• 27M.-B. Giles.
  
  Adjoint methods for aeronautical design, in: Proceedings of the ECCOMAS CFD Conference, 2001.
• 28A. Griewank, C. Faure.
  
  Reduced Gradients and Hessians from Fixed Point Iteration for State Equations, in: Numerical Algorithms, 2002, vol. 30(2), pp. 113–139.
• 29A. Griewank, A. Walther.
  
  Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2nd, SIAM, Other Titles in Applied Mathematics, 2008.
• 30L. Hascoët.
  
  Transformations automatiques de spécifications sémantiques: application: Un vérificateur de types incremental, Université de Nice Sophia-Antipolis, 1987.
• 31P. Hovland, B. Mohammadi, C. Bischof.
  
  Automatic Differentiation of Navier-Stokes computations, Argonne National Laboratory, 1997, n^o MCS-P687-0997.
• 32F.-X. Le Dimet, O. Talagrand.
  
  Variational algorithms for analysis and assimilation of meteorological observations: theoretical aspects, in: Tellus, 1986, vol. 38A, pp. 97-110.
• 33G. Madec, P. Delecluse, M. Imbard, C. Levy.
  
  OPA8.1 ocean general circulation model reference manual, Pole de Modelisation, IPSL, 1998.
• 34B. Mohammadi.
  
  Practical application to fluid flows of automatic differentiation for design problems, in: Von Karman Lecture Series, 1997.
• 35N. Rostaing.
  
  Différentiation Automatique: application à un problème d'optimisation en météorologie, université de Nice Sophia-Antipolis, 1993.
• 36R. 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.