Synthesizing parallel graph programs via automated planning

Dimitrios Prountzos, Roman Manevich, Keshav Pingali. Synthesizing parallel graph programs via automated planning. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 533-544, ACM, 2015. [doi]

@inproceedings{PrountzosMP15,
  title = {Synthesizing parallel graph programs via automated planning},
  author = {Dimitrios Prountzos and Roman Manevich and Keshav Pingali},
  year = {2015},
  doi = {10.1145/2737924.2737953},
  url = {http://doi.acm.org/10.1145/2737924.2737953},
  researchr = {https://researchr.org/publication/PrountzosMP15},
  cites = {0},
  citedby = {0},
  pages = {533-544},
  booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015},
  editor = {David Grove and Steve Blackburn},
  publisher = {ACM},
  isbn = {978-1-4503-3468-6},
}