Zuoyan Zhang's Homepage

About me

I am currently a Ph.D. candidate at Hunan University.

My research interests span programming languages and software engineering, especially include:

• Floating-point Error Detection

• Program Analysis

• Machine Learning Compilers

Educations

• PhD, 2024.09 - present
  Hunan University, Changsha, China.
  Supervisor: Prof. Jie Zhao.

• MPhil, 2021.09 - 2024.06
  Information Engineering University, Zhengzhou, China.
  State Key Laboratory of Mathematical Engineering and Advanced Computing.
  Supervisor: Prof. Shaozhong Guo.

• BEng, 2017.09 - 2021.06
  Henan University of Technology, Zhengzhou, China.

Experiences

• Research Intern in AI for Science Institute (BEIJING), 2023.06 - 2023.09.

Selected Publications

Note: * for corresponding author, # for equal contribution.
The following lists some papers for which I am the first or co-auther, please find my full list of publications in the following Link.

Conferences and Journals

1. 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*.
   2024 33rd ACM International Symposium on Software Testing and Analysis (ISSTA 2024).
   

2. 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*.
   2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023). [pdf] [tool]

3. 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 (2023). [pdf][tool]

4. Detecting Floating-Point Expression Errors Based Improved PSO Algorithm
   Hongru Yang#, Jinchen Xu, Jiangwei Hao, Zuoyan Zhang, Bei Zhou*.
   IET Software (2023). [pdf]

5. SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precison
   Yang Qu#, Jinchen Xu, Bei Zhou*, Jiangwei Hao, Fei Li, Zuoyan Zhang.
   International Journal of Software Engineering and Knowledge Engineering (2023). [pdf]

Scholarship

1. National Scholarship: 2023 in Information Engineering University

2. First Class Academic Scholarship: 2023 in Information Engineering University

3. Second Class Academic Scholarship: 2022 in Information Engineering University

4. First Class Academic Scholarship: 2021 in Information Engineering University

Useful Links

Deadlines: ccf-ddl
CCF list: ccf.atom.im