BibTeX
@INPROCEEDINGS{
Naumann2004CFR,
year = "2004",
title = "Control Flow Reversal for Adjoint Code Generation",
booktitle = "Proceedings of the Fourth {IEEE} International Workshop on Source Code Analysis
and Manipulation ({SCAM} 2004)",
pages = "55--64",
address = "Los Alamitos, CA, USA",
publisher = "IEEE Computer Society",
abstract = "We describe an approach to the reversal of the control flow of structured programs.
It is used to automatically generate adjoint code for numerical programs by semantic source
transformation. After a short introduction to applications and the implementation tool set, we
describe the building blocks using a simple example. We then illustrate the code reversal within
basic blocks. The main part of the paper covers the reversal of structured control flow graphs. We
show the algorithmic steps for simple branches and loops and give a detailed algorithm for the
reversal of arbitrary combinations of loops and branches in a general control flow graph.",
ad_tools = "OpenAD",
ad_theotech = "Reverse Mode",
author = "Uwe Naumann and Jean Utke and Andrew Lyons and Mike Fagan",
doi = "10.1109/SCAM.2004.9"
}
|