News

Mar 24, 2026 One paper titled “A Decoupled Analytical Model for Tile Size Selection in Affine Programs” was accepted by ACM TACO.
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.