FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications. - Khanh Nguyen 001; Kai Wang 029; Yingyi Bu; Lu Fang 003; Jianfei Hu; Guoqing Xu 001 (ASPLOS, 2015)

GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. - Kai Wang 029; Guoqing Xu 001; Zhendong Su 001; Yu David Liu (USENIX ATC, 2015)

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code. - Kai Wang 029; Aftab Hussain 001; Zhiqiang Zuo 002; Guoqing Xu 001; Ardalan Amiri Sani (ASPLOS, 2017)

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. - Kai Wang 029; Zhiqiang Zuo 002; John Thorpe; Tien Quang Nguyen; Guoqing Harry Xu (OSDI, 2018)

Understanding and Combating Memory Bloat in Managed Data-Intensive Systems. - Khanh Nguyen 001; Kai Wang 029; Yingyi Bu; Lu Fang 003; Guoqing Xu 001 (ACM Trans. Softw. Eng. Methodol., 2018)

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)

Big Graph Analytics on Just A Single PC. - Kai Wang 029 (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)