"Using Race Conditions in Correct Concurrent Software" by Devon O'Dell