Zuoyan Zhang

Orcid: 0009-0005-2615-2541

According to our database1, Zuoyan Zhang authored at least 4 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2023
2024
0
1
2
3
4
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precision.
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


  Loading...