Section based program analysis to reduce overhead of detecting unsynchronized thread communication

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]

Authors

Madan Das

This author has not been identified. Look up 'Madan Das' in Google

Gabriel Southern

This author has not been identified. Look up 'Gabriel Southern' in Google

Jose Renau

This author has not been identified. Look up 'Jose Renau' in Google