Program

• L. Hascoet: The Data-Flow Equations of Checkpointing in reverse Automatic Differentiation
  
• A. Kowarz: Optimal Checkpointing for Time-stepping Procedures in ADOL-C
  
• R.V. Kharche: Source Transformation for MATLAB Automatic Differentiation
  
• R. Giering: Automatic Sparsity Detection Implemented as a Source-to-source Transformation
  
• R.A. Bartlett: Automatic Differentiation of C++ Codes for Large-Scale Scientific Computing
  
• M.M. Strout: Linearity Analysis for Automatic Differentiation
  
• E.C. Hunke: A Sensitivity-Enhanced Simulation Approach for Community Climate System Model
  
• B. Kreaseck: Hybrid Static/Dynamic Activity Analysis
  
• A. Sandu: On the Properties of Runge-Kutta Discrete Adjoints