| Hierarchical search algorithm for error detection in floating-point arithmetic expressions Z Zhang, J Xu, J Hao, Y Qu, H He, B Zhou The Journal of Supercomputing 80 (1), 1183-1205, 2024 | 3 | 2024 |
| Eiffel: inferring input ranges of significant floating-point errors via polynomial extrapolation Z Zhang, B Zhou, J Hao, H Yang, M Cui, Y Zhou, G Song, F Li, J Xu, ... 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 2 | 2023 |
| Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors J Xu, M Cui, F Li, Z Zhang, H Yang, B Zhou, J Zhao Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | | 2024 |
| SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precision Y Qu, J Xu, B Zhou, J Hao, F Li, Z Zhang International Journal of Software Engineering and Knowledge Engineering 34 …, 2024 | | 2024 |
| Detecting Floating‐Point Expression Errors Based Improved PSO Algorithm H Yang, J Xu, J Hao, Z Zhang, B Zhou IET Software 2023 (1), 6681267, 2023 | | 2023 |
Jie ZhaoProfessor of Computer Science, Hunan UniversityOverená e-mailová adresa na: hnu.edu.cn