Publications
Note: * for corresponding author, # for equal contribution. You can also find my articles on my Google Scholar profile.
📑 Conference Papers
2024
2023
[C1]
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation
Zuoyan Zhang, Bei Zhou, Jiangwei Hao, Hongru Yang, Mengqi Cui, Yuchang Zhou, Guanghui Song, Fei Li, Jinchen Xu*, Jie Zhao*
In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) Sep 2023 [PDF] [TOOL] [SLIDES] [TALK]
Zuoyan Zhang, Bei Zhou, Jiangwei Hao, Hongru Yang, Mengqi Cui, Yuchang Zhou, Guanghui Song, Fei Li, Jinchen Xu*, Jie Zhao*
In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) Sep 2023 [PDF] [TOOL] [SLIDES] [TALK]
📝 Journal Publications
2023
[J3]
SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precison
Yang Qu#, Jinchen Xu, Bei Zhou*, Jiangwei Hao, Fei Li, Zuoyan Zhang
International Journal of Software Engineering and Knowledge Engineering [PDF]
Yang Qu#, Jinchen Xu, Bei Zhou*, Jiangwei Hao, Fei Li, Zuoyan Zhang
International Journal of Software Engineering and Knowledge Engineering [PDF]
[J2]
Detecting Floating-Point Expression Errors Based Improved PSO Algorithm
Hongru Yang#, Jinchen Xu, Jiangwei Hao, Zuoyan Zhang, Bei Zhou*
IET Software [PDF]
Hongru Yang#, Jinchen Xu, Jiangwei Hao, Zuoyan Zhang, Bei Zhou*
IET Software [PDF]