James R. Wilcox, Cormac Flanagan, Stephen N. Freund. VerifiedFT: a verified, high-performance precise dynamic race detector. In Andreas Krall, Thomas R. Gross, editors, Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February 24-28, 2018. pages 354-367, ACM, 2018. [doi]
Abstract is missing.