Team tropics

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Dissemination
Bibliography
Inria / Raweb 2004
Project: tropics

Bibliography

Major publications by the team in recent years

[1]
G. Corliss, C. Faure, A. Griewank, L. Hascoët, U. Naumann.
Automatic Differentiation of Algorithms, from Simulation to Optimization, LNCSE, Springer, 2001.
[2]
F. Courty.
Optimisation Différentiable en Mécanique des Fluides Numérique, Ph. D. Thesis, Université Paris-sud, 2003.
[3]
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.
[4]
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.
[5]
A. Griewank.
Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, Frontiers in Applied Mathematics, SIAM, 2000.
[6]
L. Hascoet, S. Fidanova, C. Held.
Adjoining Independent Computations, in: Automatic Differentiation of Algorithms, from Simulation to Optimization, Springer, LNCSE, 2001, p. 299-304.
[7]
L. Hascoët.
A method for automatic placement of communications in SPMD parallelisation, in: Parallel Computing Journal, 2001, no 27, p. 1655-1664.
[8]
L. Hascoët.
The Data-Dependence Graph of Adjoint Programs, research report, INRIA, 2001, no 4167,
http://www.inria.fr/rrrt/rr-4167.html.
[9]
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.
[10]
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

[11]
F. Courty, A. Dervieux.
A SQP-like one-shot algorithm for optimal shape design, V. S. Ed. (editor), to appear, Springer, 2004.
[12]
F. Courty, D. Leservoisier, P.-L. George, A. Dervieux.
Continuous metrics and mesh optimization, in: Applied Numerical Mathematics, to appear, 2004.
[13]
L. Hascoët, U. Naumann, V. Pascual.
"To be recorded" analysis in reverse-mode automatic differentiation, in: Future Generation Computer Systems, to appear, 2004.
[14]
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.
[15]
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.
[16]
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

[17]
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.
[18]
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.
[19]
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.
[20]
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.
[21]
L. Hascoët.
The Recompute-Or-Store Alternative in reverse Automatic Differentiation, in: Proceedings the AD 2004 conference, Chicago, Illinois, July 2004.
[22]
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.
[23]
V. Pascual, L. Hascoët.
Extension of Tapenade towards Fortran9x, in: Proceedings the AD 2004 conference, Chicago, Illinois, July 2004.

Internal Reports

[24]
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,
http://www.inria.fr/rrrt/rr-5413.html.
[25]
L. Hascoët, V. Pascual.
tapenade 2.1 user's guide, Technical report, INRIA, 2004, no 300,
http://www.inria.fr/rrrt/rt-0300.html.

References in notes

[26]
A. Aho, R. Sethi, J. Ullman.
Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986.
[27]
I. Attali, V. Pascual, C. Roudet.
A language and an integrated environment for program transformations, research report, INRIA, 1997, no 3313,
http://www.inria.fr/rrrt/rr-3313.html.
[28]
A. Carle, M. Fagan.
ADIFOR 3.0 overview, Technical report, Rice University, 2000, no CAAM-TR-00-02.
[29]
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.
[30]
J.-F. Collard.
Reasoning about program transformations, Springer, 2002.
[31]
P. Cousot.
Abstract Interpretation, in: ACM Computing Surveys, 1996, vol. 28, no 1, p. 324-328.
[32]
B. Creusillet, F. Irigoin.
Interprocedural Array Region Analyses, in: International Journal of Parallel Programming, 1996, vol. 24, no 6, p. 513–546.
[33]
R. Giering.
Tangent linear and Adjoint Model Compiler , Users manual 1.2, 1997,
http://www.autodiff.com/tamc.
[34]
J. Gilbert.
Automatic differentiation and iterative processes, in: Optimization Methods and Software, 1992, vol. 1, p. 13–21.
[35]
M.-B. Giles.
Adjoint methods for aeronautical design, in: Proceedings of the ECCOMAS CFD Conference, 2001.
[36]
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.
[37]
A. Griewank.
Evaluating derivatives: principles and techniques of algorithmic differentiation, SIAM, 2000.
[38]
L. Hascoët.
Transformations automatiques de specifications semantiques: application: Un verificateur de types incremental, Ph. D. Thesis, Université de Nice Sophia-Antipolis, 1987.
[39]
P. Hovland, B. Mohammadi, C. Bischof.
Automatic Differentiation of Navier-Stokes computations, Technical report, Argonne National Laboratory, 1997, no MCS-P687-0997.
[40]
A. Jameson.
Aerodynamic design via control theory, Report, Princeton University, New Jersey, 1988, no 1824 MAE.
[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]
J. Nocedal, S. Wright.
Numerical Optimization, Springer Series in Operations Research, 1999.
[44]
N. Rostaing.
Différentiation Automatique: application à un problème d'optimisation en météorologie, Ph. D. Thesis, université de Nice Sophia-Antipolis, 1993.
[45]
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.
[46]
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.

previous
next