Tiago Cogumbreiro

According to our database1, Tiago Cogumbreiro authored at least 10 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Dynamic Deadlock Verification for General Barrier Synchronisation.
ACM Trans. Program. Lang. Syst., 2019

Transitive joins: a sound and efficient online deadlock-avoidance policy.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2017
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers.
Proc. ACM Program. Lang., 2017

Formalization of Habanero phasers using Coq.
J. Log. Algebraic Methods Program., 2017

2016
Formalization of Phase Ordering.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Design and Verification of Distributed Phasers.
Proceedings of the Euro-Par 2016: Parallel Processing, 2016

2013
Coordinating Phased Activities while Maintaining Progress.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2010
Types for X10 Clocks
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

2009
Compiling the pi-calculus into a Multithreaded Typed Assembly Language.
Electron. Notes Theor. Comput. Sci., 2009

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009


  Loading...