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

Articles in International Peer-Reviewed Journals

• 12G. Brèthes, A. Dervieux.
  Anisotropic norm-oriented mesh adaptation for a Poisson problem, in: Journal of Computational Physics, 2016, vol. 322, pp. 804 - 826. [ DOI : 10.1016/j.jcp.2016.07.008 ]
  https://hal.inria.fr/hal-01413431
• 13D. Goldberg, S. H. K. Narayanan, L. Hascoet, J. Utke.
  An optimized treatment for algorithmic differentiation of an important glaciological fixed-point problem, in: Geoscientific Model Development, 2016, vol. 9, n^o 5, 27 p.
  https://hal.inria.fr/hal-01413295
• 14L. Hascoët, J. Utke.
  Programming language features, usage patterns, and the efficiency of generated adjoint code, in: Optimization Methods and Software, 2016, vol. 31, pp. 885 - 903. [ DOI : 10.1080/10556788.2016.1146269 ]
  https://hal.inria.fr/hal-01413332
• 15J. C. Hueckelheim, L. Hascoët, J.-D. Müller.
  Algorithmic differentiation of code with multiple context-specific activities, in: ACM Transactions on Mathematical Software, 2016.
  https://hal.inria.fr/hal-01413321

International Conferences with Proceedings

• 16L. Hascoët, M. Morlighem.
  Source-transformation Differentiation of a C++-like Ice Sheet model, in: AD2016 - 7th International Conference on Algorithmic Differentiation, Oxford, United Kingdom, September 2016, 4 p.
  https://hal.inria.fr/hal-01413381
• 17E. Itam, S. Wornom, B. Koobus, A. Dervieux.
  A Volume-Agglomeration Multirate Time Advancing Approach, in: ECCOMAS Congress 2016 VII European Congress on Computational Methods in Applied Sciences and Engineering, Hernissios, Crete, Greece, June 2016.
  https://hal.inria.fr/hal-01413449
• 18E. Itam, S. Wornom, B. Koobus, A. Dervieux.
  Hybrid simulation of high-Reynolds number flows relying on a variational multiscale model, in: 6th Symposium on Hybrid RANS-LES Methods, Strasbourg, France, September 2016.
  https://hal.inria.fr/hal-01413453
• 19S. H. K. Narayanan, L. Hascoët.
  Interfacing OpenAD and Tapenade, in: AD2016 - 7th International Conference on Algorithmic Differentiation, Oxford, United Kingdom, September 2016, 4 p.
  https://hal.inria.fr/hal-01413363
• 20A. Taftaf, L. Hascoët.
  On the correct application of AD checkpointing to adjoint MPI-parallel programs, in: VII European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2016), Crete, Greece, VII European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2016), June 2016.
  https://hal.inria.fr/hal-01413394

Conferences without Proceedings

• 21V. Pascual, L. Hascoët.
  Mixed-language Automatic Differentiation, in: AD2016 - 7th International Conference on Algorithmic Differentiation, Oxford, United Kingdom, September 2016.
  https://hal.archives-ouvertes.fr/hal-01393424
• 22A. Taftaf, L. Hascoët.
  Experiments on Checkpointing Adjoint MPI Programs, in: 11th ASMO UK/ISSMO/NOED2016: International Conference on Numerical Optimisation Methods for Engineering Design, Munich, Germany, July 2016.
  https://hal.inria.fr/hal-01413402

Internal Reports

• 23L. Hascoet, A. Taftaf.
  On the correct application of AD checkpointing to adjoint MPI-parallel programs, Inria Sophia Antipolis, February 2016, n^o RR-8864.
  https://hal.inria.fr/hal-01277449

References in notes

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