logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
H

Haofeng Li

Chinese Academy of Sciences

5H-index
17Paper Count
78Citation Count
Published Papers 3
Publication Date
logo
Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errShi, Chenghang; He, Dongjie; Li, Haofeng; Lu, Jie; Li, Lian; Xue, Jingling
errShare
errSave
Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-09-01
err1
PREAI
errShi, Chenghang; Li, Haofeng; Sui, Yulei; Lu, Jie; Li, Lian; Xue, Jingling
errShare
errSave
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-05-01
err0
PREAI
errLi, Haofeng; Tan, Tian; Li, Yue; Lu, Jie; Meng, Haining; Cao, Liqing; Huang, Yongheng; Li, Lian; Gao, Lin; Di, Peng; Lin, Liang; Cui, Chenxi
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
L
Liang Lin
H-index: 93 · Papers: 867
L
Lin Gao
H-index: 48 · Papers: 197
J
Jingling Xue
H-index: 39 · Papers: 364
Y
Yulei Sui
H-index: 32 · Papers: 190
L
Lian Li
H-index: 24 · Papers: 302
View more