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 (To Appear)
Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 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 AwardLifting 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