Chengpeng Wang

According to our database, Chengpeng Wang authored at least 30 papers between 2020 and 2025.

Collaborative distances:

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

2025

ASTRA: Autonomous Spatial-Temporal Red-teaming for AI Software Assistants.

Xiangzhe Xu, Guangyu Shen, Zian Su, Siyuan Cheng, Hanxi Guo, Lu Yan, Xuan Chen, Jiasheng Jiang, Xiaolong Jin, Chengpeng Wang, Zhuo Zhang, Xiangyu Zhang

CoRR, August, 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

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

PackHunter: Recovering Missing Packages for C/C++ Projects.

Rongxin Wu, Zhiling Huang, Zige Tian, Chengpeng Wang, Xiangyu Zhang

IEEE Trans. Software Eng., January, 2025

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing.

Jinyao Guo, Chengpeng Wang, Xiangzhe Xu, Zian Su, Xiangyu Zhang

CoRR, January, 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

Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation.

Yuan Li, Peisen Yao, Kan Yu, Chengpeng Wang, Yaoyang Ye, Song Li, Meng Luo, Yepang Liu, Kui Ren

Proc. ACM Softw. Eng., 2025

Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches.

Wei Chen, Bowen Zhang, Chengpeng Wang, Wensheng Tang, Charles Zhang

Proceedings of the Twentieth European Conference on Computer Systems, 2025

2024

Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing.

Yi Sun, Chengpeng Wang, Gang Fan, Qingkai Shi, Xiangyu Zhang

IEEE Trans. Software Eng., November, 2024

Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions.

Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang

ACM Trans. Softw. Eng. Methodol., March, 2024

DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization.

Chengpeng Wang, Jipeng Zhang, Rongxin Wu, Charles Zhang

Proc. ACM Softw. Eng., 2024

LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis.

Chengpeng Wang, Yifei Gao, Wuqi Zhang, Xuwei Liu, Qingkai Shi, Xiangyu Zhang

CoRR, 2024

REPOFUSE: Repository-Level Code Completion with Fused Dual Context.

Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di, Wei Jiang, Hongwei Chen, Chengpeng Wang, Gang Fan

CoRR, 2024

When Dataflow Analysis Meets Large Language Models.

Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang

CoRR, 2024

LLMDFA: Analyzing Dataflow in Code with Large Language Models.

Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

RepoGenix: Dual Context-Aided Repository-Level Code Completion with Language Models.

Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di, Wei Jiang, Hongwei Chen, Chengpeng Wang, Gang Fan

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

SQLess: Dialect-Agnostic SQL Query Simplification.

Li Lin, Zongyin Hao, Chengpeng Wang, Zhuangda Wang, Rongxin Wu, Gang Fan

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems.

Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Sanitizing Large Language Models in Bug Detection with Data-Flow.

Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiangyu Zhang

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis.

Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

GIANTSAN: Efficient Memory Sanitization with Segment Folding.

Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation.

Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang

ACM Trans. Softw. Eng. Methodol., May, 2023

Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis.

Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems.

Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Verifying Data Constraint Equivalence in FinTech Systems.

Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Synthesizing Conjunctive Queries for Code Search.

Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Complexity-guided container replacement synthesis.

Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang

Proc. ACM Program. Lang., 2022

Accelerating Build Dependency Error Detection via Virtual Build.

Rongxin Wu, Minglei Chen, Chengpeng Wang, Gang Fan, Jiguang Qiu, Charles Zhang

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2020

Escaping dependency hell: finding build dependency errors with the unified dependency graph.

Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020