Browsing by Author "Hovland, Paul"

Now showing items 1-2 of 2

    • A framework for proving correctness of adjoint message-passing programs 

      Naumann, Uwe; Hascoët, Laurent; Hill, Chris; Hovland, Paul; Riehme, Jan; Utke, Jean (Springer Nature, 2008-11-26)
      We propose a technique for proving correctness of adjoint message passing programs that relies on data dependences in partitioned global address space. As an example we discuss asynchronous unbuffered send/receive using MPI.

    • A Taxonomy of Automatic Differentiation Pitfalls 

      Hückelheim, Jan; Menon, Harshitha; Moses, William; Christianson, Bruce; Hovland, Paul; Hascoët, Laurent (2024-09-02)
      Automatic differentiation is a popular technique for computing derivatives of computer programs. While automatic differentiation has been successfully used in countless engineering, science, and machine learning applications, ...