Tiago Cogumbreiro

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Dynamic Deadlock Verification for General Barrier Synchronisation.

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2019

Transitive joins: a sound and efficient online deadlock-avoidance policy.

Caleb Voss, Tiago Cogumbreiro, Vivek Sarkar

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.

Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman

Proc. ACM Program. Lang., 2017

Formalization of Habanero phasers using Coq.

Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar

J. Log. Algebraic Methods Program., 2017

2016

Formalization of Phase Ordering.

Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar

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

Design and Verification of Distributed Phasers.

Karthik Murthy, Sri Raj Paul, Kuldeep S. Meel, Tiago Cogumbreiro, John M. Mellor-Crummey

Proceedings of the Euro-Par 2016: Parallel Processing, 2016

2013

Coordinating Phased Activities while Maintaining Progress.

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2010

Types for X10 Clocks

Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro

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.

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos

Electron. Notes Theor. Comput. Sci., 2009

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

Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009