Login / Signup
Qiuhong Pan
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Spelling Correction
Graph Grammars
Markov Decision Processes
Context Free
Top Venues
PLDI
EuroSys
</>
Publications
</>
Zhiqiang Zuo
,
Yiyu Zhang
,
Qiuhong Pan
,
Shenming Lu
,
Yue Li
,
Linzhang Wang
,
Xuandong Li
,
Guoqing Harry Xu
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.
PLDI
(2021)
Zhiqiang Zuo
,
John Thorpe
,
Yifei Wang
,
Qiuhong Pan
,
Shenming Lu
,
Kai Wang
,
Guoqing Harry Xu
,
Linzhang Wang
,
Xuandong Li
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.
EuroSys
(2019)