( en | de | ru )

 

Disambiguation of "Cogumbreiro, Tiago"

Author of the publication

copydeleteadd this publication to your clipboard
Formalization of Phase Ordering.

, , and . PLACES, volume 211 of EPTCS, page 13-24. (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 Oliveira Pinto

 

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)Transitive joins: a sound and efficient online deadlock-avoidance policy., , and . PPoPP, page 378-390. ACM, (2019)Formalization of Phase Ordering., , and . PLACES, volume 211 of EPTCS, page 13-24. (2016)Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers., , , , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 103:1-103:26 (2017)Formalization of Habanero phasers using Coq., , and . J. Log. Algebraic Methods Program., (2017)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)Types for X10 Clocks, , and . PLACES, volume 69 of EPTCS, page 111-129. (2010)Provable GPU Data-Races in Static Race Detection., , and . PLACES@ETAPS, volume 356 of EPTCS, page 36-45. (2022)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)