Keith Wansbrough

2008
12	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
11	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
10	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
2005
9	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
8	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
2003
7	EE	James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough: Global abstraction-safe marshalling with hash types. ICFP 2003: 87-98
6	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
2002
5	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
4	EE	Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov: Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. ESOP 2002: 278-294
2001
3	EE	Andrei Serjantov, Peter Sewell, Keith Wansbrough: The UDP Calculus: Rigorous Semantics for Real Networking. TACS 2001: 535-559
1999
2	EE	Keith Wansbrough, Simon L. Peyton Jones: Once Upon a Polymorphic Type. POPL 1999: 15-28
1997
1	EE	Keith Wansbrough, John Hamer: A Modular Monadic Action Semantics. DSL 1997

Coauthor Index

1	Mair Allen-Williams	[9] [11]
2	Gavin M. Bierman	[6] [12]
3	Steve Bishop	[8] [10]
4	Matthew Fairbairn	[8] [10]
5	Pierre Habouzit	[9] [11]
6	John Hamer	[1]
7	Michael W. Hicks (Michael Hicks)	[6] [12]
8	Simon L. Peyton Jones	[2]
9	James J. Leifer	[7] [9] [11]
10	Francesco Zappa Nardelli	[9] [11]
11	Michael Norrish	[4] [5] [8] [10]
12	Gilles Peskine	[7]
13	Andrei Serjantov	[3] [4]
14	Peter Sewell	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
15	Michael Smith	[8] [10]
16	Gareth Stoyle	[6] [12]
17	Viktor Vafeiadis	[9] [11]

Colors in the list of coauthors