Chris Blinn

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Oren Laadan, Chia-che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh
Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races. HotOS (2011)
Oren Laadan, Nicolas Viennot, Chia-che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh
Pervasive detection of process races in deployed systems. SOSP (2011)