Tiago Cogumbreiro
Title
Cited by
Cited by
Year
Type inference for deadlock detection in a multithreaded polymorphic typed assembly language
VT Vasconcelos, F Martins, T Cogumbreiro
arXiv preprint arXiv:1002.0942, 2010
392010
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (1), 1-38, 2018
232018
Coordinating phased activities while maintaining progress
T Cogumbreiro, F Martins, VT Vasconcelos
COORDINATION, 2013
102013
Deadlock avoidance in parallel programs with futures: Why parallel tasks should not wait for strangers
T Cogumbreiro, R Surendran, F Martins, V Sarkar, VT Vasconcelos, ...
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
82017
Design and verification of distributed phasers
K Murthy, SR Paul, KS Meel, T Cogumbreiro, J Mellor-Crummey
Euro-PAR 9833, 405--418, 2016
72016
Formalization of Habanero phasers using Coq
T Cogumbreiro, J Shirako, V Sarkar
Journal of logical and algebraic methods in programming 90, 50-60, 2017
62017
Types for X10 Clocks
F Martins, VT Vasconcelos, T Cogumbreiro
arXiv preprint arXiv:1110.4165, 2011
52011
Compiling the π-calculus into a Multithreaded Typed Assembly Language
T Cogumbreiro, F Martins, VT Vasconcelos
Electronic Notes in Theoretical Computer Science 241, 57-84, 2009
52009
Safe-by-design programming languages for wireless sensor networks
T Cogumbreiro, P Gomes, F Martins, L Lopes
Department of Computer Science, Faculty of Sciences, University of Porto, 2011
42011
Compiling the π-calculus into a Multithreaded Typed Assembly Language
T Cogumbreiro, F Martins, VT Vasconcelos
First Workshop on, 40, 2008
32008
Transitive joins: a sound and efficient online deadlock-avoidance policy
C Voss, T Cogumbreiro, V Sarkar
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
22019
Formalization of phase ordering
T Cogumbreiro, J Shirako, V Sarkar
arXiv preprint arXiv:1606.05937, 2016
22016
Programming multicores safely: handling barrier deadlocks
T Cogumbreiro
Universidade de Lisboa, 2015
2015
An Investigation on Types for X10 Clocks
F Martins, VT Vasconcelos, T Cogumbreiro
The system can't perform the operation now. Try again later.
Articles 1–14