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)

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)

Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. - John Thorpe; Yifan Qiao; Jonathan Eyolfson; Shen Teng; Guanzhou Hu; Zhihao Jia; Jinliang Wei; Keval Vora; Ravi Netravali; Miryung Kim; Guoqing Harry Xu (OSDI, 2021)

Efficient, Affordable, and Scalable Deep Learning Systems - John Thorpe (2022)

Bamboo: Making Preemptible Instances Resilient for Affordable Training of Large DNNs. - John Thorpe; Pengzhan Zhao; Jonathan Eyolfson; Yifan Qiao; Zhihao Jia; Minjia Zhang; Ravi Netravali; Guoqing Harry Xu (NSDI, 2023)