Bounding Data Races in Space and Time [pdf]