Why Do Developers Remove Lambda Expressions in Java? - Mingwei Zheng; Jun Yang; Ming Wen 001; Hengcheng Zhu 001; Yepang Liu 001; Hai Jin 001 (ASE, 2021)

Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. - Qingkai Shi; Junyang Shao; Yapeng Ye; Mingwei Zheng; Xiangyu Zhang 001 (CCS, 2023)

ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. - Mingwei Zheng; Qingkai Shi; Xuwei Liu; Xiangzhe Xu; Le Yu; Congyu Liu; Guannan Wei 001; Xiangyu Zhang 001 (Proc. ACM Program. Lang., 2024)

Atmospheric Turbulence Phase Reconstruction via Deep Learning Wavefront Sensing. - Yutao Liu; Mingwei Zheng; Xingqi Wang (Sensors, 2024)

Large Language Models for Validating Network Protocol Parsers. - Mingwei Zheng; Danning Xie; Xiangyu Zhang (SP (Workshops), 2025)

Validating Network Protocol Parsers with Traceable RFC Document Interpretation. - Mingwei Zheng; Danning Xie; Qingkai Shi; Chengpeng Wang 001; Xiangyu Zhang 001 (Proc. ACM Softw. Eng., 2025)

PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust. - Yifei Gao; Chengpeng Wang 001; Pengxiang Huang; Xuwei Liu; Mingwei Zheng; Xiangyu Zhang 001 (CoRR, 2025)

An LLM Agent for Functional Bug Detection in Network Protocols. - Mingwei Zheng; Chengpeng Wang 001; Xuwei Liu; Jinyao Guo; Shiwei Feng 002; Xiangyu Zhang 001 (CoRR, 2025)

IntenTest: Stress Testing for Intent Integrity in API-Calling LLM Agents. - Shiwei Feng 002; Xiangzhe Xu; Xuan Chen; Kaiyuan Zhang 002; Syed Yusuf Ahmed; Zian Su; Mingwei Zheng; Xiangyu Zhang 001 (CoRR, 2025)

CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks. - Danning Xie; Mingwei Zheng; Xuwei Liu; Jiannan Wang 002; Chengpeng Wang 001; Lin Tan 001; Xiangyu Zhang 001 (CoRR, 2025)