Tiago Cogumbreiro

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 12

Top Topics

Finite State Automata

High Level Programming Language

Artifact Centric

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
Formalizing Model Inference of MicroPython. DSN-W (2023)
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. COORDINATION (2023)
Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. ECOOP (2023)
Dennis Liew, Tiago Cogumbreiro, Julien Lange
Provable GPU Data-Races in Static Race Detection. PLACES@ETAPS (2022)
Tiago Cogumbreiro, Gregory Blike
Gidayu: Visualizing Automaton and Their Computations. ITiCSE (1) (2022)
Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli
Checking Data-Race Freedom of GPU Kernels, Compositionally. CAV (1) (2021)
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Caleb Voss, Tiago Cogumbreiro, Vivek Sarkar
Transitive joins: a sound and efficient online deadlock-avoidance policy. PPoPP (2019)
Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
Formalization of Habanero phasers using Coq. J. Log. Algebraic Methods Program. 90 (2017)
Karthik Murthy, Sri Raj Paul, Kuldeep S. Meel, Tiago Cogumbreiro, John M. Mellor-Crummey
Design and Verification of Distributed Phasers. Euro-Par (2016)
Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
Formalization of Phase Ordering. PLACES (2016)
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
Dynamic deadlock verification for general barrier synchronisation. PPOPP (2015)
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
Coordinating Phased Activities while Maintaining Progress. COORDINATION (2013)
Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro
Types for X10 Clocks PLACES (2010)
Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language PLACES (2009)
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
Compiling the pi-calculus into a Multithreaded Typed Assembly Language. Electron. Notes Theor. Comput. Sci. 241 (2009)