Items where Author is "Hovland, Paul"

Item Type No Grouping

A taxonomy of automatic differentiation pitfalls. (2024) Jan Hückelheim, Harshitha Menon, William Moses, Bruce Christianson, Paul Hovland and Laurent Hascoët picture_as_pdf

A framework for proving correctness of adjoint message-passing programs. (2008) Uwe Naumann, Laurent Hascoët, Chris Hill, Paul Hovland, Jan Riehme and Jean Utke