Follow
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
432010
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
342018
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
132017
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
102019
Coordinating phased activities while maintaining progress
T Cogumbreiro, F Martins, VT Vasconcelos
COORDINATION, 2013
92013
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
92009
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
82021
Formalization of Habanero phasers using Coq
T Cogumbreiro, J Shirako, V Sarkar
Journal of logical and algebraic methods in programming 90, 50-60, 2017
72017
Design and verification of distributed phasers
K Murthy, SR Paul, KS Meel, T Cogumbreiro, J Mellor-Crummey
Euro-PAR 9833, 405--418, 2016
62016
Types for X10 Clocks
F Martins, VT Vasconcelos, T Cogumbreiro
arXiv preprint arXiv:1110.4165, 2011
52011
Memory Access Protocols: Certified Data-Race Freedom for GPU Kernels
T Cogumbreiro, J Lange, D Liew, H Zicarelli
Formal Methods in System Design, 2023
42023
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
Provable GPU data-races in static race detection
D Liew, T Cogumbreiro, J Lange
arXiv preprint arXiv:2203.12878, 2022
32022
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
CM de Ferro, T Cogumbreiro, F Martins
International Conference on Coordination Languages and Models, 93-114, 2023
22023
Formalization of phase ordering
T Cogumbreiro, J Shirako, V Sarkar
arXiv preprint arXiv:1606.05937, 2016
22016
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
F Jin, L Yu, T Cogumbreiro, J Shirako, V Sarkar
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
12023
Gidayu: Visualizing Automata and Their Computations
T Cogumbreiro, G Blike
Proceedings of the 27th ACM Conference on on Innovation and Technology in …, 2022
12022
Formalizing Model Inference of MicroPython
CM De Ferro, T Cogumbreiro, F Martins
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023
2023
Leibniz International Proceedings in Informatics (LIPIcs): 37th European Conference on Object-Oriented Programming (ECOOP 2023)
F Jin, L Yu, T Cogumbreiro, J Shirako, V Sarkar
European Conference on Object-Oriented Programming, 2023
2023
Verifying Static Analysis Tools
U Sathiyamoorthy, T Cogumbreiro
International Symposium on Trends in Functional Programming, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20