Graph, Programming Model, Graph Processing, Distributed Systems.
control flow, the operations on arbitrary vertex sets and beyond-neighborhood communication. The FLASH programming model is based on Ligra to inherit its support for the requirements of flexible control flow and operations on vertex subsets. By further enabling beyond-neighborhood communication,