Seguir
Peter Sewell
Peter Sewell
Computer Laboratory, University of Cambridge
Dirección de correo verificada de cl.cam.ac.uk - Página principal
Título
Citado por
Citado por
Año
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
5522010
Mathematizing C++ concurrency
M Batty, S Owens, S Sarkar, P Sewell, T Weber
ACM SIGPLAN Notices 46 (1), 55-66, 2011
4592011
A better x86 memory model: x86-TSO
S Owens, S Sarkar, P Sewell
Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009
4552009
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
4122005
Understanding POWER multiprocessors
S Sarkar, P Sewell, J Alglave, L Maranget, D Williams
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
3272011
Cassandra: Flexible trust management, applied to electronic health records
MY Becker, P Sewell
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 139-154, 2004
2782004
Cassandra: Distributed access control policies with tunable expressiveness
MY Becker, P Sewell
Proceedings. Fifth IEEE International Workshop on Policies for Distributed …, 2004
2722004
Passive attack analysis for connection-based anonymity systems
A Serjantov, P Sewell
Computer Security–ESORICS 2003: 8th European Symposium on Research in …, 2003
2282003
Nomadic pict: Language and infrastructure design for mobile agents
PT Wojciechowski, P Sewell
IEEE Concurrency 8 (2), 42-52, 2000
2112000
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
2072009
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
2042010
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
1842016
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
1712017
Fences in weak memory models
J Alglave, L Maranget, S Sarkar, P Sewell
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1712010
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
1702013
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
1502012
ISA Semantics for ARMv8-a, RISC-v, and CHERI-MIPS
A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, RM Norton, ...
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
1462019
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
1452009
Location-independent communication for mobile agents: a two-level architecture
P Sewell, PT Wojciechowski, BC Pierce
International Conference on Computer Languages, 1-31, 1998
1441998
Litmus: Running tests against hardware
J Alglave, L Maranget, S Sarkar, P Sewell
International Conference on Tools and Algorithms for the Construction and …, 2011
1412011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20