Madan Das, Gabriel Southern, Jose Renau. Section based program analysis to reduce overhead of detecting unsynchronized thread communication. In Albert Cohen, David Grove, editors, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA, February 7-11, 2015. pages 283-284, ACM, 2015. [doi]
Abstract is missing.