Mingwei Zheng

According to our database, Mingwei Zheng authored at least 10 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, July, 2025

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

CoRR, June, 2025

An LLM Agent for Functional Bug Detection in Network Protocols.

Mingwei Zheng, Chengpeng Wang, Xuwei Liu, Jinyao Guo, Shiwei Feng, Xiangyu Zhang

CoRR, June, 2025

PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust.

Yifei Gao, Chengpeng Wang, Pengxiang Huang, Xuwei Liu, Mingwei Zheng, Xiangyu Zhang

CoRR, May, 2025

Validating Network Protocol Parsers with Traceable RFC Document Interpretation.

Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang

Proc. ACM Softw. Eng., 2025

Large Language Models for Validating Network Protocol Parsers.

Mingwei Zheng, Danning Xie, Xiangyu Zhang

Proceedings of the 2025 IEEE Security and Privacy, 2025

2024

Atmospheric Turbulence Phase Reconstruction via Deep Learning Wavefront Sensing.

Yutao Liu, Mingwei Zheng, Xingqi Wang

Sensors, July, 2024

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

Proc. ACM Program. Lang., 2024

2023

Lifting Network Protocol Implementation to Precise Format Specification with Security Applications.

Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

Why Do Developers Remove Lambda Expressions in Java?

Mingwei Zheng, Jun Yang, Ming Wen, Hengcheng Zhu, Yepang Liu, Hai Jin

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021