Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
Efficient automated repair of high floating-point errors in numerical libraries
POPL, 2019.
@article{POPL-2019-YiCMJ,
author = "Xin Yi and Liqian Chen and Xiaoguang Mao and Tao Ji",
doi = "10.1145/3290369",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{Efficient automated repair of high floating-point errors in numerical libraries}",
volume = 3,
year = 2019,
}