PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cogumbreiro, Tiago"

Author of the publication

copydeleteadd this publication to your clipboard
Design and Verification of Distributed Phasers.

, , , , and . Euro-Par, volume 9833 of Lecture Notes in Computer Science, page 405-418. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Tiago Cruz University of Stuttgart

 

Other publications of authors with the same name

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language, , and . PLACES, volume 17 of EPTCS, page 95-109. (2009)Dynamic Deadlock Verification for General Barrier Synchronisation., , , and . ACM Trans. Program. Lang. Syst., 41 (1): 1:1-1:38 (2019)Formalization of Phase Ordering., , and . PLACES, volume 211 of EPTCS, page 13-24. (2016)Transitive joins: a sound and efficient online deadlock-avoidance policy., , and . PPoPP, page 378-390. ACM, (2019)Types for X10 Clocks, , and . PLACES, volume 69 of EPTCS, page 111-129. (2010)Design and Verification of Distributed Phasers., , , , and . Euro-Par, volume 9833 of Lecture Notes in Computer Science, page 405-418. Springer, (2016)Coordinating Phased Activities while Maintaining Progress., , and . COORDINATION, volume 7890 of Lecture Notes in Computer Science, page 31-44. Springer, (2013)Compiling the pi-calculus into a Multithreaded Typed Assembly Language., , and . Electron. Notes Theor. Comput. Sci., (2009)Dynamic deadlock verification for general barrier synchronisation., , , and . PPOPP, page 150-160. ACM, (2015)Formalization of Habanero phasers using Coq., , and . J. Log. Algebraic Methods Program., (2017)