EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1F. 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.
  • 2D. Goldberg, S. H. K. Narayanan, L. Hascoët, J. Utke.

    An optimized treatment for algorithmic differentiation of an important glaciological fixed-point problem, in: Geoscientific Model Development, 2016, vol. 9, no 5, 27 p.

    https://hal.inria.fr/hal-01413295
  • 3L. 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.
  • 4L. Hascoët.

    Adjoints by Automatic Differentiation, in: Advanced data assimilation for geosciences, Oxford University Press, 2014.

    https://hal.inria.fr/hal-01109881
  • 5L. 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.
  • 6L. Hascoët, J. Utke, U. Naumann.

    Cheaper Adjoints by Reversing Address Computations, in: Scientific Programming, 2008, vol. 16, no 1, pp. 81–92.
  • 7L. Hascoët, V. Pascual.

    The Tapenade Automatic Differentiation tool: Principles, Model, and Specification, in: ACM Transactions On Mathematical Software, 2013, vol. 39, no 3.

    http://dx.doi.org/10.1145/2450153.2450158
  • 8L. 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
  • 9J. 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
  • 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

Articles in International Peer-Reviewed Journals

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

    A tensorial-based Mesh Adaptation for a Poisson problem, in: Revue Européenne de Mécanique Numérique/European Journal of Computational Mechanics, March 2017. [ DOI : 10.1080/17797179.2017.1310648 ]

    https://hal.inria.fr/hal-01512995
  • 13A. Carabias, A. Belme, A. Loseille, A. Dervieux.

    Anisotropic Goal‐oriented error analysis for a third‐order accurate CENO Euler discretization, in: International Journal for Numerical Methods in Fluids, 2017. [ DOI : 10.1002/fld.4423 ]

    http://hal.upmc.fr/hal-01579998
  • 14L. Hascoet, M. Morlighem.

    Source-to-source adjoint Algorithmic Differentiation of an ice sheet model written in C, in: Optimization Methods and Software, November 2017, pp. 1 - 15. [ DOI : 10.1080/10556788.2017.1396600 ]

    https://hal.inria.fr/hal-01651963

International Conferences with Proceedings

  • 15E. Itam, S. F. Wornom, B. Koobus, A. Dervieux.

    Hybrid versus pure-les models comparison for subcritical cylinder flows, in: DLES11 2017 - ERCOFTAC Workshop Direct and Large-Eddy Simulation 11, Pisa, Italy, May 2017, pp. 1-6.

    https://hal.inria.fr/hal-01655171

Conferences without Proceedings

  • 16L. Hascoët.

    Some highlights on Source-to-Source Adjoint AD, in: NIPS 2017 - workshop The future of gradient-based machine learning software & techniques, Long Beach, Californie, United States, December 2017, pp. 1-5.

    https://hal.inria.fr/hal-01655085
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 implicit functions, in: Optimization Methods and Software, 1998, vol. 9, no 4, pp. 307–322.
  • 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
  • 21P. Cousot.

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

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

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

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

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

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

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

    Automatic Differentiation of Navier-Stokes computations, Argonne National Laboratory, 1997, no MCS-P687-0997.
  • 29E. Larour, J. Utke, B. Csatho, A. Schenk, H. Seroussi, M. Morlighem, E. Rignot, N. Schlegel, A. Khazendar.

    Inferred basal friction and surface mass balance of the Northeast Greenland Ice Stream using data assimilation of ICESat (Ice Cloud and land Elevation Satellite) surface altimetry and ISSM (Ice Sheet System Model), in: Cryosphere, 2014, vol. 8, no 6, pp. 2335-2351. [ DOI : 10.5194/tc-8-2335-2014 ]

    http://www.the-cryosphere.net/8/2335/2014/
  • 30F.-X. Le Dimet, O. Talagrand.

    Variational algorithms for analysis and assimilation of meteorological observations: theoretical aspects, in: Tellus, 1986, vol. 38A, pp. 97-110.
  • 31B. Mohammadi.

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

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