Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code
- Research Organization:
- Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC52-07NA27344
- OSTI ID:
- 1409964
- Report Number(s):
- LLNL-CONF-737605
- Resource Relation:
- Conference: Presented at: Correctness 2017: First International Workshop on Software Correctness for HPC Applications, Denver, CO, United States, Nov 12 - Nov 12, 2017
- Country of Publication:
- United States
- Language:
- English
Similar Records
ADAPT: Algorithmic Differentiation for Floating-Point Precision Tuning
Universal Coding of the Reals: Alternatives to IEEE Floating Point
pLiner: Isolating Lines of Floating-Point Code for Compiler Induced Variability
Conference
·
Wed Oct 31 00:00:00 EDT 2018
·
OSTI ID:1409964
+4 more
Universal Coding of the Reals: Alternatives to IEEE Floating Point
Conference
·
Tue Dec 12 00:00:00 EST 2017
·
OSTI ID:1409964
pLiner: Isolating Lines of Floating-Point Code for Compiler Induced Variability
Conference
·
Mon Apr 20 00:00:00 EDT 2020
·
OSTI ID:1409964