Breaking the speed and scalability barriers for graph exploration on distributed-memory machinesFabio ChecconiFabrizio Petriniet al.2012SC 2012