Zuoyan Zhang's Homepage

About me

I am currently a master student at Information Engineering University.

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

• Floating-point analysis

• Program analysis and test

• LLM system acceleration

• DL compiler

Educations

• PhD, 2024.08 - now
  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 only lists the papers for which I am the first author, please find my full list of publications in the following Link.

Conferences and Journals

1. 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). [CCF-A]
   [pdf]

2. 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. [CCF-C]
   [pdf] [HSED]

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