Copyright notice: The documents referenced below are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright.

Preprint

• RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
  Jinyao Guo#, Chengpeng Wang#, Xiangzhe Xu, Zian Su, Xiangyu Zhang

  (#:Equal Contribution)
  arXiv 2025

• 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

  arXiv 2024

Publication

2025

• Validating Network Protocol Parsers with Traceable RFC Document Interpretation
  Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang

  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), June, 2025

• Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches
  Wei Chen, Bowen Zhang, Chengpeng Wang, Wensheng Tang, Charles Zhang

  ACM European Conference on Computer Systems (EuroSys), March, 2025

2024

• PackHunter: Recovering Missing Packages for C/C++ Projects
  Rongxin Wu, Zhiling Huang, Zige Tian, Chengpeng Wang, Xiangyu Zhang

  IEEE Transactions on Software Engineering (TSE), Dec, 2024

• LLMDFA: Analyzing Dataflow in Code with Large Language Models
  Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang

  Annual Conference on Neural Information Processing Systems (NeurIPS), Dec, 2024.

• Sanitizing Large Language Models in Bug Detection with Data-Flow
  Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiangyu Zhang

  Findings of Empirical Methods in Natural Language Processing (Findings of EMNLP), Nov, 2024.

• Fast and Precise Static Null Exception Analysis with Synergistic Preprocessing
  Yi Sun, Chengpeng Wang, Gang Fan, Qingkai Shi, Xiangyu Zhang

  IEEE Transactions on Software Engineering (TSE), Nov, 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

  IEEE/ACM International Conference on Automated Software Engineering (ASE Poster), Oct, 2024.

• SQLess: Dialect-Agnostic SQL Query Simplification
  Li Lin, Zongyin Hao, Chengpeng Wang, Zhuangda Wang, Rongxin Wu, and Gang Fan

  The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Sept, 2024.

• DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization
  Chengpeng Wang, Jipeng Zhang, Rongxin Wu, and Charles Zhang

  ACM International Conference on the Foundations of Software Engineering (FSE), July, 2024.

• SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis
  Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang

  ACM Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April, 2024.

• GiantSan: Efficient Memory Sanitization with Segment Folding
  Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang

  ACM Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April, 2024.

  Best Paper Award

• 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, and Charles Zhang

  The IEEE/ACM International Conference on Software Engineering (ICSE), April, 2024.

2023

• Enhancing Reliability and Performance of Data-Centric Systems with Static Analysis
  Chengpeng Wang

  PhD Thesis, Dec, 2023.

• Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions
  Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, and Charles Zhang

  The ACM Transactions on Software Engineering and Methodology (TOSEM), Oct, 2023.

• DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems
  Wensheng Tang#, Chengpeng Wang#, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, and Charles Zhang

  (#:Equal Contribution)
  The IEEE/ACM International Conference on Automated Software Engineering (ASE), Sept, 2023.

• Synthesizing Conjunctive Queries for Code Search
  Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, and Charles Zhang

  European Conference on Object-Oriented Programming (ECOOP), July, 2023.

• Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis
  Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, and Charles Zhang

  USENIX Annual Technical Conference (ATC), July, 2023.

• Verifying Data Constraint Equivalence in FinTech Systems
  Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, and Charles Zhang

  The IEEE/ACM International Conference on Software Engineering (ICSE), May, 2023.

• CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
  Chengpeng Wang

  The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Student Research Competition (SPLASH SRC), Dec, 2022.

2022

• Anchor: Fast and Precise Value-Flow Analysis for Containers via Memory Orientation
  Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, and Charles Zhang

  The ACM Transactions on Software Engineering and Methodology (TOSEM), Sept, 2022.

• Accelerating Build Dependency Error Detection via Virtual Build
  Rongxin Wu, Minglei Chen, Chengpeng Wang, Gang Fan, Jiguang Qiu, and Charles Zhang

  The IEEE/ACM International Conference on Automated Software Engineering (ASE), Oct, 2022.

• Complexity-Guided Container Replacement Synthesis
  Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, and Charles Zhang

  The ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages and Applications (OOPSLA), Nov, 2022.

  ACM SIGPLAN Distinguished Paper Award

Before 2022

• Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
  Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, and Charles Zhang

  The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), July, 2020.

• Statistical API Completion Based on Code Relevance Mining
  Chengpeng Wang, Yixiao Yang, Han Liu, and Le Kang

  International Workshop on Mining and Analyzing Interaction Histories (MAINT), Feb, 2019.