Efficient automated repair of high floating-point errors in numerical libraries

Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji. Efficient automated repair of high floating-point errors in numerical libraries. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Abstract

Abstract is missing.