Lifting sequential graph algorithms for distributed-memory parallel computation