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.

Experience

• Research Intern at Microsoft Research, RiSE Group
  • Redmond, WA        (May 2024 - Aug. 2024)

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)
  🏆 ACM SIGPLAN Distinguished Paper Award

• 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)

Awards

• ACM SIGPLAN Distinguished Paper Award (OOPSLA 2024)
• Outstanding Graduate, HUST, 2020

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)