| Herding cats: Modelling, simulation, testing, and data mining for weak memory J Alglave, L Maranget, M Tautschnig ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (2), 1-74, 2014 | 517 | 2014 |
| Understanding POWER multiprocessors S Sarkar, P Sewell, J Alglave, L Maranget, D Williams Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 377 | 2011 |
| Fences in weak memory models (extended version) J Alglave, L Maranget, S Sarkar, P Sewell Formal Methods in System Design 40 (2), 170-205, 2012 | 234* | 2012 |
| Partial orders for efficient bounded model checking of concurrent software J Alglave, D Kroening, M Tautschnig International Conference on Computer Aided Verification, 141-157, 2013 | 227 | 2013 |
| The semantics of x86-CC multiprocessor machine code S Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ... ACM SIGPLAN Notices 44 (1), 379-391, 2009 | 218 | 2009 |
| 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 | 188* | 2015 |
| Litmus: Running tests against hardware J Alglave, L Maranget, S Sarkar, P Sewell International Conference on Tools and Algorithms for the Construction and …, 2011 | 170 | 2011 |
| An axiomatic memory model for POWER multiprocessors S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ... International Conference on Computer Aided Verification, 495-512, 2012 | 165 | 2012 |
| The semantics of Power and ARM multiprocessor machine code J Alglave, A Fox, S Ishtiaq, MO Myreen, S Sarkar, P Sewell, FZ Nardelli Proceedings of the 4th workshop on Declarative aspects of multicore …, 2009 | 159 | 2009 |
| Software verification for weak memory via program transformation J Alglave, D Kroening, V Nimal, M Tautschnig European Symposium on Programming, 512-532, 2013 | 151 | 2013 |
| 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 | 138 | 2012 |
| Don’t sit on the fence: A static analysis approach to automatic fence insertion J Alglave, D Kroening, V Nimal, D Poetzl ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-38, 2017 | 134 | 2017 |
| Frightening small children and disconcerting grown-ups: Concurrency in the linux kernel J Alglave, L Maranget, PE McKenney, A Parri, A Stern Proceedings of the Twenty-Third International Conference on Architectural …, 2018 | 93 | 2018 |
| A shared memory poetics J Alglave These de doctorat, L’université Paris Denis Diderot, 2010 | 91 | 2010 |
| A formal hierarchy of weak memory models J Alglave Formal Methods in System Design 41 (2), 178-210, 2012 | 89 | 2012 |
| Stability in weak memory models J Alglave, L Maranget International Conference on Computer Aided Verification, 50-66, 2011 | 80 | 2011 |
| Armed cats: Formal concurrency modelling at arm J Alglave, W Deacon, R Grisenthwaite, A Hacquard, L Maranget ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (2), 1-54, 2021 | 68 | 2021 |
| Ogre and Pythia: an invariance proof method for weak consistency models J Alglave, P Cousot Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 63 | 2017 |
| Syntax and semantics of the weak consistency model specification language cat J Alglave, P Cousot, L Maranget arXiv preprint arXiv:1608.07531, 2016 | 40 | 2016 |
| Making software verification tools really work J Alglave, AF Donaldson, D Kroening, M Tautschnig International Symposium on Automated Technology for Verification and …, 2011 | 37 | 2011 |
Susmit SarkarProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
