Zuoyan Zhang

According to our database, Zuoyan Zhang authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

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

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