| Mathematizing C++ concurrency M Batty, S Owens, S Sarkar, P Sewell, T Weber ACM SIGPLAN Notices 46 (1), 55-66, 2011 | 482* | 2011 |
| GPU concurrency: Weak behaviours and programming assumptions J Alglave, M Batty, AF Donaldson, G Gopalakrishnan, J Ketema, D Poetzl, ... ACM SIGARCH Computer Architecture News 43 (1), 577-591, 2015 | 145 | 2015 |
| Automatically comparing memory consistency models J Wickerson, M Batty, T Sorensen, GA Constantinides Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 136 | 2017 |
| The problem of programming language concurrency semantics M Batty, K Memarian, K Nienhuis, J Pichon-Pharabod, P Sewell Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 121 | 2015 |
| Synchronising c/c++ and power S Sarkar, K Memarian, S Owens, M Batty, P Sewell, L Maranget, J Alglave, ... Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language …, 2012 | 120 | 2012 |
| Library abstraction for C/C++ concurrency M Batty, M Dodds, A Gotsman ACM SIGPLAN Notices 48 (1), 235-248, 2013 | 117 | 2013 |
| Overhauling SC atomics in C11 and OpenCL M Batty, AF Donaldson, J Wickerson Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 100 | 2016 |
| Mixed-size concurrency: ARM, Power, C/C++ 11, and SC S Flur, S Sarkar, C Pulte, K Nienhuis, L Maranget, KE Gray, A Sezgin, ... ACM SIGPLAN Notices 52 (1), 429-442, 2017 | 50 | 2017 |
| Portable inter-workgroup barrier synchronisation for GPUs T Sorensen, AF Donaldson, M Batty, G Gopalakrishnan, Z Rakamarić Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 39 | 2016 |
| 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 | 38 | 2020 |
| The C11 and C++ 11 concurrency model MJ Batty University of Cambridge, UK, 2015 | 38 | 2015 |
| Nitpicking C++ concurrency JC Blanchette, T Weber, M Batty, S Owens, S Sarkar Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011 | 38 | 2011 |
| Remote-scope promotion: clarified, rectified, and verified J Wickerson, M Batty, BM Beckmann, AF Donaldson Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 31 | 2015 |
| Relaxed memory models must be rigorous FZ Nardelli, P Sewell, J Sevcik, S Sarkar, S Owens, L Maranget, M Batty, ... Exploiting Concurrency Efficiently and Correctly Workshop, 2009 | 21 | 2009 |
| 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 | 17 | 2022 |
| Compositional verification of compiler optimisations on relaxed memory M Dodds, M Batty, A Gotsman Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 16 | 2018 |
| Owicki-Gries reasoning for C11 programs with relaxed dependencies D Wright, M Batty, B Dongol International Symposium on Formal Methods, 237-254, 2021 | 13 | 2021 |
| Mathematizing C++ concurrency: The post-Rapperswil model M Batty, S Owens, S Sarkar, P Sewell, T Weber technical report 3132, 10-0122, 2010 | 11 | 2010 |
| Compositional relaxed concurrency M Batty Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017 | 6 | 2017 |
| 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 | 4 | 2020 |
