Chengpeng Wang

alt text 

Post-Doctoral Research Associate, Purdue University


Address: Room 3154A, LWSN, 305 N. University Street, West Lafayette

alt text 

About me

I am a Post-Doctoral Researcher in Department of Computer Science at Purdue Univeristy, West Lafayette, working with Prof. Xiangyu Zhang. My main area of research is programming languages, static analysis, and testing. My current research mainly focuses on analyzing data-centric programs. I am also trying new ideas on the large language models with the aim of assisting static analysis.

I obtained my Ph.D. degree at Department of Computer Science and Engineering, HKUST, supervised by Prof. Charles Zhang. I was also a member of Prism group in Cybersecurity Lab @ HKUST. I received my master degree at Tsinghua University. Before this, I received my B.S in Software Engineering and Mathematics (double major) at Tsinghua University.

I have a Chinese nickname, pronounced Xiang Qian. It stands for abstract interpretation, which is the fundamental theory in static analysis. In Chinese, the words pronounced Xiang not only can represent the state of an object but also indicate the elephants. Qian means a transition or a move. I chose it as my nickname to show my appreciation of the works based on abstract interpretation, especially those for heap reasoning.



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


Chengpeng Wang, Jipeng Zhang, Rongxin Wu, and Charles Zhang, DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization, In FSE 2024: ACM International Conference on the Foundations of Software Engineering, July, 2024.

Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang, SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis , In ASPLOS 2024: ACM Conference on Architectural Support for Programming Languages and Operating Systems, April, 2024.

Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang, GiantSan: Efficient Memory Sanitization with Segment Folding , In ASPLOS 2024: ACM Conference on Architectural Support for Programming Languages and Operating Systems, April, 2024. Best Paper Award

Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang*, Wensheng Tang, Qingkai Shi, Xiao Xiao, and Charles Zhang, LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems , In ICSE 2024: The IEEE/ACM International Conference on Software Engineering, April, 2024.

Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang*, Peisen Yao, Jinguo Zhou, and Charles Zhang, Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions, In TOSEM 2023: The ACM Transactions on Software Engineering and Methodology, Oct, 2023.

Wensheng Tang#, Chengpeng Wang#, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, and Charles Zhang, DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems, In ASE 2023: The 38th IEEE/ACM International Conference on Automated Software Engineering, Sept, 2023.

Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, and Charles Zhang, Synthesizing Conjunctive Queries for Code Search, In ECOOP 2023: European Conference on Object-Oriented Programming, July, 2023.

Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, and Charles Zhang, Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis, In ATC 2023: USENIX Annual Technical Conference, July, 2023.

Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, and Charles Zhang, Verifying Data Constraint Equivalence in FinTech Systems, In ICSE 2023: The IEEE/ACM International Conference on Software Engineering, May, 2023. [Slides]

Chengpeng Wang, CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis, In SPLASH SRC 2022: The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Student Research Competition, Dec, 2022. [Slides][Poster]

Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, and Charles Zhang, Anchor: Fast and Precise Value-Flow Analysis for Containers via Memory Orientation, In TOSEM 2022: The ACM Transactions on Software Engineering and Methodology, Sept, 2022.

Rongxin Wu, Minglei Chen, Chengpeng Wang*, Gang Fan, Jiguang Qiu, and Charles Zhang, Accelerating Build Dependency Error Detection via Virtual Build, In ASE 2022 : The IEEE/ACM International Conference on Automated Software Engineering, Oct, 2022.

Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, and Charles Zhang, Complexity-Guided Container Replacement Synthesis, In OOPSLA 2022 : The ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages and Applications, Dec, 2022. [Slides] ACM SIGPLAN Distinguished Paper Award

Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, and Charles Zhang, Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph, In ISSTA 2020 : The ACM SIGSOFT International Symposium on Software Testing and Analysis, July, 2020.

Chengpeng Wang, Yixiao Yang, Han Liu, and Le Kang, Statistical API Completion Based on Code Relevance Mining, In MAINT 2019 : International Workshop on Mining and Analyzing Interaction Histories, Feb, 2019.

# means equal contribution. * means corresponding author.


Best Paper Award, ASPLOS 2024

UGC Research Travel Grant, HKUST, 2022~2023

ACM SIGPLAN Distinguished Paper Award, OOPSLA 2022


Future Academician Scholarship (2016), Graduate School, Tsinghua University

Scholarship for Academic Excellence (2013, 2014), Tsinghua University

Industry Experience

Ant Group, Shenzhen, China (Dec 2023 - Feb 2024): Research Intern, working on LLM-aided static analysis.

Veridise, Remote (May 2023 - July 2023): Research Intern, working on static bug detection of zero-knowledge proof circuits.

Ant Group, Shenzhen, China (Feb 2021 - Aug 2022): Research Intern, working on analyzing programs manipulating containers and database-backed applications.

Sourcebrella, Shenzhen, China (Feb 2019 - Apr 2019): Research Intern, working on the inconsistency detection of build systems.

Teaching Experience

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

Professional Activities

Program Committee Member

ISSTA'25, SPLASH'24 SRC, ISSRE'24, Forge'24, OOPSLA'24 AE, PLDI'23 AE, FSE'22 AE, ISSTA'22 AE


ISSTA'24, ICSE'24, ISSRE'23(industrial track), PLDI'23, ISSTA'23, ASE'22, ISSRE'21(industrial track), IEEE Transactions on Software Engineering (TSE)


Student Volunteer @ SPLASH 2022, Student Volunteer @ ISSTA 2019