Linear-time determinacy race
detection
Jeremy Fineman