Peter Sewell

	2009
42		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
41		Scott Owens, Susmit Sarkar, Peter Sewell: A Better x86 Memory Model: x86-TSO. TPHOLs 2009: 391-407
	2008
40		Tom Ridge, Michael Norrish, Peter Sewell: A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. FM 2008: 294-309
39		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)
	2007
38		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
37		Rok Strnisa, Peter Sewell, Matthew J. Parkinson: The java module system: core design and semantic definition. OOPSLA 2007: 499-514
36		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)
35		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)
	2006
34		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
33		John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa: Type-safe distributed programming for OCaml. ML 2006: 20-31
32		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
31		Peter Sewell: Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics). Electr. Notes Theor. Comput. Sci. 162: 317-321 (2006)
	2005
30		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
29		Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis mutandis: safe and predictable dynamic software updating. POPL 2005: 183-194
28		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
27		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
26		Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic: It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30
25		Andrei Serjantov, Peter Sewell: Passive-attack analysis for connection-based anonymity systems. Int. J. Inf. Sec. 4(3): 172-180 (2005)
	2004
24		Moritz Y. Becker, Peter Sewell: Cassandra: Flexible Trust Management, Applied to Electronic Health Records. CSFW 2004: 139-154
23		Moritz Y. Becker, Peter Sewell: Cassandra: Distributed Access Control Policies with Tunable Expressiveness. POLICY 2004: 159-168
22		Gian Luca Cattani, Peter Sewell: Models for name-passing processes: interleaving and causal. Inf. Comput. 190(2): 136-178 (2004)
	2003
21		Andrei Serjantov, Peter Sewell: Passive Attack Analysis for Connection-Based Anonymity Systems. ESORICS 2003: 116-131
20		James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough: Global abstraction-safe marshalling with hash types. ICFP 2003: 87-98
19		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
18		Peter Sewell, Jan Vitek: Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. Journal of Computer Security 11(2): 135-188 (2003)
	2002
17		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
16		Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov: Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. ESOP 2002: 278-294
15		Peter Sewell: From rewrite rules to bisimulation congruences. Theor. Comput. Sci. 274(1-2): 183-230 (2002)
	2001
14		Asis Unyapoth, Peter Sewell: Nomadic pict: correct communication infrastructure for mobile computation. POPL 2001: 116-127
13		Peter Sewell: Modules, abstract types, and distributed versioning. POPL 2001: 236-247
12		Andrei Serjantov, Peter Sewell, Keith Wansbrough: The UDP Calculus: Rigorous Semantics for Real Networking. TACS 2001: 535-559
	2000
11		Peter Sewell, Jan Vitek: Secure Composition of Untrusted Code: Wrappers and Causality Types. CSFW 2000: 269-284
10		Gian Luca Cattani, Peter Sewell: Models for Name-Passing Processes: Interleaving and Causal. LICS 2000: 322-332
9		Peter Sewell: Preface. Electr. Notes Theor. Comput. Sci. 41(2): (2000)
	1999
8		Pawel T. Wojciechowski, Peter Sewell: Nomadic Pict: Language and Infrastructure Design for Mobile Agents. ASA/MA 1999: 2-12
7		Peter Sewell, Jan Vitek: Secure Composition of Insecure Components. CSFW 1999: 136-150
	1998
6		Peter Sewell: From Rewrite to Bisimulation Congruences. CONCUR 1998: 269-284
5		Peter Sewell: Global/Local Subtyping and Capability Inference for a Distributed pi-calculus. ICALP 1998: 695-706
4		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
	1997
3		Peter Sewell: On Implementations and Semantics of a Concurrent Programming Language. CONCUR 1997: 391-405
2		Peter Sewell: Nonaxiomatisability of Equivalences over Finite State Processes. Ann. Pure Appl. Logic 90(1-3): 163-191 (1997)
	1994
1		Peter Sewell: Bisimulation is Not Finitely (First Order) Equationally Axiomatisable LICS 1994: 62-70

Coauthor Index

1	Jade Alglave	[42]
2	Mair Allen-Williams	[30] [35]
3	Brian E. Aydemir	[27]
4	Moritz Y. Becker	[23] [24]
5	Gavin M. Bierman	[19] [29] [36] [39]
6	John Billings	[33]
7	Adam Biltcliffe	[34]
8	Steve Bishop	[28] [32]
9	Aaron Bohannon	[27]
10	Thomas Braibant	[42]
11	Gian Luca Cattani	[10] [22]
12	Michael Dales	[34]
13	Matthew Fairbairn	[27] [28] [32]
14	J. Nathan Foster	[27]
15	Pierre Habouzit	[30] [35]
16	Michael W. Hicks (Michael Hicks)	[19] [29] [36] [39]
17	Sam Jansen	[34]
18	James J. Leifer	[20] [30] [35]
19	Magnus O. Myreen	[42]
20	Francesco Zappa Nardelli	[30] [35] [38] [42]
21	Iulian Neamtiu	[29] [36]
22	Michael Norrish	[16] [17] [28] [32] [40]
23	Scott Owens	[38] [41] [42]
24	Matthew J. Parkinson	[37]
25	Gilles Peskine	[20] [38]
26	Benjamin C. Pierce	[4] [26] [27]
27	Tom Ridge (Thomas Ridge)	[34] [38] [40] [42]
28	Susmit Sarkar	[38] [41] [42]
29	Andrei Serjantov	[12] [16] [21] [25]
30	Mark R. Shinwell	[33]
31	Michael Smith	[28] [32]
32	Gareth Stoyle	[19] [29] [36] [39]
33	Rok Strnisa	[33] [37] [38]
34	Asis Unyapoth	[14]
35	Viktor Vafeiadis	[30] [35]
36	Jan Vitek	[7] [11] [18]
37	Dimitrios Vytiniotis	[27]
38	Keith Wansbrough	[12] [16] [17] [19] [20] [28] [30] [32] [35] [39]
39	Geoffrey Washburn	[27]
40	Stephanie Weirich	[26] [27]
41	Pawel T. Wojciechowski	[4] [8]
42	Steve Zdancewic	[26] [27]

Colors in the list of coauthors