Tiago Cogumbreiro

20 papers A 1B 2C 2Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Modular Static Cost Analysis for GPU Warp-Level Parallelism.
Proc. ACM Program. Lang.
Gregory Blike, Hannah Zicarelli, Udaya Sathiyamoorthy, Julien Lange, Tiago Cogumbreiro
2024 J jnl
Memory access protocols: certified data-race freedom for GPU kernels.
Formal Methods Syst. Des.
Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli
2024 J jnl
Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs.
Proc. ACM Program. Lang.
Dennis Liew, Tiago Cogumbreiro, Julien Lange
2023 A conf
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises.
ECOOP
Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
2023 — conf
Formalizing Model Inference of MicroPython.
DSN-W
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
2023 C conf
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems.
COORDINATION
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
2022 — conf
Gidayu: Visualizing Automaton and Their Computations.
ITiCSE (1)
Tiago Cogumbreiro, Gregory Blike
2022 — conf
Provable GPU Data-Races in Static Race Detection.
PLACES@ETAPS
Dennis Liew, Tiago Cogumbreiro, Julien Lange
2021 — conf
Checking Data-Race Freedom of GPU Kernels, Compositionally.
CAV (1)
Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli
2019 J jnl
Dynamic Deadlock Verification for General Barrier Synchronisation.
ACM Trans. Program. Lang. Syst.
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
2019 B conf
Transitive joins: a sound and efficient online deadlock-avoidance policy.
PPoPP
Caleb Voss, Tiago Cogumbreiro, Vivek Sarkar
2017 J jnl
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers.
Proc. ACM Program. Lang.
Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman
2017 J jnl
Formalization of Habanero phasers using Coq.
J. Log. Algebraic Methods Program.
Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
2016 — conf
Design and Verification of Distributed Phasers.
Euro-Par
Karthik Murthy, Sri Raj Paul, Kuldeep S. Meel, Tiago Cogumbreiro, John M. Mellor-Crummey
2016 — conf
Formalization of Phase Ordering.
PLACES
Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
2015 B conf
Dynamic deadlock verification for general barrier synchronisation.
PPoPP
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
2013 C conf
Coordinating Phased Activities while Maintaining Progress.
COORDINATION
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
2010 — conf
Types for X10 Clocks
PLACES
Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro
2009 — conf
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
PLACES
Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro
2008 — conf
Compiling the pi-calculus into a Multithreaded Typed Assembly Language.
PLACES@DisCoTec
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos