Result: Dynamic deadlock verification for general barrier synchronisation

Title:
Dynamic deadlock verification for general barrier synchronisation
Authors:
Cogumbreiro, Tiago, Hu, Raymond, Martins, Francisco, Yoshida, Nobuko
Source:
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :150-160
Availability:
http://dl.acm.org/doi/10.1145/2688500.2688519
Database:
ACM Full-Text Collection