Describir: Asserting and Checking Determinism for Multithreaded Programs.