| 2026 | ACL | HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization. | Hanyun Jiang, Peisen Yao, Kaiyue Li, Tingting Lin, Chengpeng Wang, Kui Ren |
| 2026 | CAV | Sound and Precise Symbolic Automata Model for Stateful Software Systems. | Xinlong Wu, Ruiyu Zhou, Peisen Yao, Qingkai Shi |
| 2025 | SAS | Bounded-Exhaustive Subspace Diversification for SMT Solver Testing. | Junda Zheng, Peisen Yao |
| 2024 | ASPLOS | SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. | Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang |
| 2024 | ICSE | Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning. | Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren |
| 2024 | ISSTA | Precise Compositional Buffer Overflow Detection via Heap Disjointness. | Yiyuan Guo, Peisen Yao, Charles Zhang |
| 2024 | SP | Titan : Efficient Multi-target Directed Greybox Fuzzing. | Heqing Huang, Peisen Yao, Hung-Chun Chiu, Yiyuan Guo, Charles Zhang |
| 2023 | ECOOP | Synthesizing Conjunctive Queries for Code Search. | Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang |
| 2023 | ICSE | Verifying Data Constraint Equivalence in FinTech Systems. | Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang |
| 2022 | ICSE | Precise Divide-By-Zero Detection with Affirmative Evidence. | Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang |
| 2022 | SP | BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. | Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang |
| 2021 | ISSTA | Fuzzing SMT solvers via two-dimensional input space exploration. | Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang |
| 2021 | PLDI | Canary: practical static detection of inter-thread value-flow bugs. | Yuandao Cai, Peisen Yao, Charles Zhang |
| 2021 | PLDI | Path-sensitive sparse analysis without path conditions. | Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang |
| 2020 | ISSTA | Fast bit-vector satisfiability. | Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang |
| 2020 | SP | Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. | Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang |