Type inference for deadlock detection in a multithreaded polymorphic typed assembly language VT Vasconcelos, F Martins, T Cogumbreiro arXiv preprint arXiv:1002.0942, 2010 | 43 | 2010 |
Dynamic deadlock verification for general barrier synchronisation T Cogumbreiro, R Hu, F Martins, N Yoshida ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (1), 1-38, 2018 | 34 | 2018 |
Deadlock avoidance in parallel programs with futures: Why parallel tasks should not wait for strangers T Cogumbreiro, R Surendran, F Martins, V Sarkar, VT Vasconcelos, ... Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017 | 13 | 2017 |
Transitive joins: a sound and efficient online deadlock-avoidance policy C Voss, T Cogumbreiro, V Sarkar Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019 | 10 | 2019 |
Coordinating phased activities while maintaining progress T Cogumbreiro, F Martins, VT Vasconcelos COORDINATION, 2013 | 9 | 2013 |
Compiling the π-calculus into a Multithreaded Typed Assembly Language T Cogumbreiro, F Martins, VT Vasconcelos Electronic Notes in Theoretical Computer Science 241, 57-84, 2009 | 9 | 2009 |
Checking data-race freedom of gpu kernels, compositionally T Cogumbreiro, J Lange, DLZ Rong, H Zicarelli International Conference on Computer Aided Verification, 403-426, 2021 | 8 | 2021 |
Formalization of Habanero phasers using Coq T Cogumbreiro, J Shirako, V Sarkar Journal of logical and algebraic methods in programming 90, 50-60, 2017 | 7 | 2017 |
Design and verification of distributed phasers K Murthy, SR Paul, KS Meel, T Cogumbreiro, J Mellor-Crummey Euro-PAR 9833, 405--418, 2016 | 6 | 2016 |
Types for X10 Clocks F Martins, VT Vasconcelos, T Cogumbreiro arXiv preprint arXiv:1110.4165, 2011 | 5 | 2011 |
Memory Access Protocols: Certified Data-Race Freedom for GPU Kernels T Cogumbreiro, J Lange, D Liew, H Zicarelli Formal Methods in System Design, 2023 | 4 | 2023 |
Safe-by-design programming languages for wireless sensor networks T Cogumbreiro, P Gomes, F Martins, L Lopes Department of Computer Science, Faculty of Sciences, University of Porto, 2011 | 4 | 2011 |
Provable GPU data-races in static race detection D Liew, T Cogumbreiro, J Lange arXiv preprint arXiv:2203.12878, 2022 | 3 | 2022 |
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems CM de Ferro, T Cogumbreiro, F Martins International Conference on Coordination Languages and Models, 93-114, 2023 | 2 | 2023 |
Formalization of phase ordering T Cogumbreiro, J Shirako, V Sarkar arXiv preprint arXiv:1606.05937, 2016 | 2 | 2016 |
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises F Jin, L Yu, T Cogumbreiro, J Shirako, V Sarkar 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 1 | 2023 |
Gidayu: Visualizing Automata and Their Computations T Cogumbreiro, G Blike Proceedings of the 27th ACM Conference on on Innovation and Technology in …, 2022 | 1 | 2022 |
Towards Concurrency Repair in GPU Kernels with Resource Cost Analysis G Blike, T Cogumbreiro The Southeast Regional Programming Languages Seminar (SERPL), 2023 | | 2023 |
Scaling data-race freedom analysis with array projections P Maynard, T Cogumbreiro The Southeast Regional Programming Languages Seminar (SERPL), 2023 | | 2023 |
Formalizing Model Inference of MicroPython CM De Ferro, T Cogumbreiro, F Martins 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023 | | 2023 |