KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations
Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code