25 citations · 31 across the 4 of their papers we have counts for
5 papers
WarpDRF: The Unwritten Contract of GPU Warp Programming
Zheyuan Chen, Simon Kagle, Tiago Cogumbreiro +1
Warp primitives such as tensor core operations, shuffles, reductions, and barriers are critical to high-performance GPU kernels, and every major GPU language supports some set of t…
Provable GPU Data-Races in Static Race Detection
Dennis Liew, Tiago Cogumbreiro, Julien Lange
We extend the theory behind the Faial tool-chain, which can soundly prove that CUDA programs (aka, kernels) are data-race free using specialized behavioral types called memory acce…
Formalization of Phase Ordering
Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
Phasers pose an interesting synchronization mechanism that generalizes many collective synchronization patterns seen in parallel programming languages, including barriers, clocks,…
Types for X10 Clocks
Francisco Martins, Vasco T. Vasconcelos, Tiago Cogumbreiro
X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchroni…
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro
We previously developed a polymorphic type system and a type checker for a multithreaded lock-based polymorphic typed assembly language (MIL) that ensures that well-typed programs…