| 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 | 297 | 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 | 254 | 2011 |
| 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 | 173 | 2009 |
| 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 | 170 | 2013 |
| 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 | 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 | 125 | 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 | 124* | 2015 |
| Software verification for weak memory via program transformation J Alglave, D Kroening, V Nimal, M Tautschnig European Symposium on Programming, 512-532, 2013 | 120 | 2013 |
| 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 | 119 | 2012 |
| 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 | 102 | 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 | 95* | 2017 |
| Litmus: Running Tests against Hardware J Alglave, L Maranget, S Sarkar, P Sewell International Conference on Tools and Algorithms for the Construction and …, 2011 | 92 | 2011 |
| Stability in weak memory models J Alglave, L Maranget International Conference on Computer Aided Verification, 50-66, 2011 | 70 | 2011 |
| A shared memory poetics J Alglave These de doctorat, L’université Paris Denis Diderot, 2010 | 68 | 2010 |
| A formal hierarchy of weak memory models J Alglave Formal Methods in System Design 41 (2), 178-210, 2012 | 67 | 2012 |
| 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 | 32 | 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 | 28 | 2017 |
| Making software verification tools really work J Alglave, AF Donaldson, D Kroening, M Tautschnig International Symposium on Automated Technology for Verification and …, 2011 | 25 | 2011 |
| 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 |
| 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 | 17 | 2011 |
Susmit SarkarReader, University of St AndrewsVerified email at st-andrews.ac.uk
