Dileep Kini, Umang Mathur, Mahesh Viswanathan 0001. Dynamic race prediction in linear time. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 157-170, ACM, 2017. [doi]
Abstract is missing.