Peisen Yao

According to our database, Peisen Yao authored at least 29 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions.

Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang

ACM Trans. Softw. Eng. Methodol., March, 2024

Balance Seed Scheduling via Monte Carlo Planning.

Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, Charles Zhang

IEEE Trans. Dependable Secur. Comput., 2024

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis.

Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang

Proc. ACM Program. Lang., 2024

KBX: Verified Model Synchronization via Formal Bidirectional Transformation.

Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren

CoRR, 2024

Titan : Efficient Multi-target Directed Greybox Fuzzing.

Heqing Huang, Peisen Yao, Hung-Chun Chiu, Yiyuan Guo, Charles Zhang

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Precise Compositional Buffer Overflow Detection via Heap Disjointness.

Yiyuan Guo, Peisen Yao, Charles Zhang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning.

Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis.

Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation.

Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang

ACM Trans. Softw. Eng. Methodol., May, 2023

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version).

Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren

CoRR, 2023

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs.

Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang

Proceedings of the 32nd USENIX Security Symposium, 2023

Demystifying Template-Based Invariant Generation for Bit-Vector Programs.

Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, Kui Ren

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems.

Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Verifying Data Constraint Equivalence in FinTech Systems.

Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Synthesizing Conjunctive Queries for Code Search.

Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Complexity-guided container replacement synthesis.

Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang

Proc. ACM Program. Lang., 2022

Indexing the extended Dyck-CFL reachability for context-sensitive program analysis.

Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang

Proc. ACM Program. Lang., 2022

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning.

Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Precise Divide-By-Zero Detection with Affirmative Evidence.

Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Program analysis via efficient symbolic abstraction.

Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang

Proc. ACM Program. Lang., 2021

Efficient Path-Sensitive Data-Dependence Analysis.

Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang

CoRR, 2021

Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection.

Yushan Zhang, Peisen Yao, Rongxin Wu, Charles Zhang

CoRR, 2021

Skeletal approximation enumeration for SMT solver testing.

Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Path-sensitive sparse analysis without path conditions.

Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Canary: practical static detection of inter-thread value-flow bugs.

Yuandao Cai, Peisen Yao, Charles Zhang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fuzzing SMT solvers via two-dimensional input space exploration.

Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction.

Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Fast bit-vector satisfiability.

Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020