Zuoyan Zhang
Orcid: 0009-0005-2615-2541
According to our database1,
Zuoyan Zhang
authored at least 4 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2023
2024
0
1
2
3
4
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Int. J. Softw. Eng. Knowl. Eng., April, 2024
Hierarchical search algorithm for error detection in floating-point arithmetic expressions.
J. Supercomput., January, 2024
Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors.
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.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023