About Me

• I am currently a third-year PhD student at the Department of Computer Science at Purdue University, advised by Prof. Xiangyu Zhang since 2021. Before that, I received my bachelor’s degree in Computer Science and Technology from Huazhong University of Science and Technology in 2020.

• My research interests are program analysis, software testing, and formal methods.

Publication

• ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
  Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang
  The ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2024)

• Lifting Network Protocol Implementation to Precise Format Specification with Security Applications
  Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang
  The ACM Conference on Computer and Communications Security (CCS 2023)

• Why Do Developers Remove Lambda Expressions in Java?
  Mingwei Zheng, Jun Yang, Ming Wen, Hengcheng Zhu, Yepang Liu, Hai Jin
  The IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)

Service

• Reviewer, IEEE Internet of Things Journal (2023, 2024)
• Reviewer, High-Confidence Computing (2023, 2024)
• Reviewer, IEEE Transactions on Wireless Communications (2023)
• Reviewer, Computer Networks (2024)
• Reviewer, PeerJ Computer Science (2023, 2024)

Teaching

• Teaching Assistant, CS 18000: Problem Solving And Object-Oriented Programming (2022 Spring)
• Teaching Assistant, CS 30700: Software Engineering (2022 Fall)