| 2023 | Coordination | Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. | Carlos Mo de Ferro, Tiago Cogumbreiro, Francisco Martins |
| 2023 | DSN | Formalizing Model Inference of MicroPython. | Carlos Mo de Ferro, Tiago Cogumbreiro, Francisco Martins |
| 2023 | ECOOP | Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. | Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar |
| 2022 | ITiCSE | Gidayu: Visualizing Automaton and Their Computations. | Tiago Cogumbreiro, Gregory Blike |
| 2021 | CAV | Checking Data-Race Freedom of GPU Kernels, Compositionally. | Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli |
| 2019 | PPoPP | Transitive joins: a sound and efficient online deadlock-avoidance policy. | Caleb Voss, Tiago Cogumbreiro, Vivek Sarkar |
| 2016 | EuroPar | Design and Verification of Distributed Phasers. | Karthik Murthy, Sri Raj Paul, Kuldeep S. Meel, Tiago Cogumbreiro, John M. Mellor-Crummey |
| 2015 | PPoPP | Dynamic deadlock verification for general barrier synchronisation. | Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida |
| 2013 | Coordination | Coordinating Phased Activities while Maintaining Progress. | Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos |