( en | de | ru )

 

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.

Tiago Ferreira

Tiago Pereira

Tiago Outeiro

Tiago Folgosa Granja

Tiago Ferreira Barros

 

Other publications of authors with the same name

Compiling the π-calculus into a Multithreaded Typed Assembly Language, , and . Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)Formalizing Model Inference of MicroPython., , and . DSN-W, page 283-289. IEEE, (2023)Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises., , , , and . ECOOP, volume 263 of LIPIcs, page 13:1-13:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Gidayu: Visualizing Automaton and Their Computations., and . ITiCSE (1), page 110-116. ACM, (2022)Checking Data-Race Freedom of GPU Kernels, Compositionally., , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 403-426. Springer, (2021)Transitive joins: a sound and efficient online deadlock-avoidance policy., , and . PPoPP, page 378-390. ACM, (2019)Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs., , and . Proc. ACM Program. Lang., 8 (OOPSLA2): 2434-2461 (2024)Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems., , and . COORDINATION, volume 13908 of Lecture Notes in Computer Science, page 93-114. Springer, (2023)Coordinating Phased Activities while Maintaining Progress., , and . COORDINATION, volume 7890 of Lecture Notes in Computer Science, page 31-44. Springer, (2013)Design and Verification of Distributed Phasers., , , , and . Euro-Par, volume 9833 of Lecture Notes in Computer Science, page 405-418. Springer, (2016)