About Me

I am currently a Ph.D. candidate in 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 include Large Language Models (LLMs) for software engineering and traditional program analysis and software testing.

Experience

Research Intern @ Microsoft Research, RiSE Group
Redmond, WA — May 2024 – Aug. 2024
Project: LLM-Based Multi-Agent System for Automated Code Refactoring

Part-time Research Intern @ Microsoft Research, RiSE Group
Remote — Sep. 2024 – Dec. 2024

Publication

• Validating Network Protocol Parsers with Traceable RFC Document Interpretation
  Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang
  The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025)

• Large Language Models for Validating Network Protocol Parsers)
  Mingwei Zheng, Danning Xie, Xiangyu Zhang
  The Eleventh Workshop on Language-Theoretic Security at the IEEE CS Security & Privacy Workshops (LangSec 2025)

• 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

Invited Talks

• ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
  • iSE, University of Illinois Urbana-Champaign, Nov. 2024
  • OOPSLA, Oct. 2024
  • LangSec Workshop, May 2024
• Why Do Developers Remove Lambda Expressions in Java?
  • ASE, Nov. 2021

Service

• Program Committee, EXPRESS 2025 (ISSTA Workshop)
• Reviewer:
  • IEEE Internet of Things Journal (2023, 2024)
  • High-Confidence Computing (2023, 2024)
  • IEEE Transactions on Wireless Communications (2023)
  • Computer Networks (2024)
  • PeerJ Computer Science (2023, 2024)

Teaching

• Teaching Assistant, CS 18000: Problem Solving and Object-Oriented Programming — Spring 2022
• Teaching Assistant, CS 30700: Software Engineering — Fall 2022