Asserting and Checking Determinism for Multithreaded Programs. - Burnim, Jacob; Sen, Koushik (Communications of the ACM, 2010)