Abstract

Preface -- List of Contributors -- Reverse Automatic Differentiation of Linear Multistep Methods -- Adrian Sandu -- Call Tree Reversal is NP-Complete Uwe Naumann -- On Formal Certification of AD Transformations Emmanuel M. Tadjouddine -- Collected Matrix Derivative Results for Forward and /Reverse Mode -- Algorithmic Differentiation /Mike B. Giles -- A Modification of Weeks’ Method for Numerical Inversion of the Laplace Transform in the Real Case Based on Automatic Differentiation /Salvatore Cuomo, Luisa D’Amore, Mariarosaria Rizzardi, and Almerico Murli -- A Low Rank Approach to Automatic Differentiation /Hany S. Abdel-Khalik, Paul D. Hovland, Andrew Lyons, Tracy E. Stover, and Jean Utke -- Algorithmic Differentiation of Implicit Functions and Optimal Values/Bradley M. Bell and James V. Burke -- Using Programming Language Theory to Make Automatic Differentiation Sound and Efficient /Barak A. Pearlmutter and Jeffrey Mark Siskind -- A Polynomial-Time Algorithm for Detecting Directed Axial Symmetry in Hessian Computational Graphs /Sanjukta Bhowmick and Paul D. Hovland -- On the Practical Exploitation of Scarsity / Andrew Lyons and Jean Utke -- Design and Implementation of a Context-Sensitive, Flow-Sensitive Activity Analysis Algorithm for Automatic Differentiation /Jaewook Shin, Priyadarshini Malusare, and Paul D. Hovland -- Efficient Higher-Order Derivatives of the Hypergeometric Function /Isabelle Charpentier, Claude Dal Cappello, and Jean Utke -- The Diamant Approach for an Efficient Automatic Differentiation of the Asymptotic Numerical Method/Isabelle Charpentier, Arnaud Lejeune, and Michel Potier-Ferry -- Tangent-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals/Massimiliano Martinelli and Laurent Hasco -- Parallel Reverse Mode Automatic Differentiation for OpenMP Programs with ADOL-C/Christian Bischof, Niels Guertler, Andreas Kowarz, and Andrea Walther -- Adjoints for Time-Dependent Optimal Control Jan Riehme, Andrea Walther, Jorg Stiller, and Uwe Naumann -- Development and First Applications of TAC++ /Michael Voßbeck, Ralf Giering, and Thomas Kaminski -- TAPENADE for C/Va lerie Pascual and Laurent Hascöet -- Coping with a Variable Number of Arguments when Transforming MATLAB Programs/H. Martin B̈ucker and Andre Vehreschild-- Code Optimization Techniques in Source Transformations for Interpreted Languages/H. Martin B̈ucker, Monika Petera, and Andre Vehreschild -- Automatic Sensitivity Analysis of DAE-systems Generated from Equation-Based Modeling Languages/Atya Elsheikh and Wolfgang Wiechert -- Index Determination in DAEs Using the Library indexdet and the ADOL-C Package for Algorithmic Differentiation / Dagmar Monett, Rene Lamour, and Andreas Griewank -- Automatic Differentiation for GPU-Accelerated 2D/3D Registration /Markus Grabner, Thomas Pock, Tobias Gross, and Bernhard Kainz -- Robust Aircraft Conceptual Design Using Automatic Differentiation in Matlab/Mattia Padulo, Shaun A. Forth, and Marin D. Guenov-- Toward Modular Multigrid Design Optimisation/Armen Jaworski and Jens-Dominik M̈uller -- Large Electrical Power Systems Optimization Using Automatic Differentiation/ Fabrice Zaoui -- On the Application of Automatic Differentiation to the Likelihood Function for Dynamic General Equilibrium Models/Houtan Bastani and Luca Guerrieri -- Combinatorial Computation with Automatic Differentiation/Koichi Kubota --Exploiting Sparsity in Jacobian Computation via Coloring and Automatic Differentiation: A Case Study in a Simulated Moving Bed Process/Assefaw H. Gebremedhin, Alex Pothen, and Andrea Walther--Structure-Exploiting Automatic Differentiation of Finite Element Discretizations/Philipp Stumm, Andrea Walther, Jan Riehme, and Uwe Naumann--Large-Scale Transient Sensitivity Analysis of a Radiation-Damaged Bipolar Junction Transistor via Automatic Differentiation/Eric T. Phipps, Roscoe A. Bartlett, David M. Gay, and Robert J. Hoekstra