Concepedia

Tiago Cogumbreiro

TC

Statistics

Publications

3

Citations

56

H-Index

3

Active since

2010

Affiliations

University of Lisbon(Current)

Tiago Cogumbreiro is an author at University of Lisbon specializing in computer science, deadlock, and concurrent programming.

ORCID

Publications per year

2010–2017

3

Publications

3

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro · Electronic Proceedings in Theoretical Computer Science · 2010 · 24 citations · Full text

, , +16

Dynamic deadlock verification for general barrier synchronisation

Tiago Cogumbreiro, Raymond Hu, Francisco Martins et al. · 2015 · 21 citations · Full text

, , +17

Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers

Tiago Cogumbreiro, Rishi Surendran, Francisco Martins et al. · Proceedings of the ACM on Programming Languages · 2017 · 11 citations · Full text

, , +17

1–3 of 3