RaceFree: an efficient multi-threading model for determinism.

Kai Lu, Xu Zhou, Xiaoping Wang, Wenzhe Zhang, Gen Li

Browse the full PPoPP paper archive.