Repairing Event Race Errors by Controlling Nondeterminism - View it on GitHub