CuSha: vertex-centric graph processing on GPUs
A GPU implementation of inclusion-based points-to analysis