Asserting and Checking Determinism For Multithreaded Programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. Writing correct multithreaded programs, however, has proven to be quite challenging in practice.