Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida. Dynamic deadlock verification for general barrier synchronisation. 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 150-160, ACM, 2015. [doi]