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

Abstract:

Oren Laadan, Columbia University

Chia-Che Tsai, Columbia University

Nicolas Viennot, Columbia University

Chris Blinn, Columbia University

Peter Senyao Du, Columbia University

Jason Nieh, Columbia University

Links

Paper:

http://www.usenix.org/events/hotos11/tech/final_files/Laadan.pdf

Paper (HTML):

http://www.usenix.org/events/hotos11/tech/techAbstracts.html#Laadan

Slides:

http://www.usenix.org/events/hotos11/tech/slides/laadan.pdf