Kai Wang

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 7

Top Topics

Weighted Tardiness

Top Venues

USENIX Annual Technical Conference

ACM Trans. Softw. Eng. Methodol.

ACM Trans. Comput. Syst.

University of California, Los Angeles, USA (PHD)

Education History

University of California, Los Angeles, USA

PHD

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, 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)
Kai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, Guoqing Harry Xu
RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. OSDI (2018)
Khanh Nguyen, Kai Wang, Yingyi Bu, Lu Fang, Guoqing Xu
Understanding and Combating Memory Bloat in Managed Data-Intensive Systems. ACM Trans. Softw. Eng. Methodol. 26 (4) (2018)
Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani
Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code. ASPLOS (2017)
Khanh Nguyen, Kai Wang, Yingyi Bu, Lu Fang, Jianfei Hu, Guoqing Xu
FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications. ASPLOS (2015)
Kai Wang, Guoqing Xu, Zhendong Su, Yu David Liu
GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. USENIX Annual Technical Conference (2015)