EN FR
EN FR


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, no 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, no 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.
  • 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, 2001, chap. 35, pp. 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, no 8.
  • 8L. Hascoët, J. Utke, U. Naumann.

    Cheaper Adjoints by Reversing Address Computations, in: Scientific Programming, 2008, vol. 16, no 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, no 4, pp. 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, pp. 2101-2124.
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 11A. Carabias.

    Analyse et adaptation de maillage pour des schemas non-oscillatoires d'ordre eleve, Université Nice Sophia Antipolis, December 2013.

    http://hal.inria.fr/tel-00914214

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, 2013, vol. 72, no 1, pp. 69-89. [ DOI : 10.1002/fld.3733 ]

    http://hal.inria.fr/hal-00914000
  • 13L. Hascoët, V. Pascual.

    The Tapenade Automatic Differentiation tool: principles, model, and specification, in: ACM Transactions on Mathematical Software, 2013, vol. 39, no 3. [ DOI : 10.1145/2450153.2450158 ]

    http://hal.inria.fr/hal-00913983
  • 14C. Moussaed, S. Wornom, B. Koobus, M.-V. Salvetti, A. Dervieux.

    Dynamic variational multiscale LES of bluff body flows on unstructured grids, in: World Academy of Science, Engineering and Technology, 2013, no 77, pp. 595-602.

    http://hal.inria.fr/hal-00914199

International Conferences with Proceedings

  • 15C. Moussaed, S. Wornom, B. Koobus, A. Dervieux, T. Deloze, Y. Hoarau, M. Elhimer, M. Braza.

    VMS- and OES-based hybrid simulations of bluff body flows, in: ERCOFTAC Symposium on Unsteady Separation in Fluid-Structure Interaction, Mykonos, Greece, 2013.

    http://hal.inria.fr/hal-00914023

Conferences without Proceedings

  • 16G. Brèthes, A. Dervieux.

    Adaptive Full-Multigrid algorithms based on Riemannian metrics, in: 2nd ECCOMAS Young Investigators Conference (YIC 2013), Bordeaux, France, September 2013.

    http://hal.inria.fr/hal-00855886
References in notes
  • 17A. Aho, R. Sethi, J. Ullman.

    Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986.
  • 18I. Attali, V. Pascual, C. Roudet.

    A language and an integrated environment for program transformations, Inria, 1997, no 3313.

    http://hal.inria.fr/inria-00073376
  • 19B. Christianson.

    Reverse accumulation and attractive fixed points, in: Optimization Methods and Software, 1994, vol. 3, pp. 311-326.
  • 20D. 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
  • 21J.-F. Collard.

    Reasoning about program transformations, Springer, 2002.
  • 22P. Cousot.

    Abstract Interpretation, in: ACM Computing Surveys, 1996, vol. 28, no 1, pp. 324-328.
  • 23B. Creusillet, F. Irigoin.

    Interprocedural Array Region Analyses, in: International Journal of Parallel Programming, 1996, vol. 24, no 6, pp. 513–546.
  • 24J. Gilbert.

    Automatic differentiation and iterative processes, in: Optimization Methods and Software, 1992, vol. 1, pp. 13–21.
  • 25M.-B. Giles.

    Adjoint methods for aeronautical design, in: Proceedings of the ECCOMAS CFD Conference, 2001.
  • 26A. Griewank, C. Faure.

    Reduced Gradients and Hessians from Fixed Point Iteration for State Equations, in: Numerical Algorithms, 2002, vol. 30(2), pp. 113–139.
  • 27A. Griewank, C. Faure.

    Piggyback differentiation and optimization, in: Large-scale PDE-constrained optimization, Springer, LNCSE #30, 2003, pp. 148–164.
  • 28A. Griewank, A. Walther.

    Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2nd, SIAM, Other Titles in Applied Mathematics, 2008.
  • 29L. Hascoët.

    Transformations automatiques de spécifications sémantiques: application: Un vérificateur de types incremental, Université de Nice Sophia-Antipolis, 1987.
  • 30P. Hovland, B. Mohammadi, C. Bischof.

    Automatic Differentiation of Navier-Stokes computations, Argonne National Laboratory, 1997, no MCS-P687-0997.
  • 31F.-X. Le Dimet, O. Talagrand.

    Variational algorithms for analysis and assimilation of meteorological observations: theoretical aspects, in: Tellus, 1986, vol. 38A, pp. 97-110.
  • 32G. Madec, P. Delecluse, M. Imbard, C. Levy.

    OPA8.1 ocean general circulation model reference manual, Pole de Modelisation, IPSL, 1998.
  • 33B. Mohammadi.

    Practical application to fluid flows of automatic differentiation for design problems, in: Von Karman Lecture Series, 1997.
  • 34N. Rostaing.

    Différentiation Automatique: application à un problème d'optimisation en météorologie, université de Nice Sophia-Antipolis, 1993.
  • 35R. 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.