Kai Wang

Affiliations:

University of California, Los Angeles, USA
University of California, Irvine, USA (former)

According to our database¹, Kai Wang authored at least 8 papers between 2015 and 2020.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2020

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2020

2019

Big Graph Analytics on Just A Single PC.

[BibT_eX]

[DOI]

Kai Wang

PhD thesis, 2019

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

Understanding and Combating Memory Bloat in Managed Data-Intensive Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2018

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2015

GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC.

[BibT_eX]

[DOI]

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

Kai Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...