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 (HotOS, 2011)

Pervasive detection of process races in deployed systems. - Oren Laadan; Nicolas Viennot; Chia-Che Tsai; Chris Blinn; Junfeng Yang; Jason Nieh (SOSP, 2011)