Graph reduction shared-memory multip by Langendoen