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
5 items
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
Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
2026
Cited
0
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
