Publication: Control Flow Reversal for Adjoint Code Generation
Introduction
Applications
Tools
Research Groups
Workshops
Publications
   List Publications
   Advanced Search
   Info
   Add Publications
My Account
About

Control Flow Reversal for Adjoint Code Generation

- Part of a collection -
 

Author(s)
Uwe Naumann , Jean Utke , Andrew Lyons , Mike Fagan

Published in
Proceedings of the Fourth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004)

Year
2004

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 Theory and Techniques
Reverse Mode

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"
}


back
  

Contact:
Username:
Password:
(lost password)