Elixir: a system for synthesizing concurrent graph programs.

Dimitrios Prountzos Roman Manevich Keshav Pingali

Published in: OOPSLA (2012)

Keyphrases

random walk
graph representation
graph theory
structured data
directed graph
graph model
graph theoretic
graph matching
graph structure
automatic programming
graph structures
graph data
graph databases
query language
concurrent programs
graph properties
weighted graph
graph search
case study
bipartite graph
pairwise