%0 Conference Paper %1 conf/osdi/EricksonMBO10 %A Erickson, John %A Musuvathi, Madanlal %A Burckhardt, Sebastian %A Olynyk, Kirk %B OSDI %D 2010 %E Arpaci-Dusseau, Remzi H. %E Chen, Brad %I USENIX Association %K dblp %P 151-162 %T Effective Data-Race Detection for the Kernel. %U http://dblp.uni-trier.de/db/conf/osdi/osdi2010.html#EricksonMBO10 %@ 978-1-931971-79-9

@inproceedings{conf/osdi/EricksonMBO10, added-at = {2020-03-12T00:00:00.000+0100}, author = {Erickson, John and Musuvathi, Madanlal and Burckhardt, Sebastian and Olynyk, Kirk}, biburl = {https://www.bibsonomy.org/bibtex/26b2a147d08c0ffd78c06217714b10f0f/dblp}, booktitle = {OSDI}, crossref = {conf/osdi/2010}, editor = {Arpaci-Dusseau, Remzi H. and Chen, Brad}, ee = {http://www.usenix.org/events/osdi10/tech/full_papers/Erickson.pdf}, interhash = {0ca048a928cc49421c6665043c06ba69}, intrahash = {6b2a147d08c0ffd78c06217714b10f0f}, isbn = {978-1-931971-79-9}, keywords = {dblp}, pages = {151-162}, publisher = {USENIX Association}, timestamp = {2020-03-13T12:24:36.000+0100}, title = {Effective Data-Race Detection for the Kernel.}, url = {http://dblp.uni-trier.de/db/conf/osdi/osdi2010.html#EricksonMBO10}, year = 2010 }