| 8:30-9:30 |
Introduction to Automatic Differentiation Shaun Forth, Cranfield University (Shrivenham Campus) |
| 9:30-10:30 |
Exploiting Sparsity and Structure Andrea Walter, Technical University Dresden
|
| 10:30-11:00 |
Coffee Break |
|
| 11:00-12:00 |
Higher-order Derivatives Martin Berz, Michigan State University |
| 12:00-13:30 |
Lunch |
|
| 13:30-14:10 |
What can go wrong and what to do about it Chris Bischof, RWTH Aachen |
| 14:10-14:50 |
Practical aspects of reverse mode AD Ralf Giering, FastOpt |
| 14:50-15:30 |
Survey of AD tools
Martin Bücker, RWTH Aachen |
| 15:30-17:30 |
Informal tool demos (tool developers, at tables in South Lounge) |
| 8:30-9:30 |
OPENING ADDRESS
Louis Rall, University of Wisconsin Madison Perspectives on Automatic Differentiation: Past,
Present, and Future? |
|
| 9:30-10:20 |
Contributed Talks:
- Shaun A Forth , Cranfield University (Shrivenham Campus)
An Adjoint Solver for an Industrial CFD Code via Automatic Differentiation [extended abstract]
- Eric Phipps , Sandia National Laboratories
Periodic Orbits of Hybrid Systems and Parameter Estimation via AD [extended abstract]
|
|
| 10:20-10:45 |
Coffee Break |
|
| 10:45-12:00 |
Contributed Talks:
- Jan Riehme , Humboldt University Berlin
Computing Adjoints with the NAGWare Fortran 95 Compiler [extended abstract]
- Andre Vehreschild , RWTH Aachen
A System to Define Derivatives for a Large Number of Functions Built into MATLAB [extended abstract]
- Ivo P. Nenov , Frontline Systems Inc.
Convexity Determination in the Microsoft Excel Solver Using Automatic Differentiation Techniques [extended abstract]
|
|
| 12:00-13:20 |
Lunch |
|
| 13:20-15:00 |
Contributed Talks:
- Mike Fagan , Rice University
Activity Analysis: Algorithms and Effectiveness [extended abstract]
- Laurent Hascoet , INRIA Sophia-Antipolis
The Recompute-Or-Store Alternative in reverse Automatic Differentiation [extended abstract]
- J. Utke , University of Chicago / Argonne National Laboratory
Flattening of Basic Blocks [extended abstract]
- Uwe Naumann , RWTH Aachen
Optimal Pivoting in Augmented Tangent-Linear and Adjoint Systems of Nonlinear Equations [extended abstract]
|
|
| 15:00-15:20 |
Coffee Break |
|
| 15:20-17:00 |
Contributed Talks:
- Julia Sternberg , Technical University Dresden
Reduction of storage requirement by checkpointing for time-dependent optimal control problems in ODEs [extended abstract]
- Ralf Giering , FastOpt
Generating tangent linear and adjoint versions of NASA/GMAO's Fortran-90 global weather forecast model [extended abstract]
- Frank P. Hart , North Carolina State University
Streamlined Circuit Device Model Development with fREEDA and Adol-C [extended abstract]
- M.L.Shashikant , Michigan State University
A highly accurate high-order method to solve the Neumann boundary condition problem for the 3D Laplace equation
[extended abstract]
|
|
| 18:00-20:00 |
Evening Reception and Poster Session, Tool Demos |
|
| 8:30-9:30 |
KEYNOTE ADDRESS
Carl Wunsch, Massachusetts Institute of Technology Applications of AD to Optimization and Sensitivity Analysis in Geophysical Fluids |
| 9:30-10:20 |
Contributed Talks:
- Ying Xiao , University of Oklahoma
Development of Adjoint for a Complex Atmospheric Model, the ARPS, using TAF [extended abstract]
- Pavel Snopok , Fermi National Accelerator Laboratory
Simulation and Optimization of the Tevatron Accelerator [extended abstract]
|
|
| 10:20-10:50 |
Coffee Break |
|
| 10:50-12:30 |
Contributed Talks:
- David M. Gay , Sandia National Labs
Semiautomatic Differentiation for Efficient Gradient Computations [extended abstract]
- Laurent Hascoet , INRIA Sophia-Antipolis
The adjoint Data-Flow analyses: formalization, properties, and applications [extended abstract]
- Hans Julius Skaug , Institute of Marine Research
Integration by differentiation; doing modern statistics in AD Model Builder [extended abstract]
- Uwe Naumann , RWTH Aachen
OpenAD
|
|
| 12:30- |
Afternoon Free -->
Things to do |
| 8:30-9:30 |
KEYNOTE ADDRESS
Paul Werbos, National Science Foundation TBD |
| 9:30-10:20 |
Contributed Talks:
- Shahadat Hossain , University of Lethbridge
Pascal Seeding and the Efficient Calculation of Sparse Jacobian Matrices [extended abstract]
- J. Utke , University of Chicago / Argonne National Laboratory
Optimality-Preserving Constant Folding [extended abstract]
|
|
| 10:20-10:45 |
Coffee Break |
|
| 10:45-12:00 |
Contributed Talks:
- Kyung-Wook Jee , University of Michigan Medical Center
Implementation of Automatic Differentiation tools for Multicriteria IMRT Optimization [extended abstract]
- Vanesa de la Torre , Carnegie Mellon University
Optimization of Periodic Adsorption Processes with a Novel Problem Formulation and Nonlinear Programming Algorithm [extended abstract]
- Mohamed Tadjouddine , Cranfield University (Shrivenham Campus)
Adjoint Differentiation of a Structural Dynamics Solver [extended abstract]
|
|
| 12:00-13:30 |
Lunch |
|
| 13:30-15:10 |
Contributed Talks:
- Bruce Christianson , University of Hertfordshire
Automatic Propagation of Uncertainties [extended abstract]
- Koichi Kubota , Chuo University
Computation of matrix permanent with automatic differentiation [extended abstract]
- Thomas Kaminski , FastOpt
Efficient sensitivities for the spin-up phase [extended abstract]
- Johannes Grote , Michigan State University
High Order Representation of Poincare Maps [extended abstract]
|
|
| 15:10-15:40 |
Coffee Break |
|
| 15:40-17:20 |
Contributed Talks:
- Marc Honnorat , LMC-IMAG Grenoble
Automatic differentiation: a tool for variational data assimilation and adjoint sensitivity analysis for flood modeling. [extended abstract]
- Andrea Walther , Technical University Dresden
Online checkpointing for time-dependent flow control using HiFlow [extended abstract]
- Derya B. Ozyurt , Massachusetts Institute of Technology
Application of Targeted Automatic Differentiation to Large Scale Dynamic Optimization [extended abstract]
- John D. Hobby , Bell Laboratories, Lucent Technologies
An Application for Semi-Automatic Differentiation [extended abstract]
|
|