| 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 |
