Tiago Cogumbreiro

According to our database, Tiago Cogumbreiro authored at least 18 papers between 2008 and 2024.

Collaborative distances:

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

2024

Memory access protocols: certified data-race freedom for GPU kernels.

Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli

Formal Methods Syst. Des., October, 2024

Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs.

Dennis Liew, Tiago Cogumbreiro, Julien Lange

Proc. ACM Program. Lang., 2024

2023

Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises.

Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Formalizing Model Inference of MicroPython.

Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems.

Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins

Proceedings of the Coordination Models and Languages, 2023

2022

Provable GPU Data-Races in Static Race Detection.

Dennis Liew, Tiago Cogumbreiro, Julien Lange

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

Gidayu: Visualizing Automaton and Their Computations.

Tiago Cogumbreiro, Gregory Blike

Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

2021

Checking Data-Race Freedom of GPU Kernels, Compositionally.

Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

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

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

2008

Compiling the pi-calculus into a Multithreaded Typed Assembly Language.

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008