Escaping dependency hell: finding build dependency errors with the unified dependency graph. - Gang Fan; Chengpeng Wang 001; Rongxin Wu; Xiao Xiao 003; Qingkai Shi; Charles Zhang 001 (ISSTA, 2020)

Accelerating Build Dependency Error Detection via Virtual Build. - Rongxin Wu; Minglei Chen; Chengpeng Wang 001; Gang Fan; Jiguang Qiu; Charles Zhang 001 (ASE, 2022)

Complexity-guided container replacement synthesis. - Chengpeng Wang 001; Peisen Yao; Wensheng Tang; Qingkai Shi; Charles Zhang 001 (Proc. ACM Program. Lang., 2022)

Synthesizing Conjunctive Queries for Code Search. - Chengpeng Wang 001; Peisen Yao; Wensheng Tang; Gang Fan; Charles Zhang 001 (ECOOP, 2023)

Verifying Data Constraint Equivalence in FinTech Systems. - Chengpeng Wang 001; Gang Fan; Peisen Yao; Fuxiong Pan; Charles Zhang 001 (ICSE, 2023)

DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. - Wensheng Tang; Chengpeng Wang 001; Peisen Yao; Rongxin Wu; Xianjin Fu; Gang Fan; Charles Zhang 001 (ASE, 2023)

Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. - Zongyin Hao; Quanfeng Huang; Chengpeng Wang 001; Jianfeng Wang; Yushan Zhang; Rongxin Wu; Charles Zhang 001 (USENIX ATC, 2023)

Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. - Chengpeng Wang 001; Wenyang Wang; Peisen Yao; Qingkai Shi; Jinguo Zhou; Xiao Xiao 003; Charles Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

GIANTSAN: Efficient Memory Sanitization with Segment Folding. - Hao Ling; Heqing Huang 002; Chengpeng Wang 001; Yuandao Cai; Charles Zhang 001 (ASPLOS (2), 2024)

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. - Bowen Zhang; Wei Chen; Peisen Yao; Chengpeng Wang 001; Wensheng Tang; Charles Zhang 001 (ASPLOS (3), 2024)

Sanitizing Large Language Models in Bug Detection with Data-Flow. - Chengpeng Wang 001; Wuqi Zhang; Zian Su; Xiangzhe Xu; Xiangyu Zhang 001 (EMNLP (Findings), 2024)

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 001; Wensheng Tang; Qingkai Shi; Xiao Xiao 003; Charles Zhang 001 (ICSE, 2024)

SQLess: Dialect-Agnostic SQL Query Simplification. - Li Lin; Zongyin Hao; Chengpeng Wang 001; Zhuangda Wang; Rongxin Wu; Gang Fan (ISSTA, 2024)

RepoGenix: Dual Context-Aided Repository-Level Code Completion with Language Models. - Ming Liang; Xiaoheng Xie; Gehao Zhang; Xunjin Zheng; Peng Di; Wei Jiang 011; Hongwei Chen; Chengpeng Wang 001; Gang Fan (ASE, 2024)

LLMDFA: Analyzing Dataflow in Code with Large Language Models. - Chengpeng Wang 001; Wuqi Zhang; Zian Su; Xiangzhe Xu; Xiaoheng Xie; Xiangyu Zhang 001 (NeurIPS, 2024)

When Dataflow Analysis Meets Large Language Models. - Chengpeng Wang 001; Wuqi Zhang; Zian Su; Xiangzhe Xu; Xiaoheng Xie; Xiangyu Zhang 001 (CoRR, 2024)

REPOFUSE: Repository-Level Code Completion with Fused Dual Context. - Ming Liang; Xiaoheng Xie; Gehao Zhang; Xunjin Zheng; Peng Di; Wei Jiang 011; Hongwei Chen; Chengpeng Wang 001; Gang Fan (CoRR, 2024)

LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis. - Chengpeng Wang 001; Yifei Gao; Wuqi Zhang; Xuwei Liu; Qingkai Shi; Xiangyu Zhang 001 (CoRR, 2024)

DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization. - Chengpeng Wang 001; Jipeng Zhang; Rongxin Wu; Charles Zhang 001 (Proc. ACM Softw. Eng., 2024)

Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions. - Wensheng Tang; Dejun Dong; Shijie Li; Chengpeng Wang 001; Peisen Yao; Jinguo Zhou; Charles Chuan Zhang (ACM Trans. Softw. Eng. Methodol., 2024)

Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing. - Yi Sun 004; Chengpeng Wang 001; Gang Fan; Qingkai Shi; Xiangyu Zhang 001 (IEEE Trans. Software Eng., 2024)

Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches. - Wei Chen; Bowen Zhang; Chengpeng Wang 001; Wensheng Tang; Charles Zhang 001 (EuroSys, 2025)

Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation. - Yuan Li; Peisen Yao; Kan Yu; Chengpeng Wang 001; Yaoyang Ye; Song Li 006; Meng Luo 002; Yepang Liu 001; Kui Ren 001 (Proc. ACM Softw. Eng., 2025)

Validating Network Protocol Parsers with Traceable RFC Document Interpretation. - Mingwei Zheng; Danning Xie; Qingkai Shi; Chengpeng Wang 001; Xiangyu Zhang 001 (Proc. ACM Softw. Eng., 2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing. - Jinyao Guo; Chengpeng Wang 001; Xiangzhe Xu; Zian Su; Xiangyu Zhang 001 (CoRR, 2025)

PackHunter: Recovering Missing Packages for C/C++ Projects. - Rongxin Wu; Zhiling Huang; Zige Tian; Chengpeng Wang 001; Xiangyu Zhang 001 (IEEE Trans. Software Eng., 2025)

PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust. - Yifei Gao; Chengpeng Wang 001; Pengxiang Huang; Xuwei Liu; Mingwei Zheng; Xiangyu Zhang 001 (CoRR, 2025)

An LLM Agent for Functional Bug Detection in Network Protocols. - Mingwei Zheng; Chengpeng Wang 001; Xuwei Liu; Jinyao Guo; Shiwei Feng 002; Xiangyu Zhang 001 (CoRR, 2025)

CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks. - Danning Xie; Mingwei Zheng; Xuwei Liu; Jiannan Wang 002; Chengpeng Wang 001; Lin Tan 001; Xiangyu Zhang 001 (CoRR, 2025)

ASTRA: Autonomous Spatial-Temporal Red-teaming for AI Software Assistants. - Xiangzhe Xu; Guangyu Shen; Zian Su; Siyuan Cheng 005; Hanxi Guo; Lu Yan; Xuan Chen; Jiasheng Jiang; Xiaolong Jin 002; Chengpeng Wang 001; Zhuo Zhang 002; Xiangyu Zhang 001 (CoRR, 2025)