May 30, 2025 | One paper titled “Scalable Detection of Floating-point Errors via Adaptive Parallel Subdomain Search” was accepted by QRS 2025. |
May 13, 2025 | I am honored to have been awarded the PLMW@PLDI’25 Scholarship and will attend the PLDI 2025 in Seoul on June 16 to 21. |
Apr 26, 2025 | I am honored to have been awarded the AsiaLLVM Student Travel Grant and will attend the AsiaLLVM conference in Tokyo on June 10. Many thanks to AsiaLLVM community. |
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. |