Motivation Parallel programming is difficult Culprit: Non-determinism Interleaving of parallel threads But required to harness parallelism Sequential.
Asserting and Checking Determinism for Parallel Programs