Preprint

• When Dataflow Analysis Meets Large Language Models
  Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang

Publication

• 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.

• 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

  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.

• 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

• 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.