news

Sep 26, 2024 I participated in CCF HPC China 2024 and be a guest speaker at the 2nd China Chip Basic Function Library Forum.
Sep 19, 2024 I participated in ISSTA 2024 and gave a presentation on “Arfa: An Agile Regime-based Floating-point Optimization Approach for Rounding Errors”.
Jul 03, 2024 One paper titled “Arfa: An Agile Regime-based Floating-point Optimization Approach for Rounding Errors” was accepted by ISSTA 2024.
Jul 11, 2023 One paper titled “Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation” was accepted by ASE 2023.