Export
APA
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida, (2015). Dynamic deadlock verification for general barrier synchronisation
. 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 150-160
IEEE
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida, "Dynamic deadlock verification for general barrier synchronisation
" in 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), San Francisco, CA, 2015, pp. 150-160,
doi: 10.1145/2688500.2688519
BIBTEX
@InProceedings{34402,
author = {Tiago Cogumbreiro and Raymond Hu and Francisco Martins and Nobuko Yoshida},
title = {Dynamic deadlock verification for general barrier synchronisation
},
booktitle = {20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)},
year = 2015,
pages = {150-160},
address = {San Francisco, CA},
publisher = {}
}