Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races.

Oren Laadan, Chia-Che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh

Browse the full HotOS paper archive.