Detecting Nondeterminism in Shared Memory Parallel Programs by Anne Dinning