@inproceedings{DBLP:conf/sosp/VeeraraghavanCFN11, author = {Kaushik Veeraraghavan and Peter M. Chen and Jason Flinn and Satish Narayanasamy}, title = {Detecting and surviving data races using complementary schedules}, booktitle = {SOSP}, year = {2011}, pages = {369-384}, ee = {http://doi.acm.org/10.1145/2043556.2043590}, crossref = {DBLP:conf/sosp/2011}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/sosp/2011, editor = {Ted Wobber and Peter Druschel}, title = {Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011, Cascais, Portugal, October 23-26, 2011}, booktitle = {SOSP}, publisher = {ACM}, year = {2011}, isbn = {978-1-4503-0977-6}, bibsource = {DBLP, http://dblp.uni-trier.de} }