x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors P Sewell, S Sarkar, S Owens, FZ Nardelli, MO Myreen Communications of the ACM 53 (7), 89-97, 2010 | 492 | 2010 |
Mathematizing C++ concurrency M Batty, S Owens, S Sarkar, P Sewell, T Weber ACM SIGPLAN Notices 46 (1), 55-66, 2011 | 406 | 2011 |
Mathematizing C++ concurrency M Batty, S Owens, S Sarkar, P Sewell, T Weber ACM SIGPLAN Notices 46 (1), 55-66, 2011 | 406 | 2011 |
A better x86 memory model: x86-TSO S Owens, S Sarkar, P Sewell International Conference on Theorem Proving in Higher Order Logics, 391-407, 2009 | 403 | 2009 |
Understanding POWER multiprocessors S Sarkar, P Sewell, J Alglave, L Maranget, D Williams Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 289 | 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 | 192 | 2009 |
Ott: Effective tool support for the working semanticist P Sewell, FZ Nardelli, S Owens, G Peskine, T Ridge, S Sarkar Journal of functional programming 20 (1), 71-122, 2010 | 181 | 2010 |
Modelling the ARMv8 architecture, operationally: Concurrency and ISA S Flur, KE Gray, C Pulte, S Sarkar, A Sezgin, L Maranget, W Deacon, ... Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 164 | 2016 |
Fences in weak memory models J Alglave, L Maranget, S Sarkar, P Sewell International Conference on Computer Aided Verification, 258-272, 2010 | 148 | 2010 |
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 | 141 | 2009 |
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 | 140 | 2012 |
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8 C Pulte, S Flur, W Deacon, J French, S Sarkar, P Sewell Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017 | 138 | 2017 |
Clarifying and compiling C/C++ concurrency: from C++ 11 to POWER M Batty, K Memarian, S Owens, S Sarkar, P Sewell ACM SIGPLAN Notices 47 (1), 509-520, 2012 | 124 | 2012 |
Measurement of prompt J/ψ pair production in pp collisions at s = 7 Tev V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, T Bergauer, ... Journal of High Energy Physics 2014 (9), 1-35, 2014 | 123 | 2014 |
Litmus: Running Tests against Hardware J Alglave, L Maranget, S Sarkar, P Sewell International Conference on Tools and Algorithms for the Construction and …, 2011 | 119 | 2011 |
Ott: Effective tool support for the working semanticist P Sewell, FZ Nardelli, S Owens, G Peskine, T Ridge, S Sarkar, R Strniša ACM SIGPLAN Notices 42 (9), 1-12, 2007 | 116 | 2007 |
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 | 112 | 2012 |
A tutorial introduction to the ARM and POWER relaxed memory models L Maranget, S Sarkar, P Sewell Draft available from http://www. cl. cam. ac. uk/~ pes20/ppc-supplemental …, 2012 | 60 | 2012 |
Foundational certified code in a metalogical framework K Crary, S Sarkar International Conference on Automated Deduction, 106-120, 2003 | 53 | 2003 |
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors KE Gray, G Kerneis, D Mulligan, C Pulte, S Sarkar, P Sewell Proceedings of the 48th International Symposium on Microarchitecture, 635-646, 2015 | 44 | 2015 |