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
412010
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
292018
Coordinating phased activities while maintaining progress
T Cogumbreiro, F Martins, VT Vasconcelos
COORDINATION, 2013
112013
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
102017
Formalization of Habanero phasers using Coq
T Cogumbreiro, J Shirako, V Sarkar
Journal of logical and algebraic methods in programming 90, 50-60, 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
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
62019
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
Department of Informatics, University of Lisbon, 2008
32008
Formalization of phase ordering
T Cogumbreiro, J Shirako, V Sarkar
arXiv preprint arXiv:1606.05937, 2016
22016
Checking Data-Race Freedom of GPU Kernels, Compositionally
T Cogumbreiro, J Lange, DLZ Rong, H Zicarelli
International Conference on Computer Aided Verification, 403-426, 2021
2021
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