Peisen Yao

Publications

312

Citations

H-Index

2020

Active since

Affiliations

Hong Kong University of Science and Technology(Current)

Xiamen University

Peisen Yao is an author at Hong Kong University of Science and Technology specializing in program analysis, computer science, and formal verification.

ORCID

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal VerificationFormal MethodsSoftware TestingSoftware AnalysisComputer EngineeringParallel ProgrammingSoftware Engineering

Publications per year

2020–2022

Publications

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning

Heqing Huang, Yiyuan Guo, Qingkai Shi et al. · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 104 citations

Engineering, Software Engineering, Software Analysis +20

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction

Heqing Huang, Peisen Yao, Rongxin Wu et al. · 2020 · 88 citations · Full text

Engineering, Computer Architecture, Software Engineering +19

Path-sensitive sparse analysis without path conditions

Qingkai Shi, Peisen Yao, Rongxin Wu et al. · 2021 · 20 citations

Engineering, Path-sensitive Sparse Analysis, Software Systems +22

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

Yuandao Cai, Peisen Yao, Charles Zhang · 2021 · 19 citations

Engineering, Software Engineering, Concurrent System +20

Fuzzing SMT solvers via two-dimensional input space exploration

Peisen Yao, Heqing Huang, Wensheng Tang et al. · 2021 · 18 citations

Mathematical Programming, Engineering, Verification +19

Rows per page

1–5 of 10