Peter Sewell

2009
41	EE	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
2008
40	EE	Tom Ridge, Michael Norrish, Peter Sewell: A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. FM 2008: 294-309
39	EE	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	EE	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	EE	Rok Strnisa, Peter Sewell, Matthew J. Parkinson: The java module system: core design and semantic definition. OOPSLA 2007: 499-514
36	EE	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	EE	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	EE	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	EE	John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa: Type-safe distributed programming for OCaml. ML 2006: 20-31
32	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic: It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30
25	EE	Andrei Serjantov, Peter Sewell: Passive-attack analysis for connection-based anonymity systems. Int. J. Inf. Sec. 4(3): 172-180 (2005)
2004
24	EE	Moritz Y. Becker, Peter Sewell: Cassandra: Flexible Trust Management, Applied to Electronic Health Records. CSFW 2004: 139-154
23	EE	Moritz Y. Becker, Peter Sewell: Cassandra: Distributed Access Control Policies with Tunable Expressiveness. POLICY 2004: 159-168
22	EE	Gian Luca Cattani, Peter Sewell: Models for name-passing processes: interleaving and causal. Inf. Comput. 190(2): 136-178 (2004)
2003
21	EE	Andrei Serjantov, Peter Sewell: Passive Attack Analysis for Connection-Based Anonymity Systems. ESORICS 2003: 116-131
20	EE	James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough: Global abstraction-safe marshalling with hash types. ICFP 2003: 87-98
19	EE	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	EE	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	EE	Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov: Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. ESOP 2002: 278-294
15	EE	Peter Sewell: From rewrite rules to bisimulation congruences. Theor. Comput. Sci. 274(1-2): 183-230 (2002)
2001
14	EE	Asis Unyapoth, Peter Sewell: Nomadic pict: correct communication infrastructure for mobile computation. POPL 2001: 116-127
13	EE	Peter Sewell: Modules, abstract types, and distributed versioning. POPL 2001: 236-247
12	EE	Andrei Serjantov, Peter Sewell, Keith Wansbrough: The UDP Calculus: Rigorous Semantics for Real Networking. TACS 2001: 535-559
2000
11	EE	Peter Sewell, Jan Vitek: Secure Composition of Untrusted Code: Wrappers and Causality Types. CSFW 2000: 269-284
10	EE	Gian Luca Cattani, Peter Sewell: Models for Name-Passing Processes: Interleaving and Causal. LICS 2000: 322-332
9	EE	Peter Sewell: Preface. Electr. Notes Theor. Comput. Sci. 41(2): (2000)
1999
8	EE	Pawel T. Wojciechowski, Peter Sewell: Nomadic Pict: Language and Infrastructure Design for Mobile Agents. ASA/MA 1999: 2-12
7	EE	Peter Sewell, Jan Vitek: Secure Composition of Insecure Components. CSFW 1999: 136-150
1998
6	EE	Peter Sewell: From Rewrite to Bisimulation Congruences. CONCUR 1998: 269-284
5	EE	Peter Sewell: Global/Local Subtyping and Capability Inference for a Distributed pi-calculus. ICALP 1998: 695-706
4	EE	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	[41]
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	[41]
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	[41]
20	Francesco Zappa Nardelli	[30] [35] [38] [41]
21	Iulian Neamtiu	[29] [36]
22	Michael Norrish	[16] [17] [28] [32] [40]
23	Scott Owens	[38] [41]
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] [41]
28	Susmit Sarkar	[38] [41]
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