Synthesizing parallel graph programs via automated planning
A lightweight infrastructure for graph analytics