QQ客服 官方微博 反馈留言

	Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors
	Wang, Ran ; Zou, Daming ; He, Xinrui ; Xiong, Yingfei ; Zhang, Lu ; Huang, Gang
	2016
关键词	Floating-point accuracy precision-specific operations
英文摘要	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. However, many operations programmed in existing code are inherently precision-specific, which cannot be easily interpreted in a precision-unspecific way. In fact, the semantics used in existing approaches usually fail to interpret precision-specific operations correctly. In this paper, we present a systematic study on precision-specific operations. First, we propose a detection approach to detect precision-specific operations. Second, we propose a fixing approach to enable the tuning of precisions under the presence of precision-specific operations. Third, we studied the precision-specific operations in the GNU C standard math library based on our detection and fixing approaches. Our results show that (1) a significant number of code fragments in the standard C math library are precision-specific operations, and some large inaccuracies reported in existing studies are false positives or potential false positives due to precision-specific operations; (2) our detection approach has high precision and recall; (3) our fixing approach can lead to overall more accurate result.; CPCI-S(ISTP); wangrancs@pku.edu.cn; zoudm@pku.edu.cn; hexinrui@pku.edu.cn; xiongyf@pku.edu.cn; zhanglucs@pku.edu.cn; hg@pku.edu.cn; 619-630
语种	英语
出处	24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)
DOI标识	10.1145/2950290.2950355
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/459856]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Wang, Ran,Zou, Daming,He, Xinrui,et al. Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors. 2016-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。