Peisen Yao

36 papers A* 12A 4B 1Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis.
CoRR
Peisen Yao, Zinan Gu, Qingkai Shi
2025 B conf
Bounded-Exhaustive Subspace Diversification for SMT Solver Testing.
SAS
Junda Zheng, Peisen Yao
2025 J jnl
KBX: Verified Model Synchronization via Formal Bidirectional Transformation.
ACM Trans. Softw. Eng. Methodol.
Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren
2025 J jnl
Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions.
Proc. ACM Softw. Eng.
Guangsheng Fan, Liqian Chen, Banghu Yin, Wenyu Zhang, Peisen Yao, Ji Wang
2025 J jnl
Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation.
Proc. ACM Softw. Eng.
Yuan Li, Peisen Yao, Kan Yu, Chengpeng Wang, Yaoyang Ye, Song Li, Meng Luo, Yepang Liu, Kui Ren
2024 J jnl
Balance Seed Scheduling via Monte Carlo Planning.
IEEE Trans. Dependable Secur. Comput.
Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, Charles Zhang
2024 A* conf
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning.
ICSE
Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren
2024 J jnl
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis.
Proc. ACM Program. Lang.
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
2024 J jnl
KBX: Verified Model Synchronization via Formal Bidirectional Transformation.
CoRR
Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren
2024 J jnl
Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions.
ACM Trans. Softw. Eng. Methodol.
Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang
2024 A conf
Precise Compositional Buffer Overflow Detection via Heap Disjointness.
ISSTA
Yiyuan Guo, Peisen Yao, Charles Zhang
2024 — conf
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis.
ASPLOS (3)
Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang
2024 A* conf
Titan : Efficient Multi-target Directed Greybox Fuzzing.
SP
Heqing Huang, Peisen Yao, Hung-Chun Chiu, Yiyuan Guo, Charles Zhang
2023 J jnl
Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation.
ACM Trans. Softw. Eng. Methodol.
Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang
2023 A* conf
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems.
ASE
Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang
2023 A* conf
Demystifying Template-Based Invariant Generation for Bit-Vector Programs.
ASE
Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, Kui Ren
2023 J jnl
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version).
CoRR
Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren
2023 A* conf
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs.
USENIX Security Symposium
Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang
2023 A conf
Synthesizing Conjunctive Queries for Code Search.
ECOOP
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
2023 J jnl
Synthesizing Conjunctive Queries for Code Search.
CoRR
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
2023 A* conf
Verifying Data Constraint Equivalence in FinTech Systems.
ICSE
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
2023 J jnl
Verifying Data Constraint Equivalence in FinTech Systems.
CoRR
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
2022 A* conf
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning.
SP
Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
2022 J jnl
Complexity-guided container replacement synthesis.
Proc. ACM Program. Lang.
Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang
2022 J jnl
Indexing the extended Dyck-CFL reachability for context-sensitive program analysis.
Proc. ACM Program. Lang.
Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang
2022 A* conf
Precise Divide-By-Zero Detection with Affirmative Evidence.
ICSE
Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang
2021 A* conf
Canary: practical static detection of inter-thread value-flow bugs.
PLDI
Yuandao Cai, Peisen Yao, Charles Zhang
2021 J jnl
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection.
CoRR
Yushan Zhang, Peisen Yao, Rongxin Wu, Charles Zhang
2021 J jnl
Efficient Path-Sensitive Data-Dependence Analysis.
CoRR
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
2021 A conf
Fuzzing SMT solvers via two-dimensional input space exploration.
ISSTA
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
2021 A* conf
Path-sensitive sparse analysis without path conditions.
PLDI
Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang
2021 J jnl
Program analysis via efficient symbolic abstraction.
Proc. ACM Program. Lang.
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
2021 — conf
Skeletal approximation enumeration for SMT solver testing.
ESEC/SIGSOFT FSE
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang
2021 A* conf
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems.
ASE
Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu, Guangyuan Bai, Pengcheng Wang, Charles Zhang
2020 A conf
Fast bit-vector satisfiability.
ISSTA
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
2020 A* conf
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction.
SP
Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang