| 2005 |
|---|
| 12 | EE | Mike Fagan,
Alan Carle:
Reducing reverse-mode memory requirements by using profile-driven checkpointing.
Future Generation Comp. Syst. 21(8): 1380-1390 (2005) |
| 2002 |
|---|
| 11 | EE | Mike Fagan,
Alan Carle:
Switchback: Profile-Driven Recomputation for Reverse Mode.
International Conference on Computational Science (2) 2002: 1029-1038 |
| 1997 |
|---|
| 10 | | Jason Abate,
Christian H. Bischof,
Lucas Roh,
Alan Carle:
Algorithms and Design for a Second-Order Automatic Differentiation Module.
ISSAC 1997: 149-155 |
| 1996 |
|---|
| 9 | EE | Alan Carle,
Lori L. Pollock:
On the Optimality of Change Propagation for Incremental Evaluation of Hierarchical Attribute Grammars.
ACM Trans. Program. Lang. Syst. 18(1): 16-29 (1996) |
| 1995 |
|---|
| 8 | EE | Alan Carle,
Lori L. Pollock:
Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar Dialects.
ACM Trans. Program. Lang. Syst. 17(2): 394-429 (1995) |
| 7 | EE | Alan Carle,
Lori L. Pollock:
A context-based incremental evaluator for hierarchical attribute grammars.
J. Prog. Lang. 3(1): (1995) |
| 1993 |
|---|
| 6 | | Mary W. Hall,
John M. Mellor-Crummey,
Alan Carle,
René G. Rodríguez:
FIAT: A Framework for Interprocedural Analysis and Transfomation.
LCPC 1993: 522-545 |
| 1992 |
|---|
| 5 | EE | Christian H. Bischof,
Alan Carle,
George F. Corliss,
Andreas Griewank:
ADIFOR: Automatic Differentiation in a Source Translator Environment.
ISSAC 1992: 294-302 |
| 4 | EE | Christian H. Bischof,
Alan Carle,
George F. Corliss,
Andreas Griewank,
Paul D. Hovland:
ADIFOR - Generating Derivative Codes form Fortran Programs.
Scientific Programming 1(1): 11-29 (1992) |
| 1990 |
|---|
| 3 | EE | David Callahan,
Alan Carle,
Mary W. Hall,
Ken Kennedy:
Constructing the Procedure Call Multigraph.
IEEE Trans. Software Eng. 16(4): 483-487 (1990) |
| 1989 |
|---|
| 2 | | Alan Carle,
Lori L. Pollock:
Modular Specification of Incremental Program Transformation Systems.
ICSE 1989: 178-187 |
| 1988 |
|---|
| 1 | | Bowen Alpern,
Alan Carle,
Barry K. Rosen,
Peter F. Sweeney,
F. Kenneth Zadeck:
Graph Attribution as a Specification Paradigm.
Software Development Environments (SDE) 1988: 121-129 |
