Publication: Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code
Introduction
Applications
Tools
Research Groups
Workshops
Publications
   List Publications
   Advanced Search
   Info
   Add Publications
My Account
About

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code

- Part of a collection -
 

Area
Error Analysis

Author(s)
Markus Schordan , Jan Hückelheim , Pei-Hung Lin , Harshitha Menon

Published in
Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017

Editor(s)
Ignacio Laguna, Cindy Rubio-González

Year
2017

Publisher
ACM

BibTeX
@INPROCEEDINGS{
         Schordan2017VtF,
       author = "Markus Schordan and Jan H{\"{u}}ckelheim and Pei{-}Hung Lin and Harshitha
         Menon",
       editor = "Ignacio Laguna and Cindy Rubio{-}Gonz{\'{a}}lez",
       title = "Verifying the Floating-Point Computation Equivalence of Manually and Automatically
         Differentiated Code",
       booktitle = "Proceedings of the First International Workshop on Software Correctness for {HPC}
         Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017",
       pages = "34--41",
       publisher = "{ACM}",
       year = "2017",
       url = "https://doi.org/10.1145/3145344.3145489",
       doi = "10.1145/3145344.3145489",
       ad_area = "Error Analysis"
}


back
  

Contact:
autodiff.org
Username:
Password:
(lost password)