@inproceedings {racepro:hotos11,
        author = {Oren Laadan and Chia-Che Tsai and Nicolas Viennot and Chris Blinn and Peter Senyao Du and Junfeng Yang and Jason Nieh},
        title = {Finding Concurrency Errors in Sequential Code---OS-level, In-vivo Model Checking of Process Races},
        year = {2011},
        booktitle = {Proceedings of the 13th USENIX workshop on Hot topics in operating systems (HOTOS '11)},
}