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
Publications
11 items
DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis
2026
Cited
0
Dense Interprocedural Dominance in Acyclic Graphs: Context Bounds and Compact Queries
2026
Cited
0
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
Load more
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
