Zuoyan Zhang's Homepage

Zuoyan Zhang (张作言)
Master Student

State Key Laboratory of Mathematical Engineering and Advanced Computing
Information Engineering University

E-mail: zhangzuoyan523@163.com
[GitHub] [Semantic Scholar]
I am currently looking for a PhD position!

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

  • Fault localization

  • Program analysis and test

  • Mixed-precision

Educations

  • Information Engineering University Master in State Key Laboratory of Mathematical Engineering and Advanced Computing, from September 2021 to June 2024 (Expected).

  • Henan University of Technology B.S. in School of Information Science and Engineering, from September 2017 to June 2021.

Experiences

  • Research Intern in AI for Science Institude (BEIJING), from Jun 2023 to Sep 2023.

Selected Publications

Note: * for corresponding author, # for equal contribution.
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*.
    In proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering. (ASE 2023)(Accepted) [CCF-A].

  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]

  3. Detecting Floating-point Expression Errors based improved PSO Algorithm
    Hongru Yang#, Jinchen Xu#, Jiangwei Hao, Zuoyan Zhang, Bei Zhou*.
    IET Software (Accepted). [CCF-B].

Scholarship

  1. First Class Academic Scholarship: 2022 in Information Engineering University

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

Useful Links

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