Publications

Note: * for corresponding author, # for equal contribution. You can also find my articles on my Google Scholar profile.

Conference Papers

2024

[C2]

Arfa: an Agile Regime-based Floating-point Optimization Approach for Rounding Errors
Jinchen Xu#, Mengqi Cui#, Fei Li, Zuoyan Zhang, Hongru Yang, Bei Zhou*, Jie Zhao*
In Proceedings of the 33rd ACM International Symposium on Software Testing and Analysis (ISSTA 2024) Sep 2024 [PDF] [TOOL] [SLIDES]

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]

Journal Publications

2023

[J5]

Hierarchical search algorithm for error detection in floating-point arithmetic expressions
Zuoyan Zhang#, Jinchen Xu#, Jiangwei Hao, Yang Qu, Haotian He, Bei Zhou*
The Journal of Supercomputing [PDF] [TOOL]

[J4]

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]

[J3]

Detecting Floating-Point Expression Errors Based Improved PSO Algorithm
Hongru Yang#, Jinchen Xu, Jiangwei Hao, Zuoyan Zhang, Bei Zhou*
IET Software [PDF]

[J2]

Optimisation of automatic matrix multiplication mixing accuracy based on polyhedral models
Haotian He#, Bei Zhou, Shaozhong Guo, Zuoyan Zhang, Jiangwei Hao, Jinchen Xu*
Computer Science [PDF]

[J1]

Automatic mixed-precision optimization for matrix multiplication computations
Haotian He#, Bei Zhou, Shaozhong Guo, Liguang Ji, Zuoyan Zhang, Jiangwei Hao, Jinchen Xu*
Computer Science