About me

Hi, I'm Mengxiao(Max) Zhang, I'm currently a Ph.D student at CS department, University of Waterloo. I'm interested in compiler testing and test case reduction. My advisor is Chengnian Sun.

Education

Ph.D. at University of Waterloo, CS, 2021.09-present.
M.S. at University of Wisconsin-Madison, CS, 2019.09-2021.05.
B.S. at Huazhong University of Science and Techonology, CS, 2015.09-2019.06.

Publication

  1. (ISSTA 2024) LPR: Large Language Models-Aided Program Reduction
    Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Shin Hwei Tan, Chengnian Sun
  2. (TOSEM) On the Caching Schemes to Speed Up Program Reduction
    Yongqiang Tian, Xueyan Zhang, Yiwen Dong, Zhenyang Xu, Mengxiao Zhang, Yu Jiang, Shing-Chi Cheung, Chengnian Sun
    ACM Transactions on Software Engineering and Methodology, July 2023
  3. (ESEC/FSE 2023, demo) Ad Hoc Syntax-Guided Program Reduction
    Jia Le Tian, Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yiwen Dong, Chengnian Sun
    ACM SIGSOFT International Symposium on Foundations of Software Engineering
  4. (ESEC/FSE 2023) PPR: Pairwise Program Reduction
    Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yu Jiang, Chengnian Sun
    ACM SIGSOFT International Symposium on Foundations of Software Engineering
  5. (OOPSLA 2023) Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
    Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, Chengnian Sun
    ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
  6. (TSE) The Relevance of Classic Fuzz Testing: Have We Solved This One?
    Barton P. Miller, Mengxiao Zhang and Elisa R. Heymann
    IEEE Transactions on Software Engineering, February 2021

Experience

Research Assistant

2021.09-present
SWAG, Software Engineering, UWaterloo
Project: Program Reduction

2020.09-2021.05
LOCI lab, Biomedical Engineering, UW-Madison
Project: Micro-manager

Teaching Assistant

2024.01-2024.05, CS241 Foundations of Sequential Programs
2023.09-2023.12, CS430 Applications Software Engineering, UWaterloo
2023.05-2023.08, SE463 Software Requirements Specification and Analysis, UWaterloo
2023.01-2023.04, SE465 Software Testing and Quality Assurance, UWaterloo
2022.09-2022.12, CS430 Applications Software Engineering, UWaterloo
2022.05-2022.07, SE463 Software Requirements Specification and Analysis, UWaterloo
2022.01-2022.04, SE465 Software Testing and Quality Assurance, UWaterloo
2020.02-2020.05, CS300 Programming II, UW-Madison

Research Intern

2018.06-2018.11
CS, Cornell University
Project: Learning dense correspondence by synthesis, advised by Prof. Bharath Hariharan

2017.08-2018.03
Huazhong University of Science and Technology, CS
Project: Properties of deep manifold, advised by Prof. Kun He

Awards

David R. Cheriton Graduate Scholarships (2021-2023)
Outstanding Student of Huazhong Univ of Sci & Tech (2017)
National Scholarship (2017)