CarleAlan

Reducing reverse-mode memory requirements by using profile-driven checkpointing

FaganMike, CarleAlan, 2005 .

ADIFOR-Generating Derivative Codes from Fortran Programs

CarleAlan, BischofChristian, CorlissGeorge, 1992 .

Adifor 2.0

CarleAlan, BischofChristian, KhademiPeyvand, 1996 .

Graph attribution as a specification paradigm

CarleAlan, AlpernBowen, RosenBarry, 1988 .