Mike Fagan

TL;DR: A generalization of static and dynamic typing---called soft typing---that combines the best features of both approaches is presented, and an extension of the ML type system supporting union types and recursive types that assigns types to a wider class of programs than ML is developed.

TL;DR: The Open/ADF tool allows the evaluation of derivatives of functions defined by a Fortran program, and supports various code reversal schemes with hierarchical checkpointing at the subroutine level for the generation of adjoint codes.

TL;DR: Preliminary results suggest that, even in its infancy, the automated adjoint code generator can accurately and efficiently deliver derivatives for use in transonic Euler-based aerodynamic shape optimization problems with hundreds to thousands of independent design variables.

TL;DR: This document reports on recent advances in the development of the adjoint code generator OpenAD/F, a numerical model designed for study of the atmosphere, ocean, and climate that is based on the MIT General Circulation Model.

TL;DR: The HPCToolkit performance tools are described and how they can be used to pinpoint bottlenecks in SPMD and multi-threaded parallel codes and demonstrated by applying it to two SciDAC applications.