Parallel Pointer Analysis with CFL-Reachability

Yu Su, Ding Ye, Jingling Xue. Parallel Pointer Analysis with CFL-Reachability. In 43rd International Conference on Parallel Processing, ICPP 2014, Minneapolis, MN, USA, September 9-12, 2014. pages 451-460, IEEE, 2014. [doi]

Abstract

Abstract is missing.