Raymond Hu
AuthID: R-00G-Q4C
1
TITLE: Dynamic Deadlock Verification for General Barrier Synchronisation
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida;
PUBLISHED: 2019, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 41, ISSUE: 1
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida;
PUBLISHED: 2019, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 41, ISSUE: 1
INDEXED IN: 
DBLP
DBLP2
TITLE: Behavioral Types in Programming Languages
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
3
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
4
TITLE: Dynamic Deadlock Verification for General Barrier Synchronisation
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in 20TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP 2015)
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in 20TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP 2015)
INDEXED IN: 
WOS
WOS