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
-
(ICSE 2025)
WDD: Weighted Delta Debugging
Xintong Zhou, Zhenyang Xu, Mengxiao Zhang, Yongqiang Tian, Chengnian Sun
-
(ICSE 2025)
Toward a Better Understandings of Probabilistic Delta Debugging
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Xinru Cheng, Chengnian Sun
-
(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 -
(ISSTA 2024)
LPR: Large Language Models-Aided Program Reduction
Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Shin Hwei Tan, Chengnian Sun
-
(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 -
(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 -
(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 -
(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 -
(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 -
(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)