Tiago Cogumbreiro
where else to find them
mastodon:@AssertionError@types.pl
speakerdeck:cogumbreiro
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Julien Lange3×
- Dennis Liewonce
- Gregory Blikeonce
all 5 in the filters
who talks about the same things
- Julien Lange5 talks
- Tyler Sorensen12 talks
- Jonathan Ragan-Kelley12 talks
- Alastair F. Donaldson14 talks
- Mahesh Viswanathan7 talks
- Umang Mathur20 talks
| title | conference | date |
|---|---|---|
| A Modular Static Cost Analysis for GPU Warp-Level Parallelism | POPL 2026 | 2026-01-11 |
Claims a new static, relational-cost analysis that translates warp semantics into a sequential cost program and is parametric on resource metric and relation… | ||
| Hidden assumptions in static verification of data-race free GPU programs | VIVEKFEST 2024 | 2024-10-21 |
Faial is a static analyzer for GPU kernels that checks data-race freedom and delegates checks to an SMT solver, running most kernels in under a minute. On a… | ||
| Sound and partially-complete static analysis of data-races in GPU programs | OOPSLA 2024 | 2024-10-20 |
A sound static verifier and a partially-complete race finder named FaialAA implements memory-access protocols, SMT encoding, and mechanized proofs to guarantee… | ||
| nothing matches | ||