Chengpeng Wang

39 papers A* 8A 4Journal 23Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models.
CoRR
Maryam Masoudian, Anshunkang Zhou, Chengpeng Wang, Charles Zhang
2026 J jnl
Identifying Adversary Tactics and Techniques in Malware Binaries with an LLM Agent.
CoRR
Zhou Xuan, Xiangzhe Xu, Mingwei Zheng, Louis Zheng-Hua Tan, Jinyao Guo, Tiantai Zhang, Le Yu, Chengpeng Wang, Xiangyu Zhang
2025 J jnl
ASTRA: Autonomous Spatial-Temporal Red-teaming for AI Software Assistants.
CoRR
Xiangzhe Xu, Guangyu Shen, Zian Su, Siyuan Cheng, Hanxi Guo, Lu Yan, Xuan Chen, Jiasheng Jiang, Xiaolong Jin, Chengpeng Wang, Zhuo Zhang, Xiangyu Zhang
2025 J jnl
An LLM Agent for Functional Bug Detection in Network Protocols.
CoRR
Mingwei Zheng, Chengpeng Wang, Xuwei Liu, Jinyao Guo, Shiwei Feng, Xiangyu Zhang
2025 J jnl
BugScope: Learn to Find Bugs Like Human.
CoRR
Jinyao Guo, Chengpeng Wang, Dominic Deluca, Jinjie Liu, Zhuo Zhang, Xiangyu Zhang
2025 J jnl
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks.
CoRR
Danning Xie, Mingwei Zheng, Xuwei Liu, Jiannan Wang, Chengpeng Wang, Lin Tan, Xiangyu Zhang
2025 J jnl
PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust.
CoRR
Yifei Gao, Chengpeng Wang, Pengxiang Huang, Xuwei Liu, Mingwei Zheng, Xiangyu Zhang
2025 J jnl
PackHunter: Recovering Missing Packages for C/C++ Projects.
IEEE Trans. Software Eng.
Rongxin Wu, Zhiling Huang, Zige Tian, Chengpeng Wang, Xiangyu Zhang
2025 J jnl
Position: Intelligent Coding Systems Should Write Programs with Justifications.
CoRR
Xiangzhe Xu, Shiwei Feng, Zian Su, Chengpeng Wang, Xiangyu Zhang
2025 A* conf
RFCAudit: AI Agent for Auditing Protocol Implementations Against RFC Specifications.
ASE
Mingwei Zheng, Chengpeng Wang, Xuwei Liu, Jinyao Guo, Shiwei Feng, Xiangyu Zhang
2025 A* conf
RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing.
ICML
Jinyao Guo, Chengpeng Wang, Xiangzhe Xu, Zian Su, Xiangyu Zhang
2025 J jnl
RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing.
CoRR
Jinyao Guo, Chengpeng Wang, Xiangzhe Xu, Zian Su, Xiangyu Zhang
2025 A conf
Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches.
EuroSys
Wei Chen, Bowen Zhang, Chengpeng Wang, Wensheng Tang, Charles Zhang
2025 J jnl
Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation.
Proc. ACM Softw. Eng.
Yuan Li, Peisen Yao, Kan Yu, Chengpeng Wang, Yaoyang Ye, Song Li, Meng Luo, Yepang Liu, Kui Ren
2025 J jnl
Validating Network Protocol Parsers with Traceable RFC Document Interpretation.
CoRR
Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang
2025 J jnl
Validating Network Protocol Parsers with Traceable RFC Document Interpretation.
Proc. ACM Softw. Eng.
Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang
2024 J jnl
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization.
Proc. ACM Softw. Eng.
Chengpeng Wang, Jipeng Zhang, Rongxin Wu, Charles Zhang
2024 J jnl
Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing.
IEEE Trans. Software Eng.
Yi Sun, Chengpeng Wang, Gang Fan, Qingkai Shi, Xiangyu Zhang
2024 — conf
GIANTSAN: Efficient Memory Sanitization with Segment Folding.
ASPLOS (2)
Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang
2024 A* conf
LLMDFA: Analyzing Dataflow in Code with Large Language Models.
NeurIPS
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang
2024 J jnl
LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis.
CoRR
Chengpeng Wang, Yifei Gao, Wuqi Zhang, Xuwei Liu, Qingkai Shi, Xiangyu Zhang
2024 A* conf
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems.
ICSE
Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang
2024 J jnl
Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions.
ACM Trans. Softw. Eng. Methodol.
Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang
2024 J jnl
REPOFUSE: Repository-Level Code Completion with Fused Dual Context.
CoRR
Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di, Wei Jiang, Hongwei Chen, Chengpeng Wang, Gang Fan
2024 A* conf
RepoGenix: Dual Context-Aided Repository-Level Code Completion with Language Models.
ASE
Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di, Wei Jiang, Hongwei Chen, Chengpeng Wang, Gang Fan
2024 — conf
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis.
ASPLOS (3)
Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang
2024 A conf
SQLess: Dialect-Agnostic SQL Query Simplification.
ISSTA
Li Lin, Zongyin Hao, Chengpeng Wang, Zhuangda Wang, Rongxin Wu, Gang Fan
2024 — conf
Sanitizing Large Language Models in Bug Detection with Data-Flow.
EMNLP (Findings)
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiangyu Zhang
2024 J jnl
When Dataflow Analysis Meets Large Language Models.
CoRR
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang
2023 J jnl
Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation.
ACM Trans. Softw. Eng. Methodol.
Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang
2023 A* conf
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems.
ASE
Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang
2023 — conf
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis.
USENIX ATC
Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang
2023 A conf
Synthesizing Conjunctive Queries for Code Search.
ECOOP
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
2023 J jnl
Synthesizing Conjunctive Queries for Code Search.
CoRR
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
2023 A* conf
Verifying Data Constraint Equivalence in FinTech Systems.
ICSE
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
2023 J jnl
Verifying Data Constraint Equivalence in FinTech Systems.
CoRR
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
2022 A* conf
Accelerating Build Dependency Error Detection via Virtual Build.
ASE
Rongxin Wu, Minglei Chen, Chengpeng Wang, Gang Fan, Jiguang Qiu, Charles Zhang
2022 J jnl
Complexity-guided container replacement synthesis.
Proc. ACM Program. Lang.
Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang
2020 A conf
Escaping dependency hell: finding build dependency errors with the unified dependency graph.
ISSTA
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang