Parallel inclusion-based points-to analysis. - Mario Méndez-Lojo; Augustine Mathew; Keshav Pingali (OOPSLA, 2010)