Detecting nondeterminism in shared memory parallel programs | lit.salon