NESA: Relational Neuro-Symbolic Static Program Analysis.

Mingwei Zheng

Chengpeng Wang 0001 Yifei Gao Wuqi Zhang Xuwei Liu Jinyao Guo Mingwei Zheng Qingkai Shi Xiangyu Zhang 0001 NESA: Relational Neuro-Symbolic Static Program Analysis. 3486-3509 2026 3 Proc. ACM Softw. Eng. FSE https://doi.org/10.1145/3808161 db/journals/pacmse/pacmse3.html#WangGZLGZSZ26

Xuan Chen 0003 Yuzhou Nie Lu Yan Mingwei Zheng Yunshu Mao Wenbo Guo 0002 Xiangyu Zhang 0001 Feedback-Driven Black-Box Safety Alignment Testing of Large Language Models via Reinforcement Learning. 2026 2026 Trans. Mach. Learn. Res. https://openreview.net/forum?id=GWslY31w2b db/journals/tmlr/tmlr2026.html#ChenNYZMGZ26 streams/journals/tmlr

Yifei Gao Chengpeng Wang 0001 Pengxiang Huang Xuwei Liu Mingwei Zheng Xiangyu Zhang 0001 Raw Pointer Rewriting with LLMs for Translating C to Safer Rust. 35360-35373 2026 ACL (Findings) https://doi.org/10.18653/v1/2026.findings-acl.1763 https://aclanthology.org/2026.findings-acl.1763/ conf/acl/2026f db/conf/acl/acl2026f.html#GaoWHLZZ26 Jiasheng Jiang Mingwei Zheng Qingkai Shi Xiangyu Zhang 0001 SFA-Miner: Mining Path-Sensitive API Usage Patterns Via Symbolic Finite Automata. SP 2026 3340-3357 conf/sp/2026 https://doi.org/10.1109/SP63933.2026.00056 db/conf/sp/sp2026.html#JiangZSZ26 streams/conf/sp

Zhou Xuan Xiangzhe Xu Mingwei Zheng Louis Zheng-Hua Tan Jinyao Guo Tiantai Zhang Le Yu Chengpeng Wang 0001 Xiangyu Zhang 0001 Identifying Adversary Tactics and Techniques in Malware Binaries with an LLM Agent. 2026 February abs/2602.06325 CoRR https://doi.org/10.48550/arXiv.2602.06325 db/journals/corr/corr2602.html#abs-2602-06325 streams/journals/corr

Mingwei Zheng David OBrien Siwei Cui Pardis Pashakhanloo Rajdeep Mukherjee Myeongsoo Kim Sachit Kuhar CORVUS: Context Optimization and Reduction Via Underlying Synchronization for LLM Coding Agents. 2026 July abs/2607.22711 CoRR https://doi.org/10.48550/arXiv.2607.22711 db/journals/corr/corr2607.html#abs-2607-22711 streams/journals/corr

Mingwei Zheng Danning Xie Qingkai Shi Chengpeng Wang 0001 Xiangyu Zhang 0001 Validating Network Protocol Parsers with Traceable RFC Document Interpretation. 1772-1794 2025 2 Proc. ACM Softw. Eng. ISSTA https://doi.org/10.1145/3728955 db/journals/pacmse/pacmse2.html#ZhengXSWZ25 streams/journals/pacmse

Mingwei Zheng Chengpeng Wang 0001 Xuwei Liu Jinyao Guo Shiwei Feng 0002 Xiangyu Zhang 0001 RFCAudit: AI Agent for Auditing Protocol Implementations Against RFC Specifications. 1221-1233 2025 ASE https://doi.org/10.1109/ASE63991.2025.00105 conf/kbse/2025 db/conf/kbse/ase2025.html#ZhengWLGFZ25 streams/conf/kbse Shiwei Feng 0002 Xiangzhe Xu Xuan Chen 0003 Kaiyuan Zhang 0002 Syed Yusuf Ahmed Zian Su Mingwei Zheng Xiangyu Zhang 0001 TAI3: Testing Agent Integrity in Interpreting User Intent. 2025 NeurIPS http://papers.nips.cc/paper_files/paper/2025/hash/f13d67d8b994594a12d53e5d21de2bef-Abstract-Conference.html conf/nips/2025 db/conf/nips/neurips2025.html#FengXCZASZZ25 Danning Xie Mingwei Zheng Xuwei Liu Jiannan Wang 0002 Chengpeng Wang 0001 Lin Tan 0001 Xiangyu Zhang 0001 CoRe: Benchmarking LLMs' Code Reasoning Capabilities through Static Analysis Tasks. 2025 NeurIPS http://papers.nips.cc/paper_files/paper/2025/hash/896cbab7d54e3fb158c4980db83290c7-Abstract-Datasets_and_Benchmarks_Track.html conf/nips/2025 db/conf/nips/neurips2025.html#XieZLWWTZ25 Mingwei Zheng Danning Xie Xiangyu Zhang 0001 Large Language Models for Validating Network Protocol Parsers. 56-64 2025 SP (Workshops) https://doi.org/10.1109/SPW67851.2025.00009 conf/sp/2025w db/conf/sp/sp2025w.html#ZhengXZ25

