Collaborated with:Aftab Hussain 0001 Z.Z.0002 G.(.Xu A.A.Sani
Talks about:system (2) interprocedur (1) graspan (1) static (1) machin (1) analys (1) singl (1) scale (1) graph (1) larg (1)
Person: Kai Wang 0029
DBLP: 0029:Kai_Wang
Contributed to:
2017Wrote 1 papers:
- ASPLOS-2017-WangHZXS #analysis #graph #interprocedural #named #scalability
- Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code (KW0, AH0, ZZ0, G(X, AAS), pp. 389–404.