Zuoyan Zhang (张作言)

Zuoyan Zhang (张作言)

PhD student (start from 2024)

Hunan University

Zuoyan Zhang is a first-year PhD student at Hunan University under the supervisor Prof. Jie Zhao, where he is a member of the CYCLE Lab. Zhang got his MEng degree from the State Key Laboratory of Mathematical Engineering and Advanced Computing at Information Engineering University under the supervisor Prof. Shaozhong Guo in June 2024. His research interests span ML system and program analysis, with a particular focus on floating-point program error detection and automatic repair, as well as distributed parallel acceleration for LLM training. His research has been recognized with ASE, ISSTA.

Publications

[C2]
Arfa: an Agile Regime-based Floating-point Optimization Approach for Rounding Errors
Jinchen Xu#, Mengqi Cui#, Fei Li, Zuoyan Zhang, Hongru Yang, Bei Zhou*, Jie Zhao*
In Proceedings of the 33rd ACM International Symposium on Software Testing and Analysis (ISSTA 2024) Sep 2024
[C1]
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*
In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) Sep 2023
[J1]
Hierarchical search algorithm for error detection in floating-point arithmetic expressions
Zuoyan Zhang#, Jinchen Xu#, Jiangwei Hao, Yang Qu, Haotian He, Bei Zhou*
The Journal of Supercomputing
Interests
  • Floating-point Error Detection
  • Program Analysis
  • Machine Learning Compilers
  • LLM Distributed Training Acceleration
Education

  • PhD, 2024 - present

    Hunan University

  • MEng, 2021 - 2024

    Information Engineering University

  • BSc, 2017 - 2021

    Henan University of Technology