Scholar
Peisen Yao
Google Scholar ID: ijXQzv8AAAAJ
Zhejiang University
Programming Languages
Software Engineering
Logic and Verification
Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
556
H-index
12
i10-index
14
Publications
20
Co-authors
9
list available
Contact
No contact links provided.
Publications
9 items
PyFlow: An Inter-procedural Static Analysis Framework for Python
2026
Cited
0
Accelerating C/C++ Pointer Analysis via Compiler-Based Offline Simplifications
2026
Cited
0
A Fresh Look at Best Inductive Loop Invariant Synthesis for Bit-Vector Relations
2026
Cited
0
Sharp Two-Round Adaptivity and Round Hierarchies for Semantic Regular Expressions
2026
Cited
0
Analyzing the Analyzers: Model Counting Meets Abstract Interpretation
2026
Cited
0
Shared-Context Batched Satisfiability
2026
Cited
0
Synthesizing Best Abstract Transformers via Parallel Bit-Vector Optimization
2026
Cited
0
HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
2026
Cited
0
Load more
Resume (English only)
Co-authors
9 total
Charles Zhang
Professor of Computer Science, HKUST
Qingkai Shi
Nanjing University
Rongxin Wu
Xiamen University
Heqing HUANG
City University of Hong Kong
Chengpeng Wang
Purdue University
Yuandao (Ryan) Cai
Hong Kong University of Science and Technology
Xiao Xiao
Ant Group
Gang Fan
Ant Group
