Zuoyan Zhang

According to our database, Zuoyan Zhang authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Scalable Detection of Floating-Point Errors via Adaptive Parallel Subdomain Search.

Zuoyan Zhang, Shihan Yuan, Hongru Yang, Jie Zhao, Jinchen Xu

Proceedings of the 25th International Conference on Software Quality, 2025

2024

SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precision.

Yang Qu, Jinchen Xu, Bei Zhou, Jiangwei Hao, Fei Li, Zuoyan Zhang

Int. J. Softw. Eng. Knowl. Eng., April, 2024

Hierarchical search algorithm for error detection in floating-point arithmetic expressions.

Zuoyan Zhang, Jinchen Xu, Jiangwei Hao, Yang Qu, Haotian He, Bei Zhou

J. Supercomput., January, 2024

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

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023