| 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 | 14 | 2021 |
| Memory access protocols: certified data-race freedom for GPU kernels T Cogumbreiro, J Lange, D Liew, H Zicarelli Formal Methods in System Design 63 (1), 134-171, 2024 | 6 | 2024 |
| Provable GPU data-races in static race detection D Liew, T Cogumbreiro, J Lange arXiv preprint arXiv:2203.12878, 2022 | 4 | 2022 |
| Sound and partially-complete static analysis of data-races in gpu programs D Liew, T Cogumbreiro, J Lange Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 2434-2461, 2024 | 3 | 2024 |
