Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. - Zhiqiang Zuo 002; John Thorpe; Yifei Wang; Qiuhong Pan; Shenming Lu; Kai Wang 029; Guoqing Harry Xu; Linzhang Wang; Xuandong Li (EuroSys, 2019)

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. - Zhiqiang Zuo 002; Kai Wang 029; Aftab Hussain 001; Ardalan Amiri Sani; Yiyu Zhang; Shenming Lu; Wensheng Dou; Linzhang Wang; Xuandong Li; Chenxi Wang; Guoqing Harry Xu (ACM Trans. Comput. Syst., 2020)

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. - Zhiqiang Zuo 002; Yiyu Zhang; Qiuhong Pan; Shenming Lu; Yue Li 006; Linzhang Wang; Xuandong Li; Guoqing Harry Xu (PLDI, 2021)