Fingerprint
Dive into the research topics where Tiago Soares Cogumbreiro Garcia is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Modular Static Cost Analysis for GPU Warp-Level Parallelism
Blike, G., Zicarelli, H., Sathiyamoorthy, U., Lange, J. & Cogumbreiro, T., Jan 8 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 1471-1499 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Hidden Assumptions in Static Verification of Data-race Free GPU Programs
Cogumbreiro, T. & Lange, J., 2025, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 55-63 9 p. (Lecture Notes in Computer Science; vol. LNCS 14564).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Memory access protocols: certified data-race freedom for GPU kernels
Cogumbreiro, T., Lange, J., Liew, D. & Zicarelli, H., Oct 2024, In: Formal Methods in System Design. 63, 1-3, p. 134-171 38 p.Research output: Contribution to journal › Article › peer-review
-
Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs
Liew, D., Cogumbreiro, T. & Lange, J., Oct 8 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 357.Research output: Contribution to journal › Article › peer-review
Open Access -
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Jin, F., Yu, L., Cogumbreiro, T., Shirako, J. & Sarkar, V., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 263).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution