| 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 | 403 | 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 | 313 | 2011 |
| Partial orders for efficient bounded model checking of concurrent software J Alglave, D Kroening, M Tautschnig Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 208 | 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 | 199 | 2009 |
| 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 | 197* | 2012 |
| 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 | 152* | 2015 |
| An axiomatic memory model for POWER multiprocessors S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ... Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 148 | 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 | 145 | 2009 |
| Software verification for weak memory via program transformation J Alglave, D Kroening, V Nimal, M Tautschnig European Symposium on Programming, 512-532, 2013 | 138 | 2013 |
| Litmus: Running tests against hardware J Alglave, L Maranget, S Sarkar, P Sewell International Conference on Tools and Algorithms for the Construction and …, 2011 | 134 | 2011 |
| 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 | 116 | 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 | 114 | 2017 |
| A formal hierarchy of weak memory models J Alglave Formal Methods in System Design 41, 178-210, 2012 | 80 | 2012 |
| A shared memory poetics J Alglave These de doctorat, L’université Paris Denis Diderot, 2010 | 77 | 2010 |
| Stability in weak memory models J Alglave, L Maranget Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 75 | 2011 |
| 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 | 59 | 2018 |
| 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 | 50 | 2017 |
| Making software verification tools really work J Alglave, AF Donaldson, D Kroening, M Tautschnig International Symposium on Automated Technology for Verification and …, 2011 | 28 | 2011 |
| Syntax and semantics of the weak consistency model specification language cat J Alglave, P Cousot, L Maranget arXiv preprint arXiv:1608.07531, 2016 | 26 | 2016 |
| Soundness of data flow analyses for weak memory models J Alglave, D Kroening, J Lugton, V Nimal, M Tautschnig Asian Symposium on Programming Languages and Systems, 272-288, 2011 | 24 | 2011 |
Susmit SarkarProfessor of Computer Science, University of St AndrewsEmail verificata su st-andrews.ac.uk
