A shape analysis for optimizing parallel graph programs.

Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley

Browse the full POPL paper archive.