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. (ICSE 2025) WDD: Weighted Delta Debugging
    Xintong Zhou, Zhenyang Xu, Mengxiao Zhang, Yongqiang Tian, Chengnian Sun
  2. (ICSE 2025) Toward a Better Understandings of Probabilistic Delta Debugging
    Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Xinru Cheng, Chengnian Sun
  3. (TOSEM) T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax
    Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Jiarui Zhang, Puzhuo Liu, Yu Jiang, Chengnian Sun
    ACM Transactions on Software Engineering and Methodology, Aug 2024
  4. (ISSTA 2024) LPR: Large Language Models-Aided Program Reduction
    Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Shin Hwei Tan, Chengnian Sun
  5. (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
  6. (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
  7. (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
  8. (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
  9. (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
  10. (ArXiv) The Local Dimension of Deep Manifold
    Mengxiao Zhang, Wanquan Wu, Yaren Zhang, Kun He, Tao Yu, Huan Long, and John E. Hopcroft

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

Internship

2024.05-present
Toronto Heterogeneous Compiler Lab, Huawei
Associate engineer

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

2017.08-2018.03
Huazhong University of Science and Technology, CS
Project: Properties of deep manifold Advisor: Kun He

Awards

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