Peter Sewell

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in weak memory models (extended version). Formal Methods in System Design 40(2): 170-205 (2012)

Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams: An Axiomatic Memory Model for POWER Multiprocessors. CAV 2012: 495-512

Peter Sewell: False Concurrency and Strange-but-True Machines - (Abstract). CONCUR 2012: 37-38

Peter Sewell: Tales from the jungle. ICFP 2012: 271-272

Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams: Synchronising C/C++ and POWER. PLDI 2012: 311-322

Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell: Clarifying and compiling C/C++ concurrency: from C++11 to POWER. POPL 2012: 509-520

Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell: Lem: A Lightweight Tool for Heavyweight Semantics. ITP 2011: 363-369

Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams: Understanding POWER multiprocessors. PLDI 2011: 175-186

Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell: Relaxed-memory concurrency and verified compilation. POPL 2011: 43-54

Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber: Mathematizing C++ concurrency. POPL 2011: 55-66

Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell: Robin Milner 1934--2010: verification, languages, and concurrency. POPL 2011: 473-474

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Litmus: Running Tests against Hardware. TACAS 2011: 41-44

Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell: Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Dagstuhl Reports 1(1): 1-26 (2011)

Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen: x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. Commun. ACM 53(7): 89-97 (2010)

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa: Ott: Effective tool support for the working semanticist. J. Funct. Program. 20(1): 71-122 (2010)

Peter Sewell, Pawel T. Wojciechowski, Asis Unyapoth: Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation. ACM Trans. Program. Lang. Syst. 32(4) (2010)

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Fences in Weak Memory Models. CAV 2010: 258-272

Peter Sewell: Memory, an elusive abstraction. ISMM 2010: 51-52

Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli: The semantics of power and ARM multiprocessor machine code. DAMP 2009: 13-24

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave: The semantics of x86-CC multiprocessor machine code. POPL 2009: 379-391

Scott Owens, Susmit Sarkar, Peter Sewell: A Better x86 Memory Model: x86-TSO. TPHOLs 2009: 391-407

Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough: Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. J. Funct. Program. 18(4): 437-502 (2008)

Tom Ridge, Michael Norrish, Peter Sewell: A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. FM 2008: 294-309

Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis: Acute: High-level programming language design for distributed computation. J. Funct. Program. 17(4-5): 547-612 (2007)

Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst. 29(4) (2007)

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa: Ott: effective tool support for the working semanticist. ICFP 2007: 1-12

Rok Strnisa, Peter Sewell, Matthew J. Parkinson: The java module system: core design and semantic definition. OOPSLA 2007: 499-514

Peter Sewell: Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics). Electr. Notes Theor. Comput. Sci. 162: 317-321 (2006)

Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell: Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. ICNP 2006: 117-126

John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa: Type-safe distributed programming for OCaml. ML 2006: 20-31

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. POPL 2006: 55-66

Andrei Serjantov, Peter Sewell: Passive-attack analysis for connection-based anonymity systems. Int. J. Inf. Sec. 4(3): 172-180 (2005)

Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis: Acute: high-level programming language design for distributed computation. ICFP 2005: 15-26

Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis mutandis: safe and predictable dynamic software updating. POPL 2005: 183-194

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. SIGCOMM 2005: 265-276

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic: Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65

Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic: It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30

Gian Luca Cattani, Peter Sewell: Models for name-passing processes: interleaving and causal. Inf. Comput. 190(2): 136-178 (2004)

Moritz Y. Becker, Peter Sewell: Cassandra: Flexible Trust Management, Applied to Electronic Health Records. CSFW 2004: 139-154

Moritz Y. Becker, Peter Sewell: Cassandra: Distributed Access Control Policies with Tunable Expressiveness. POLICY 2004: 159-168

Peter Sewell, Jan Vitek: Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. Journal of Computer Security 11(2): 135-188 (2003)

James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough: Global abstraction-safe marshalling with hash types. SIGPLAN Notices 38(9): 87-98 (2003)

Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough: Dynamic rebinding for marshalling and update, with destruct-time ? SIGPLAN Notices 38(9): 99-110 (2003)

Andrei Serjantov, Peter Sewell: Passive Attack Analysis for Connection-Based Anonymity Systems. ESORICS 2003: 116-131

James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough: Global abstraction-safe marshalling with hash types. ICFP 2003: 87-98

Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough: Dynamic rebinding for marshalling and update, with destruct-time? ICFP 2003: 99-110

Peter Sewell: From rewrite rules to bisimulation congruences. Theor. Comput. Sci. 274(1-2): 183-230 (2002)

Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov: Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. ESOP 2002: 278-294

Michael Norrish, Peter Sewell, Keith Wansbrough: Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets. ACM SIGOPS European Workshop 2002: 49-53

Asis Unyapoth, Peter Sewell: Nomadic pict: correct communication infrastructure for mobile computation. POPL 2001: 116-127

Peter Sewell: Modules, abstract types, and distributed versioning. POPL 2001: 236-247

Andrei Serjantov, Peter Sewell, Keith Wansbrough: The UDP Calculus: Rigorous Semantics for Real Networking. TACS 2001: 535-559

Peter Sewell: Preface. Electr. Notes Theor. Comput. Sci. 41(2): 17-18 (2000)

Pawel T. Wojciechowski, Peter Sewell: Nomadic Pict: language and infrastructure design for mobile agents. IEEE Concurrency 8(2): 42-52 (2000)

Peter Sewell, Jan Vitek: Secure Composition of Untrusted Code: Wrappers and Causality Types. CSFW 2000: 269-284

Gian Luca Cattani, Peter Sewell: Models for Name-Passing Processes: Interleaving and Causal. LICS 2000: 322-333

Peter Sewell, Jan Vitek: Secure Composition of Insecure Components. CSFW 1999: 136-150

Pawel T. Wojciechowski, Peter Sewell: Nomadic Pict: Language and Infrastructure Design for Mobile Agents. ASA/MA 1999: 2-12

Peter Sewell: From Rewrite to Bisimulation Congruences. CONCUR 1998: 269-284

Peter Sewell: Global/Local Subtyping and Capability Inference for a Distributed pi-calculus. ICALP 1998: 695-706

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce: Location-Independent Communication for Mobile Agents: A Two-Level Architecture. ICCL Workshop: Internet Programming Languages 1998: 1-31

Peter Sewell: Nonaxiomatisability of Equivalences over Finite State Processes. Ann. Pure Appl. Logic 90(1-3): 163-191 (1997)

Peter Sewell: On Implementations and Semantics of a Concurrent Programming Language. CONCUR 1997: 391-405

Peter Sewell: Bisimulation is Not Finitely (First Order) Equationally Axiomatisable. LICS 1994: 62-70