Synthesizing parallel graph programs via automated planning.

Dimitrios Prountzos, Roman Manevich, Keshav Pingali

Browse the full PLDI paper archive.