About Me

I am 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 lies at the intersection of Large Language Models (LLMs) and Software Engineering. I build LLM agents that combine program analysis with LLMs for deep codebase understanding that improve software correctness, robustness, and trustworthiness.

[Academic CV]

Experience

Applied Science Intern @ AWS, Amazon Q Developer
Santa Clara, CA — Aug. 2025 – Nov. 2025

Research Intern @ Microsoft Research, RiSE Group
Redmond, WA — May 2025 – Aug. 2025

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

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

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 (7 out of 148 accepted papers)

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

Preprint

• An LLM Agent for Functional Bug Detection in Network Protocols
  Mingwei Zheng, Chengpeng Wang, Xuwei Liu, Jinyao Guo, Shiwei Feng, Xiangyu Zhang arXiv preprint, arXiv:2506.00714 (2025)

• CORE: Benchmarking LLMs’ Code Reasoning Capabilities through Static Analysis Tasks
  Danning Xie*, Mingwei Zheng*, Xuwei Liu, Jiannan Wang, Chengpeng Wang, Lin Tan, Xiangyu Zhang
  arXiv preprint, arXiv:2507.05269 (2025)
  * Equal contribution

• IntenTest: Stress Testing for Intent Integrity in API-Calling LLM Agents
  Shiwei Feng, Xiangzhe Xu, Xuan Chen, Kaiyuan Zhang, Syed Yusuf Ahmed, Zian Su, Mingwei Zheng, Xiangyu Zhang
  arXiv preprint, arXiv:2506.07524 (2025)

• PR²: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
  Yifei Gao, Chengpeng Wang, Pengxiang Huang, Xuwei Liu, Mingwei Zheng, Xiangyu Zhang
  arXiv preprint, arXiv:2505.04852 (2025)

Awards

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

Invited Talks

• An LLM Agent for Functional Bug Detection in Network Protocols
  • Boston Computation Club, Aug. 2025
• ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
  • iSE, University of Illinois Urbana-Champaign, Nov. 2024
  • LangSec Workshop, May 2024

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, 2025)

Teaching

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