Bibliography

Major publications by the team in recent years

[1]: F. Courty.
Optimisation Différentiable en Mécanique des Fluides Numérique, Ph. D. Thesis, Université Paris-sud, 2003.
[2]: F. 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.
[3]: A. Griewank.
Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, SIAM, Frontiers in Applied Mathematics, 2000.
[4]: L. 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, p. 299-304.
[5]: L. Hascoët.
A method for automatic placement of communications in SPMD parallelisation, in: Parallel Computing Journal, 2001, n^o 27, p. 1655-1664.
[6]: L. Hascoët, V. Pascual.
TAPENADE 2.1 user's guide, Technical report, INRIA, 2004, n^o 300,
http://www.inria.fr/rrrt/rt-0300.html.
[7]: L. Hascoët.
The Data-Dependence Graph of Adjoint Programs, Research Report, INRIA, 2001, n^o 4167,
http://www.inria.fr/rrrt/rr-4167.html.
[8]: L. 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.
[9]: L. Hascoët, M. Vázquez, A. Dervieux.
Automatic Differentiation for Optimum Design, applied to Sonic Boom reduction, in: Proceedings of the International Conference on Computational Science and its Applications, ICCSA'03, Montreal, Canada, V. Kumar, et al. (editors), LNCS 2668, Springer, 2003, p. 85-94.
[10]: M. 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.

Publications of the year

Doctoral dissertations and Habilitation theses

[11]: L. Hascoët.
Analyses statiques et transformations de programmes: de la parallélisation à la différentiation, Habilitation, Université de Nice Sophia-Antipolis, 2005.

Articles in refereed journals and book chapters

[12]: M. Araya-Polo, L. Hascoët.
Certification of Directional Derivatives Computed by Automatic Differentiation, V. Mladenov (editor), WSEAS TRANSACTIONS on CIRCUITS and SYSTEMS, WSEAS, Athens, Greece, 2005.
[13]: F. Courty, A. Dervieux.
A SQP-like one-shot algorithm for optimal shape design, V. Selmin (editor), to appear, Springer, Notes on Numerical Fluid Dynamics, 2005.
[14]: F. Courty, D. Leservoisier, P.-L. George, A. Dervieux.
Continuous metrics and mesh optimization, in: Applied Numerical Mathematics, to appear, 2005.
[15]: L. 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.
[16]: L. Hascoët, R.-M. Greborio, V. Pascual.
Computing Adjoints by Automatic Differentiation with TAPENADE, B. Sportisse, F.-X. LeDimet (editors), to appear, Springer, 2005.
[17]: L. Hascoët, V. Pascual, D. Dervieux.
Automatic Differentiation with TAPENADE, V. Selmin (editor), to appear, Springer, Notes on Numerical Fluid Dynamics, 2005.
[18]: V. Pascual, L. Hascoët.
Extension of TAPENADE towards Fortran 95, 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.
[19]: M. Vázquez, A. Dervieux, B. Koobus.
A methodology for the shape optimization of flexible wings, in: Eng. Comp., 2005.

Publications in Conferences and Workshops

[20]: M. Araya-Polo.
On validity of derivatives computed by Automatic Differentiation, in: VII French-Latin American Congress on Applied Mathematics, January 14-18, Santiago, Chile, 2005.
[21]: B. Courty, T. Roy, B. Koobus, M. Vázquez, A. Dervieux.
Error analysis for P1-exact schemes, in: Finite Element for Flow Problems, April 4-6, 2005, 2005.
[22]: A. Dervieux, L. Hascoët, M. Vázquez, B. Koobus.
Optimization loops for shape and error control, in: proceedings of the post-SAROD Conference, 2005.
[23]: B. Koobus, L. Hascoët, F. Alauzet, A. Loseille, Y. Mesri, A. Dervieux.
Continuous mesh adaptation models for CFD, in: proceedings of the SAROD Conference, 2005.
[24]: C. Lauvernet, F. Baret, L. Hascoët, F.-X. LeDimet.
Improved estimates of vegetation biophysical variables from MERIS TOA images by using spatial and temporal constraints, in: proceedings of the 9th International symposium on Physical measurements and signatures in remote sensing, ISPMSRS 2005, 2005.