Mingwei Zheng Danning Xie Xiangyu Zhang 0001 Large Language Models for Validating Network Protocol Parsers. 2025 April abs/2504.13515 CoRR https://doi.org/10.48550/arXiv.2504.13515 db/journals/corr/corr2504.html#abs-2504-13515 streams/journals/corr

Mingwei Zheng Danning Xie Qingkai Shi Chengpeng Wang 0001 Xiangyu Zhang 0001 Validating Network Protocol Parsers with Traceable RFC Document Interpretation. 2025 April abs/2504.18050 CoRR https://doi.org/10.48550/arXiv.2504.18050 db/journals/corr/corr2504.html#abs-2504-18050 streams/journals/corr

Yifei Gao Chengpeng Wang 0001 Pengxiang Huang Xuwei Liu Mingwei Zheng Xiangyu Zhang 0001 PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust. 2025 May abs/2505.04852 CoRR https://doi.org/10.48550/arXiv.2505.04852 db/journals/corr/corr2505.html#abs-2505-04852 streams/journals/corr

Mingwei Zheng Chengpeng Wang 0001 Xuwei Liu Jinyao Guo Shiwei Feng 0002 Xiangyu Zhang 0001 An LLM Agent for Functional Bug Detection in Network Protocols. 2025 June abs/2506.00714 CoRR https://doi.org/10.48550/arXiv.2506.00714 db/journals/corr/corr2506.html#abs-2506-00714 streams/journals/corr

Shiwei Feng 0002 Xiangzhe Xu Xuan Chen 0003 Kaiyuan Zhang 0002 Syed Yusuf Ahmed Zian Su Mingwei Zheng Xiangyu Zhang 0001 IntenTest: Stress Testing for Intent Integrity in API-Calling LLM Agents. 2025 June abs/2506.07524 CoRR https://doi.org/10.48550/arXiv.2506.07524 db/journals/corr/corr2506.html#abs-2506-07524 streams/journals/corr

Danning Xie Mingwei Zheng Xuwei Liu Jiannan Wang 0002 Chengpeng Wang 0001 Lin Tan 0001 Xiangyu Zhang 0001 CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks. 2025 July abs/2507.05269 CoRR https://doi.org/10.48550/arXiv.2507.05269 db/journals/corr/corr2507.html#abs-2507-05269 streams/journals/corr

Mingwei Zheng Qingkai Shi Xuwei Liu Xiangzhe Xu Le Yu Congyu Liu Guannan Wei 0001 Xiangyu Zhang 0001 ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. 1208-1234 2024 8 Proc. ACM Program. Lang. OOPSLA1 https://doi.org/10.1145/3649854 db/journals/pacmpl/pacmpl8.html#ZhengSLXYLWZ24 streams/journals/pacmpl

Yutao Liu Mingwei Zheng Xingqi Wang Atmospheric Turbulence Phase Reconstruction via Deep Learning Wavefront Sensing. 4604 2024 July 24 Sensors 14 https://doi.org/10.3390/s24144604 db/journals/sensors/sensors24.html#LiuZW24 streams/journals/sensors

Qingkai Shi Junyang Shao Yapeng Ye Mingwei Zheng Xiangyu Zhang 0001 Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. 1287-1301 2023 CCS https://doi.org/10.1145/3576915.3616614 conf/ccs/2023 db/conf/ccs/ccs2023.html#ShiSYZ023

Qingkai Shi Junyang Shao Yapeng Ye Mingwei Zheng Xiangyu Zhang 0001 Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. 2023 abs/2305.11781 CoRR https://doi.org/10.48550/arXiv.2305.11781 db/journals/corr/corr2305.html#abs-2305-11781

Mingwei Zheng Jun Yang 0062 Ming Wen 0001 Hengcheng Zhu 0001 Yepang Liu 0001 Hai Jin 0001 Why Do Developers Remove Lambda Expressions in Java? 67-78 2021 ASE https://doi.org/10.1109/ASE51524.2021.9678600 conf/kbse/2021 db/conf/kbse/ase2021.html#ZhengY0Z0J21 Syed Yusuf Ahmed Xuan Chen 0003 Siwei Cui Shiwei Feng 0002 Yifei Gao Jinyao Guo Wenbo Guo 0002 Pengxiang Huang Jiasheng Jiang Hai Jin 0001 Myeongsoo Kim Sachit Kuhar Congyu Liu Xuwei Liu Yepang Liu 0001 Yutao Liu Yunshu Mao Rajdeep Mukherjee Yuzhou Nie David OBrien Pardis Pashakhanloo Junyang Shao Qingkai Shi Zian Su Lin Tan 0001 Louis Zheng-Hua Tan Chengpeng Wang 0001 Jiannan Wang 0002 Xingqi Wang Guannan Wei 0001 Ming Wen 0001 Danning Xie Xiangzhe Xu Zhou Xuan Lu Yan Jun Yang 0062 Yapeng Ye Le Yu Kaiyuan Zhang 0002 Tiantai Zhang Wuqi Zhang Xiangyu Zhang 0001 Hengcheng Zhu 0001