Theses:

• Transformations automatiques de specifications semantiques. Application: Un verificateur de types incremental
  (PhD, 1987)
• Static Analyses and Transformations of Programs: from Parallelization to Differentiation
  (Habilitation, 2005)

Articles in journals:

• Partial Evaluation with Inference Rules
  (New Generation Computing, 1988)
• Tools for OpenMP application development: the POST project
  (Concurrency Practice and Experience, 2000)
• A method for automatic placement of communications in SPMD parallelisation
  (Parallel Computing, 2001)
• Reverse Automatic Differentiation for Optimum Design: From adjoint state assembly to gradient computation
  (Optimization Methods and Software, 2003)
• ``To Be Recorded'' Analysis in Reverse-Mode Automatic Differentiation
  (Future Generation Computer Systems, 2004)
• Certification of Directional Derivatives Computed by Automatic Differentiation
  (WSEAS Transactions on Circuits and Systems, 2005)
• Adjoints of large simulation codes through Automatic Differentiation
  (REMN, Revue Européenne de Mécanique Numérique, 2007)
• Multitemporal-patch ensemble inversion of coupled surface-atmosphere radiative transfer models for land surface characterization
  (Remote Sensing of Environment, 2007)
• Cheaper Adjoints by Reversing Address Computations
  (Scientific Programming, 2008)

Conference proceedings:

• Natural Semantics on the computer
  (France-Japan AI and CS Symposium, 1986)
• A tactic-driven system for building proofs
  (Programmation en Logique, Tregastel, 1988)
• Automatic Placement of Communications in Mesh-Partitioning Parallelization
  (ACM PPoPP Principles and Practice of Parallel Programming, Las Vegas, 1997)
• Adjoining Independent Computations
  (AD2000, Nice, 2000)
• Automatic Differentiation for Optimum Design, applied to Sonic Boom reduction
  (ICCSA Computational Science and its Applications, Montreal, 2003)
• The Adjoint Data-Flow Analyses: Formalization, Properties, and Applications
  (AD2004, Chicago, 2004)
• Extension of TAPENADE towards Fortran 95
  (AD2004, Chicago, 2004)
• TAPENADE: a tool for Automatic Differentiation of programs
  (ECCOMAS, Jyvaskyla, 2004)
• Data Flow Algorithms in the TAPENADE tool for Automatic Differentiation
  (ECCOMAS, Jyvaskyla, 2004)
• Improved estimates of vegetation biophysical variables from MERIS TOA images by using spatial and temporal constraints
  (9th ISPMSRS symposium, Beijing, 2005)
• Continuous mesh adaptation models for CFD
  (SAROD-2005, Hyderabad, India, 2005)
• Optimization loops for shape and error control
  (Post-SAROD-2005, Bangalore, India, 2005)
• Capacites actuelles de la Differentiation Automatique: l'adjoint d'OPA par TAPENADE
  (Colloque National sur l'Assimilation de Donnees, Toulouse, France, 2006)
• The Data-Flow Equations of Checkpointing in reverse Automatic Differentiation
  (ICCS'06, Reading, UK, 2006)
• Data Representation Alternatives in Semantically Augmented Numerical Models
  (SCAM'06, Philadelphia, PA, USA, 2006)
• Enabling User-driven checkpointing strategies in Reverse-mode Automatic Differentiation
  (ECCOMAS CFD, Egmond aan Zee, 2006)
• TAPENADE for C
  (AD2008, Bonn, 2008)
• Tangent-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals
  (AD2008, Bonn, 2008)

Book edited:

• Automatic Differentiation of Algorithms: From Simulation to Optimization
  (Springer, 2001)

Research reports:

• Designating subtrees in CENTAUR
  (ESPRIT research project GIPE, 1988)
• Partial Evaluation with Inference Rules
  (INRIA report RR-0817, 1988)
• Theory meets efficiency: a new implementation for Proof Trees
  (INRIA report RR-1109, 1989)
• Specification of PARTITA analyses
  (EUREKA research project EUROTOPS, 1994)
• PARTITA parallelization and code generation
  (EUREKA research project EUROTOPS, 1994)
• Parallelization of Finite Elements codes with automatic placement of communications
  (INRIA report RR-3646, 1999)
• The Data-Dependence Graph of Adjoint Programs
  (INRIA report RR-4167, 2001)
• Reverse Automatic Differentiation for Optimum Design: from Adjoint State Assembly to Gradient Computation
  (INRIA report RR-4363, 2001)
• TBR Analysis in Reverse Mode Automatic Differentiation
  (INRIA report RR-4856, 2002)
• TAPENADE 2.1 user's guide
  (INRIA report RT-0300, 2004)
• Domain of Validity of Derivatives Computed by Automatic Differentiation
  (INRIA report RR-5237, 2004)
• Building the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE
  (INRIA report RR-6372, 2007)
• Computing Adjoints by Automatic Differentiation with TAPENADE
  (to appear, "Problemes non-lineaires appliques", Springer)
• Automatic Differentiation with TAPENADE
  (to appear, "Aeroshape book", Springer)