Internal Reports

[25]: M. Araya-Polo, L. Hascoët.
Domain of Validity of Derivatives Computed by Automatic Differentiation, Research Report, INRIA, 2005, n^o 5237,
http://www.inria.fr/rrrt/rr-5237.html.
[26]: A. Dervieux, F. Courty, T. Roy, M. Vázquez, B. Koobus.
Optimization loops for shape and error control, extended notes after PROMUVAL Short Course on Multidisciplinary Modelling, Simulation and Validation in Aeronautics, Barcelona, Spain, june 28-29, 2004, INRIA, 2005, n^o 5413,
http://www.inria.fr/rrrt/rr-5413.html.

References in notes

[27]: A. Aho, R. Sethi, J. Ullman.
Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986.
[28]: I. Attali, V. Pascual, C. Roudet.
A language and an integrated environment for program transformations, research report, INRIA, 1997, n^o 3313,
http://www.inria.fr/RRRT/RR-3313.html.
[29]: A. Carle, M. Fagan.
ADIFOR 3.0 overview, Technical report, Rice University, 2000, n^o CAAM-TR-00-02.
[30]: D. 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, Also, Information Processing Society of Japan, Technical Memorandum PL-86-6. Also INRIA research report # 416, 1986, p. 49-89,
http://www.inria.fr/rrrt/rr-0416.html.
[31]: J.-F. Collard.
Reasoning about program transformations, Springer, 2002.
[32]: P. Cousot.
Abstract Interpretation, in: ACM Computing Surveys, 1996, vol. 28, n^o 1, p. 324-328.
[33]: B. Creusillet, F. Irigoin.
Interprocedural Array Region Analyses, in: International Journal of Parallel Programming, 1996, vol. 24, n^o 6, p. 513–546.
[34]: R. Giering.
Tangent linear and Adjoint Model Compiler , Users manual 1.2, 1997,
http://www.autodiff.com/tamc.
[35]: J. Gilbert.
Automatic differentiation and iterative processes, in: Optimization Methods and Software, 1992, vol. 1, p. 13–21.
[36]: M.-B. Giles.
Adjoint methods for aeronautical design, in: Proceedings of the ECCOMAS CFD Conference, 2001.
[37]: A. Griewank, C. Faure.
Reduced Gradients and Hessians from Fixed Point Iteration for State Equations, in: Numerical Algorithms, 2002, vol. 30(2), p. 113–139.
[38]: A. Griewank.
Evaluating derivatives: principles and techniques of algorithmic differentiation, SIAM, Frontiers in Applied Mathematics, 2000.
[39]: L. Hascoët.
Transformations automatiques de spécifications sémantiques: application: Un vérificateur de types incremental, Ph. D. Thesis, Université de Nice Sophia-Antipolis, 1987.
[40]: P. Hovland, B. Mohammadi, C. Bischof.
Automatic Differentiation of Navier-Stokes computations, Technical report, Argonne National Laboratory, 1997, n^o MCS-P687-0997.
[41]: F. LeDimet, O. Talagrand.
Variational algorithms for analysis and assimilation of meteorological observations: theoretical aspects, in: Tellus, 1986, vol. 38A, p. 97-110.
[42]: B. Mohammadi.
Practical application to fluid flows of automatic differentiation for design problems, in: Von Karman Lecture Series, 1997.
[43]: N. Rostaing.
Différentiation Automatique: application à un problème d'optimisation en météorologie, Ph. D. Thesis, université de Nice Sophia-Antipolis, 1993.
[44]: R. 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.

Logo Inria