@inProceedings{perkovic-osdi96, title = "Online Data-Race Detection via Coherency Guarantees", author = "Dejan Perkovic and Pete Keleher", booktitle = {The Second Symposium on Operating Systems Design and Implementation (OSDI)}, month = {October}, year = {1996}, }