Dynamic deadlock verification for general barrier synchronisation.

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida

Browse the full PPoPP paper archive.