Synthesizing parallel graph programs via automated planning

Dimitrios Prountzos, Roman Manevich, Keshav Pingali

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Abstract

We describe a system that uses automated planning to synthesize correct and efficient parallel graph programs from high-level algorithmic specifications. Automated planning allows us to use constraints to declaratively encode program transformations such as scheduling, implementation selection, and insertion of synchronization. Each plan emitted by the planner satisfies all constraints simultaneously, and corresponds to a composition of these transformations. In this way, we obtain an integrated compilation approach for a very challenging problem domain. We have used this system to synthesize parallel programs for four graph problems: triangle counting, maximal independent set computation, preflow-push maxflow, and connected components. Experiments on a variety of inputs show that the synthesized implementations perform competitively with hand-written, highly-tuned code.

Original languageEnglish
Pages (from-to)533-544
Number of pages12
JournalACM SIGPLAN Notices
Volume50
Issue number6
DOIs
StatePublished - 1 Jun 2015

Keywords

  • Amorphous Data-parallelism
  • Compiler Optimization
  • Concurrency
  • Irregular Programs
  • Parallelism
  • Synthesis

ASJC Scopus subject areas

  • General Computer Science

Fingerprint

Dive into the research topics of 'Synthesizing parallel graph programs via automated planning'. Together they form a unique fingerprint.

Cite this