@inproceedings{DBLP:conf/sosp/CuiWGGY11, author = {Heming Cui and Jingyue Wu and John Gallagher and Huayang Guo and Junfeng Yang}, title = {Efficient deterministic multithreading through schedule relaxation}, booktitle = {SOSP}, year = {2011}, pages = {337-351}, ee = {http://doi.acm.org/10.1145/2043556.2043588}, 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} }