MURAL - Maynooth University Research Archive Library



    Putting the Automatic Back into AD: Part II, Dynamic, Automatic, Nestable, and Fast (CVS: 1.1)


    Pearlmutter, Barak A. and Siskind, Jeffrey Mark (2008) Putting the Automatic Back into AD: Part II, Dynamic, Automatic, Nestable, and Fast (CVS: 1.1). Technical Report. ECE Technical Reports (Purdue e-Pubs).

    [thumbnail of BP-Putting-2-2008.pdf]
    Preview
    Text
    BP-Putting-2-2008.pdf

    Download (133kB) | Preview
    Official URL: http://docs.lib.purdue.edu/ecetr/369

    Abstract

    This paper discusses a new AD system that correctly and automatically accepts nested and dynamic use of the AD operators, without any manual intervention. The system is based on a new formulation of AD as highly generalized first-class citizens in a ń-calculus, which is briefly described. Because the ń-calculus is the basis for modern programminglanguage implementation techniques, integration of AD into the ń-calculus allows AD to be integrated into an aggressive compiler. We exhibit a research compiler which does this integration, and uses some novel analysis techniques to accept code involving free dynamic use of nested AD operators, yet performs as well as or better than the most aggressive existing AD systems.
    Item Type: Monograph (Technical Report)
    Keywords: Keywords Nesting; multiple transformation; forward mode; optimization;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 8162
    Depositing User: Barak Pearlmutter
    Date Deposited: 13 Apr 2017 14:21
    Publisher: ECE Technical Reports (Purdue e-Pubs)
    URI: https://mural.maynoothuniversity.ie/id/eprint/8162
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only (login required)

    Item control page
    Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads