Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation. - Zuoyan Zhang; Bei Zhou; Jiangwei Hao; Hongru Yang; Mengqi Cui; Yuchang Zhou; Guanghui Song; Fei Li; Jinchen Xu; Jie Zhao 002 (ASE, 2023)

Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors. - Jinchen Xu; Mengqi Cui; Fei Li 045; Zuoyan Zhang; Hongru Yang; Bei Zhou; Jie Zhao 002 (ISSTA, 2024)

Hierarchical search algorithm for error detection in floating-point arithmetic expressions. - Zuoyan Zhang; Jinchen Xu; Jiangwei Hao; Yang Qu; Haotian He; Bei Zhou (J. Supercomput., 2024)

SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precision. - Yang Qu; Jinchen Xu; Bei Zhou; Jiangwei Hao; Fei Li; Zuoyan Zhang (Int. J. Softw. Eng. Knowl. Eng., 2024)