Keith Wansbrough
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1999–2006
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | POPL | Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough |
| 2005 | ICFP | Acute: high-level programming language design for distributed computation. | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
| 2005 | SIGCOMM | Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough |
| 2003 | ICFP | Dynamic rebinding for marshalling and update, with destruct-time? | Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough |
| 2003 | ICFP | Global abstraction-safe marshalling with hash types. | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
| 2002 | ESOP | Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. | Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov |
| 1999 | POPL | Once Upon a Polymorphic Type. | Keith Wansbrough, Simon L. Peyton Jones |