Hybrid Pulling/Pushing for I/O-Efficient Distributed and Iterative Graph Computing
Naiad: a timely dataflow system