向量数学库的向量化方法研究 (Study on SIMD Method of Vector Math Library). - Bei Zhou 004; Yongzhong Huang; Jinchen Xu; Shaozhong Guo (计算机科学, 2019)

Memory latency optimizations for the elementary functions on the Sunway architecture. - Bei Zhou 004; Yongzhong Huang; Jinchen Xu; Shaozhong Guo; Hongyuan Qi (J. Supercomput., 2019)

AMPT: Automatic Mixed-Precision Tuning Based on Accuracy Gain. - Jiangwei Hao; Yuanyuan Xia; Fei Li 045; Hongru Yang; Zongjiang Yi; Bei Zhou 004; Jianmin Pang (APSEC, 2023)

Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation. - Zuoyan Zhang; Bei Zhou 004; Jiangwei Hao; Hongru Yang; Mengqi Cui; Yuchang Zhou; Guanghui Song; Fei Li 045; 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 004; Jie Zhao 002 (ISSTA, 2024)

A Holistic Approach to Automatic Mixed-Precision Code Generation and Tuning for Affine Programs. - Jinchen Xu; Guanghui Song; Bei Zhou 004; Fei Li 045; Jiangwei Hao; Jie Zhao 002 (PPoPP, 2024)

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

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

GATUNER:Genetic Algorithm Applied to Floating-Point Precision Tuning. - Jianing Zhang; Jinchen Xu; Hongru Yang; Tao Zhang; Shuai Wang; Bei Zhou 004 (APSEC, 2025)

AutoFPIR: A Automatic Conversion Tool for Floating-point Program to Equivalent Intermediate Representation. - Yuchang Zhou; Ping Zhang; Jinchen Xu; Bei Zhou 004; Mengqi Cui; Hongru Yang; Liguang Ji; Jianing Zhang (ICSIM, 2025)

QEMOS: a scalable quantum error mitigation method to overcome qubit sensitivity. - Zheng Tu; Jinchen Xu; Xin Zhou; Yu Zhu; Yi Liu; Qiming Du; Hang Lian; Bei Zhou 004 (Mach. Learn. Sci. Technol., 2025)

PESA: error sensitivity analysis tool for floating-point computational programs. - Mengqi Cui; Jinchen Xu; Yuchang Zhou; Hongru Yang; Liguang Ji; Bei Zhou 004 (J. Supercomput., 2025)