Detecting and fixing precision-specific operations for measuring floating-point errors
Abstract
The accuracy of the floating-point calculation is critical to many applications and different methods have been proposed around floating-point accuracies, such as detecting the errors in the program, verifying the accuracy of the program, and optimizing the program to produce more accurate results. These approaches need a specification of the program to understand the ideal calculation performed by the program, which is usually approached by interpreting the program in a precision-unspecific way.
BibTeX
@inproceedings{Wang-al:FSE16,
author = {Ran Wang and
Daming Zou and
Xinrui He and
Yingfei Xiong and
Lu Zhang and
Gang Huang},
title = {Detecting and fixing precision-specific operations for measuring floating-point errors},
booktitle = {FSE},
pages = {619--630},
publisher = {{ACM}},
year = {2016},
}