| 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 | 521 | 2010 |
| Mathematizing C++ concurrency M Batty, S Owens, S Sarkar, P Sewell, T Weber ACM SIGPLAN Notices 46 (1), 55-66, 2011 | 439 | 2011 |
| A better x86 memory model: x86-TSO S Owens, S Sarkar, P Sewell Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009 | 428 | 2009 |
| Mechanized Metatheory for the Masses: The PoplMark Challenge BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ... Theorem Proving in Higher Order Logics: 18th International Conference …, 2005 | 399 | 2005 |
| Understanding POWER multiprocessors S Sarkar, P Sewell, J Alglave, L Maranget, D Williams Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 310 | 2011 |
| Cassandra: Flexible trust management, applied to electronic health records MY Becker, P Sewell Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 139-154, 2004 | 276 | 2004 |
| Cassandra: Distributed access control policies with tunable expressiveness MY Becker, P Sewell Proceedings. Fifth IEEE International Workshop on Policies for Distributed …, 2004 | 275 | 2004 |
| Mutatis mutandis: safe and predictable dynamic software updating G Stoyle, M Hicks, G Bierman, P Sewell, I Neamtiu ACM SIGPLAN Notices 40 (1), 183-194, 2005 | 247 | 2005 |
| Passive attack analysis for connection-based anonymity systems A Serjantov, P Sewell Lecture notes in computer science 2808, 116-131, 2003 | 223 | 2003 |
| Nomadic pict: Language and infrastructure design for mobile agents PT Wojciechowski, P Sewell IEEE Concurrency 8 (2), 42-52, 2000 | 209 | 2000 |
| The semantics of x86-CC multiprocessor machine code S Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ... Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009 | 196 | 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 | 193 | 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 | 175 | 2016 |
| CompCertTSO: A verified compiler for relaxed-memory concurrency J Ševčík, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell Journal of the ACM (JACM) 60 (3), 1-50, 2013 | 160 | 2013 |
| Fences in Weak Memory Models. J Alglave, L Maranget, S Sarkar, P Sewell CAV 10, 258-272, 2010 | 157 | 2010 |
| 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 | 154 | 2017 |
| 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 | 147 | 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 | 143 | 2009 |
| Location-independent communication for mobile agents: a two-level architecture P Sewell, PT Wojciechowski, BC Pierce International Conference on Computer Languages, 1-31, 1998 | 141 | 1998 |
| 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 | 129 | 2012 |
