Login / Signup
Shenming Lu
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Spelling Correction
Graph Grammars
Markov Chain
Static Analysis
Top Venues
PLDI
ACM Trans. Comput. Syst.
EuroSys
</>
Publications
</>
Zhiqiang Zuo
,
Kai Wang
,
Aftab Hussain
,
Ardalan Amiri Sani
,
Yiyu Zhang
,
Shenming Lu
,
Wensheng Dou
,
Linzhang Wang
,
Xuandong Li
,
Chenxi Wang
,
Guoqing Harry Xu
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.
ACM Trans. Comput. Syst.
38 (1-2) (2021)
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)