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)

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)

A Simultaneous Measurement Sensor for Temperature and Curvature Based on Congruent Quasi-Helical Long-Period Fiber Grating. - Haoen Sun; Zaiqiang Gong; Xiangjie Qin; Wenhao Shen; Haiqin Ma; Qiuhong Pan; Chengguo Tong; Cheng Yuan (Sensors, 2024)