Raymond Hu
AuthID: R-00G-Q4C
1
TITLE: Dynamic Deadlock Verification for General Barrier Synchronisation Full Text
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 8
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 8
