Cache coherence for GPU architectures
A GPU implementation of inclusion-based points-to analysis