| Modular relaxed dependencies in weak memory concurrency M Paviotti, S Cooksey, A Paradis, D Wright, S Owens, M Batty Programming Languages and Systems: 29th European Symposium on Programming …, 2020 | 42 | 2020 |
| The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency A Jeffrey, J Riely, M Batty, S Cooksey, I Kaysin, A Podkopaev Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 19 | 2022 |
| PrideMM: Second Order Model Checking for Memory Consistency Models S Cooksey, S Harris, M Batty, R Grigore, M Janota Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 7* | 2020 |
| Mixed-proxy extensions for the NVIDIA PTX memory consistency model: industrial product D Lustig, S Cooksey, O Giroux Proceedings of the 49th Annual International Symposium on Computer …, 2022 | 3 | 2022 |
| Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper) S Harris, S Cooksey, M Vollmer, M Batty 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | | 2023 |
| Automating C++ Execution Exploration to Solve the Out-of-Thin-Air Problem S Cooksey PQDT-Global, 2022 | | 2022 |
