Chengpeng Wang

Post-Doctoral Research Associate, Purdue University Email: wang6590@purdue.edu              stephenw.wangcp@gmail.com Address: Room 3154A, LWSN, 305 N. University Street, West Lafayette [ CV ] [ Publications ] [ Awards ] [ Teaching ] [ Service ] [ Misc ]

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 static analysis, to improve software reliability and performance. He is also interested in the intersection of machine learning techniques, such as Large Language Models, and symbolic analysis techniques, with the aim of establishing Neuro-symbolic Program Analysis.

Chengpeng has published extensively at premium venues of software engineering (ICSE, FSE, ASE, ISSTA, TOSEM, TSE), programming languages (OOPSLA, ECOOP), and systems (ATC, ASPLOS). 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 actively maintaining the paper list of LLM-for-PLSE. Welcome to star, fork, and contribute.
• (11/2024) I was invited to give a talk on LLM-aided static analysis at Boston Computation Club. Here is the talk recording.
• (10/2024) I was invited to serve on the Program Committee of Forge 2025. Please consider submitting your paper!
• (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

• Static Analysis for Bug Detection:
  
  
  • Precise reasoning for data structures [OOPSLA'22][TOSEM'22][FSE'24]
  • Improving scalability of value-flow analysis [TOSEM'23][ICSE'24][TSE'24a]
  • Promoting usability of static analysis [ECOOP'23][ASPLOS'24b][EMNLP'24][NeurIPS'24]
• Static Analysis for Program Comprehension:
  
  
  • Equivalence checking [ICSE'23]
  • Multi-modal code search [ECOOP'23]
  • Traceability link analysis [ASE'23]
• Domain-Specific Program Analysis:
  
  
  • Domain-specific bug detection: Memory corruption [ASPLOS'24a], Performance bugs [OOPSLA'22][ICSE'23]
  • Domain-specific software: FinTech systems [ASE'23][ICSE'23], Database management systems [ATC'23][ISSTA'24], Build maintainence systems [ISSTA'20][ASE'22][TSE'24b]

Selected Publications [Full List]

• 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

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

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

Service

Program Committee Member

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