Chengpeng Wang

Bio

Chengpeng Wang is a Post-Doctoral Researcher in Department of Computer Science at Purdue Univeristy, West Lafayette, working with Prof. Xiangyu Zhang. His research mainly focuses on the use of program analysis, especially formal method-based static analysis, to improve software reliability and performance. Currently, his research is centered around the intersection of formal methods and machine learning, specifically large language models, with the aim of developing a neuro-symbolic static analysis framework to democratize code auditing.

Chengpeng has published extensively at premium venues of software engineering (ICSE, FSE, ASE, ISSTA, TOSEM, TSE), programming languages (OOPSLA, ECOOP), and systems (ATC, ASPLOS, EuroSys). His research received awards including ACM SIGPLAN Distinguished Paper Award and ASPLOS Best Paper Award. He obtained his Ph.D. degree at Hong Kong University of Science and Technology (HKUST), supervised by Prof. Charles Zhang. During his Ph.D. study, he also enjoyed several industrial experiences in Sourcebrella, Ant Group, and Veridise. Before that, he received his master and bachelor degrees at Tsinghua University (THU).

News

• (Pinned) We are organizing the LMPL workshop at SPLASH 2025. Please consider submitting your work if it lies at the intersection of language models and programming languages! We welcome submissions in forms of research papers, position papers, and talk papers.
• (Pinned) We are actively maintaining the paper list of CodeLLMPaper. Welcome to star, fork, and contribute.
• (02/2025) I will serve as the PC member of ASE'25. Please consider submitting your work!
• (01/2025) I delivered an invited talk titled Advances in AI-powered Code Security to CodeQL team @ GitHub. Here are the slides and recording.
• (11/2024) I was invited to present LLM-aided static analysis at Boston Computation Club. Here are the slides and recording.
• (09/2024) Our work LLMDFA was accepted by NeurIPS'24.
• (09/2024) Our work LLMSAN was accepted by Findings of EMNLP'24.
• (04/2024) Our work GiantSan received Best Paper Award at ASPLOS 2024. Congratulations to Hao!
• (12/2023) I passed my Ph.D. defense and officially obtained Ph.D. degree on the last day of 2023!

Research Directions

• Fundamential Problems in Program Analysis:
  
  
  • Precise memory modeling [OOPSLA'22][TOSEM'22][FSE'24][ASPLOS'24a]
  • Precise and scalable static bug detection [TOSEM'23][ICSE'24][TSE'24a]
  • User-friendly static analysis infrastructure [ECOOP'23][ASPLOS'24b]
• Neuro-Symbolic Static Analysis:
  
  
  • Library/Bug specification inference [FSE'24][EuroSys'25]
  • Compilation-free and customizable static analysis [EMNLP'24][NeurIPS'24][arXiv'24]
  • Repository-level LLM-driven code auditing [arXiv'25]
• Domain-Specific Static Analysis and its Applications:
  
  
  • Bug detection and repair: Build maintenance systems [ISSTA'20][ASE'22][TSE'24b]
  • Code understanding and refactoring: FinTech systems [ICSE'23][ASE'23]
  • Testing: Database management systems [ATC'23][ISSTA'24]

Selected Publications [Full List]

• 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

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

  Annual Conference on Neusral 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.

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

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

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

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

• 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

Awards

Postdoc Travel Award, Purdue University, 2024

ACM SIGARCH Best Paper Award, ASPLOS 2024

UGC Research Travel Grant, HKUST, 2022~2023

Ant Group Outstanding Collaboration Award, 2023

ACM SIGPLAN Distinguished Paper Award, OOPSLA 2022

ACM SIGPLAN PAC Award, 2022

Outstanding Tutor Award (2019), Student Learning and Development Center, THU

Future Academician Scholarship (2016), Graduate School, THU

Scholarship for Academic Excellence (2013, 2014), THU

Teaching

CS 592: AI and Security, Purdue University, Fall 2024

COMP 3021: Java Programming, HKUST, Spring 2022 & Fall 2022 & Spring 2023

COMP 4631: Computer and Communication Security, HKUST, Fall 2021

COMP 3111/H: Software Engineering, HKUST, Fall 2020

COMP 2011: Programming with C++, HKUST, Spring 2020

Haskell: Functional Language Programming, THU, Spring 2019

Automaton and Formal Logic, THU, Fall 2018

Drop-in Tutoring for STEM Courses, THU, Spring/Fall 2018/2019

Service

Program Committee Member

ASE'25, Forge'25, FSE'25, ISSTA'25, SPLASH'24 SRC, ASE'24 (industrial track), ISSRE'24, Forge'24

Journal Reviewer

IEEE Transactions on Software Engineering (TSE)

Artifact Evaluation Committee

OOPSLA'24, PLDI'23, FSE'22, ISSTA'22

Volunteer

Student Volunteer @ SPLASH 2022, Student Volunteer @ ISSTA 2019

Mentoring