One trillion edges: graph processing at Facebook scale [pdf]