Team tropics

Overall Objectives
Scientific Foundations
Application Domains
New Results
Inria / Raweb 2004
Project: tropics


Major publications by the team in recent years

G. Corliss, C. Faure, A. Griewank, L. Hascoët, U. Naumann.
Automatic Differentiation of Algorithms, from Simulation to Optimization, LNCSE, Springer, 2001.
F. Courty.
Optimisation Différentiable en Mécanique des Fluides Numérique, Ph. D. Thesis, Université Paris-sud, 2003.
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, no 5, p. 615-627.
A. Dervieux, F. Courty, M. Vázquez, B. Koobus.
Additive multilevel optimization and its application to sonic boom reduction, in: Proceedings of Conference JP60, Jyvaskyla, 12-15 juin 2002, 2003.
A. Griewank.
Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, Frontiers in Applied Mathematics, SIAM, 2000.
L. Hascoet, S. Fidanova, C. Held.
Adjoining Independent Computations, in: Automatic Differentiation of Algorithms, from Simulation to Optimization, Springer, LNCSE, 2001, p. 299-304.
L. Hascoët.
A method for automatic placement of communications in SPMD parallelisation, in: Parallel Computing Journal, 2001, no 27, p. 1655-1664.
L. Hascoët.
The Data-Dependence Graph of Adjoint Programs, research report, INRIA, 2001, no 4167,
L. Hascoët.
Automatic Placement of Communications in Mesh-Partitioning Parallelization, in: ACM SIGPLAN Notices, Proceedings of 6th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 1997, vol. 32, no 7, p. 136-144.
L. Hascoët, M. Vazquez, 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.

Publications of the year

Articles in refereed journals and book chapters

F. Courty, A. Dervieux.
A SQP-like one-shot algorithm for optimal shape design, V. S. Ed. (editor), to appear, Springer, 2004.
F. Courty, D. Leservoisier, P.-L. George, A. Dervieux.
Continuous metrics and mesh optimization, in: Applied Numerical Mathematics, to appear, 2004.
L. Hascoët, U. Naumann, V. Pascual.
"To be recorded" analysis in reverse-mode automatic differentiation, in: Future Generation Computer Systems, to appear, 2004.
M. Michieli de Vitturi, F. Beux, G. Lombardi, A. Dervieux.
Optimum shape design for turbulent viscous flows around complete configurations of 2D flying sails, in: Journal of Computational Methods in Sciences and Engineering, 2004, vol. 4, no 1-2, p. 43-55.
E. Schall, D. Leservoisier, A. Dervieux, B. Koobus.
Mesh adaptation as a tool for certified computational aerodynamics, in: International Journal for Numerical Methods in Fluids, 2004, vol. 45, p. 179-196.
M. Vazquez, A. Dervieux, B. Koobus.
Multilevel optimization of a supersonic aircraft, in: Finite Elements in Analysis and Design, 2004, vol. 40, p. 2101-2124.

Publications in Conferences and Workshops

M. Araya-Polo, L. Hascoët.
Data Flow Algorithms in the Tapenade tool for Automatic Differentiation, in: Proceedings of 4th European Congress on Computational Methods, ECCOMAS'2004, Jyvaskyla, Finland, 2004.
F. Courty, T. Roy, A. Dervieux.
Continuous Optimal Control approach and mesh adaptation, in: Proceedings of 4th European Congress on Computational Methods, ECCOMAS'2004, Jyvaskyla, Finland, Jyvaskyla, july 24-28, 2004.
A. Dervieux, F. Courty, T. Roy, M. Vázquez, B. Koobus.
Optimization loops for shape and error control, in: PROMUVAL Short Course on Multidisciplinary Modelling, Simulation and Validation in Aeronautics, Barcelona, june 28-29, CIMNE, 2004.
L. Hascoët, M. Araya-Polo.
The adjoint Data-Flow analyses: formalization, properties, and applications, in: Proceedings the AD 2004 conference, Chicago, Illinois, July 2004.
L. Hascoët.
The Recompute-Or-Store Alternative in reverse Automatic Differentiation, in: Proceedings the AD 2004 conference, Chicago, Illinois, July 2004.
L. Hascoët.
tapenade: a tool for Automatic Differentiation of programs, in: Proceedings of 4th European Congress on Computational Methods, ECCOMAS'2004, Jyvaskyla, Finland, 2004.
V. Pascual, L. Hascoët.
Extension of Tapenade towards Fortran9x, in: Proceedings the AD 2004 conference, Chicago, Illinois, July 2004.

Internal Reports

A. Dervieux, F. Courty, T. Roy, M. Vázquez, B. Koobus.
Optimization loops for shape and error control: extended lecture notes, Research report, INRIA, 2004, no 5413,
L. Hascoët, V. Pascual.
tapenade 2.1 user's guide, Technical report, INRIA, 2004, no 300,

References in notes

A. Aho, R. Sethi, J. Ullman.
Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986.
I. Attali, V. Pascual, C. Roudet.
A language and an integrated environment for program transformations, research report, INRIA, 1997, no 3313,
A. Carle, M. Fagan.
ADIFOR 3.0 overview, Technical report, Rice University, 2000, no CAAM-TR-00-02.
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,
J.-F. Collard.
Reasoning about program transformations, Springer, 2002.
P. Cousot.
Abstract Interpretation, in: ACM Computing Surveys, 1996, vol. 28, no 1, p. 324-328.
B. Creusillet, F. Irigoin.
Interprocedural Array Region Analyses, in: International Journal of Parallel Programming, 1996, vol. 24, no 6, p. 513–546.
R. Giering.
Tangent linear and Adjoint Model Compiler , Users manual 1.2, 1997,
J. Gilbert.
Automatic differentiation and iterative processes, in: Optimization Methods and Software, 1992, vol. 1, p. 13–21.
M.-B. Giles.
Adjoint methods for aeronautical design, in: Proceedings of the ECCOMAS CFD Conference, 2001.
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.
A. Griewank.
Evaluating derivatives: principles and techniques of algorithmic differentiation, SIAM, 2000.
L. Hascoët.
Transformations automatiques de specifications semantiques: application: Un verificateur de types incremental, Ph. D. Thesis, Université de Nice Sophia-Antipolis, 1987.
P. Hovland, B. Mohammadi, C. Bischof.
Automatic Differentiation of Navier-Stokes computations, Technical report, Argonne National Laboratory, 1997, no MCS-P687-0997.
A. Jameson.
Aerodynamic design via control theory, Report, Princeton University, New Jersey, 1988, no 1824 MAE.
F. LeDimet, O. Talagrand.
Variational algorithms for analysis and assimilation of meteorological observations: theoretical aspects, in: Tellus, 1986, vol. 38A, p. 97-110.
B. Mohammadi.
Practical application to fluid flows of automatic differentiation for design problems, in: Von Karman Lecture Series, 1997.
J. Nocedal, S. Wright.
Numerical Optimization, Springer Series in Operations Research, 1999.
N. Rostaing.
Différentiation Automatique: application à un problème d'optimisation en météorologie, Ph. D. Thesis, université de Nice Sophia-Antipolis, 1993.
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.
S. Ta'asan, G. Kuruvila, M. Salas.
Aerodynamic design and optimization in one shot, in: 30th AIAA Aerospace Sciences Meeting and Exhibit, Reno, Nevada, AIAA Paper 91-0025, 1992.