Detecting and fixing precision-specific operations for measuring floating-point errors

Article Details
Title:	Detecting and fixing precision-specific operations for measuring floating-point errors
Article URLs:	https://doi.org/10.1145/2950290.2950355
Alternative Article URLs:
Authors:	Ran Wang	Peking University, Key Laboratory of High Conﬁdence Software Technologies Peking University, Institute of Software Peking University, EECS
	Daming Zou	Peking University, Key Laboratory of High Conﬁdence Software Technologies Peking University, Institute of Software Peking University, EECS
	Xinrui He	Peking University, Key Laboratory of High Conﬁdence Software Technologies Peking University, Institute of Software Peking University, EECS
	Yingfei Xiong	Peking University, Key Laboratory of High Conﬁdence Software Technologies Peking University, Institute of Software Peking University, EECS
	Lu Zhang	Peking University, Key Laboratory of High Conﬁdence Software Technologies Peking University, Institute of Software Peking University, EECS
	Gang Huang	Peking University, Key Laboratory of High Conﬁdence Software Technologies Peking University, Institute of Software Peking University, EECS
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://github.com/ﬂoatfeather/PSO/tree/master/artifact
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sigsoft/WangZHXZ016
Author Comments:

ACM Foundations of Software Engineering, FSE 2016

Discuss this paper and its artifacts below