Følg
Peter Sewell
Peter Sewell
Computer Laboratory, University of Cambridge
Verificeret mail på cl.cam.ac.uk - Startside
Titel
Citeret af
Citeret af
År
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
5402010
Mathematizing C++ concurrency
M Batty, S Owens, S Sarkar, P Sewell, T Weber
ACM SIGPLAN Notices 46 (1), 55-66, 2011
4532011
A better x86 memory model: x86-TSO
S Owens, S Sarkar, P Sewell
Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009
4502009
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
4072005
Understanding POWER multiprocessors
S Sarkar, P Sewell, J Alglave, L Maranget, D Williams
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
3232011
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
2732004
Passive attack analysis for connection-based anonymity systems
A Serjantov, P Sewell
Computer Security–ESORICS 2003: 8th European Symposium on Research in …, 2003
2292003
Nomadic pict: Language and infrastructure design for mobile agents
PT Wojciechowski, P Sewell
IEEE Concurrency 8 (2), 42-52, 2000
2092000
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
2062009
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
2012010
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
1812016
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
Fences in weak memory models
J Alglave, L Maranget, S Sarkar, P Sewell
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1682010
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
1672017
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
1431998
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
1422005
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20