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]
@inproceedings{CogumbreiroHMY15,
title = {Dynamic deadlock verification for general barrier synchronisation},
author = {Tiago Cogumbreiro and Raymond Hu and Francisco Martins and Nobuko Yoshida},
year = {2015},
doi = {10.1145/2688500.2688519},
url = {http://doi.acm.org/10.1145/2688500.2688519},
researchr = {https://researchr.org/publication/CogumbreiroHMY15},
cites = {0},
citedby = {0},
pages = {150-160},
booktitle = {Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA, February 7-11, 2015},
editor = {Albert Cohen and David Grove},
publisher = {ACM},
isbn = {978-1-4503-3205-7},
}