Fast bit-vector satisfiability. - Peisen Yao; Qingkai Shi; Heqing Huang 002; Charles Zhang 001 (ISSTA, 2020)

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. - Heqing Huang 002; Peisen Yao; Rongxin Wu; Qingkai Shi; Charles Zhang 001 (SP, 2020)

Fuzzing SMT solvers via two-dimensional input space exploration. - Peisen Yao; Heqing Huang 002; Wensheng Tang; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (ISSTA, 2021)

Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems. - Wensheng Tang; Yikun Hu; Gang Fan; Peisen Yao; Rongxin Wu; Guangyuan Bai; Pengcheng Wang; Charles Zhang 001 (ASE, 2021)

Canary: practical static detection of inter-thread value-flow bugs. - Yuandao Cai; Peisen Yao; Charles Zhang 001 (PLDI, 2021)

Path-sensitive sparse analysis without path conditions. - Qingkai Shi; Peisen Yao; Rongxin Wu; Charles Zhang 001 (PLDI, 2021)

Skeletal approximation enumeration for SMT solver testing. - Peisen Yao; Heqing Huang 002; Wensheng Tang; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (ESEC/SIGSOFT FSE, 2021)

Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection. - Yushan Zhang; Peisen Yao; Rongxin Wu; Charles Zhang 001 (CoRR, 2021)

Efficient Path-Sensitive Data-Dependence Analysis. - Peisen Yao; Jinguo Zhou; Xiao Xiao 003; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (CoRR, 2021)

Program analysis via efficient symbolic abstraction. - Peisen Yao; Qingkai Shi; Heqing Huang 002; Charles Zhang 001 (Proc. ACM Program. Lang., 2021)

Precise Divide-By-Zero Detection with Affirmative Evidence. - Yiyuan Guo; Jinguo Zhou; Peisen Yao; Qingkai Shi; Charles Zhang 001 (ICSE, 2022)

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. - Heqing Huang 002; Yiyuan Guo; Qingkai Shi; Peisen Yao; Rongxin Wu; Charles Zhang 001 (SP, 2022)

Indexing the extended Dyck-CFL reachability for context-sensitive program analysis. - Qingkai Shi; Yongchao Wang; Peisen Yao; Charles Zhang 001 (Proc. ACM Program. Lang., 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)

Demystifying Template-Based Invariant Generation for Bit-Vector Programs. - Peisen Yao; Jingyu Ke; Jiahui Sun; Hongfei Fu 001; Rongxin Wu; Kui Ren 001 (ASE, 2023)

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. - Yuandao Cai; Peisen Yao; Chengfeng Ye; Charles Zhang 001 (USENIX Security Symposium, 2023)

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version). - Pingchuan Ma 004; Zhenlan Ji; Peisen Yao; Shuai Wang 011; Kui Ren 001 (CoRR, 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)

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)

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning. - Pingchuan Ma 004; Zhenlan Ji; Peisen Yao; Shuai Wang 011; Kui Ren 001 (ICSE, 2024)

Precise Compositional Buffer Overflow Detection via Heap Disjointness. - Yiyuan Guo; Peisen Yao; Charles Zhang 001 (ISSTA, 2024)

Titan : Efficient Multi-target Directed Greybox Fuzzing. - Heqing Huang 002; Peisen Yao; Hung-Chun Chiu; Yiyuan Guo; Charles Zhang 001 (SP, 2024)

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. - Peisen Yao; Jinguo Zhou; Xiao Xiao 003; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (Proc. ACM Program. Lang., 2024)

Balance Seed Scheduling via Monte Carlo Planning. - Heqing Huang 002; Hung-Chun Chiu; Qingkai Shi; Peisen Yao; Charles Zhang 001 (IEEE Trans. Dependable Secur. Comput., 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)

Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. - Guangsheng Fan; Liqian Chen; Banghu Yin; Wenyu Zhang; Peisen Yao; Ji Wang 001 (Proc. ACM Softw. Eng., 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)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation. - Jianhong Zhao; Yongwang Zhao; Peisen Yao; Fanlang Zeng; Bohua Zhan; Kui Ren 001 (ACM Trans. Softw. Eng. Methodol., 2025)