@article{2c9460f335004947b425b0381f79d6a6,
title = "What happens-after the first race? Enhancing the predictive power of happens-before based dynamic race detection",
keywords = "Concurrency, Dynamic Program Analysis, Happens-Before, Race Detection, Soundness",
author = "Umang Mathur and Dileep Kini and Mahesh Viswanathan",
year = "2018",
month = nov,
doi = "10.1145/3276515",
language = "English (US)",
volume = "2",
journal = "Proceedings of the ACM on Programming Languages",
issn = "2475-1421",
publisher = "Association for Computing Machinery",
number = "OOPSLA",
}