Announcement_5
One paper titled “Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation” was accepted by ASE 2023.
One paper titled “Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation” was accepted by ASE 2023.