Keith Wansbrough

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 1

Top Topics

Oracle Database

Local Area Network

Top Venues

Publications

Steve Bishop, Matthew Fairbairn, Hannes Mehnert, Michael Norrish, Tom Ridge, Peter Sewell, Michael Smith, Keith Wansbrough
Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API. J. ACM 66 (1) (2019)
Peter Sewell, Gareth Paul 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) (2008)
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) (2007)
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)
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)
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)
Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough
Dynamic rebinding for marshalling and update, with destruct-time? ICFP (2003)
Gareth Paul Stoyle, Peter Sewell, Michael Hicks, Keith Wansbrough, Gavin M. Bierman
Dynamic rebinding for marshalling and update, with destruct-time ? SIGPLAN Notices (2003)
Peter Sewell, James J. Leifer, Keith Wansbrough, Gilles Peskine
Global abstraction-safe marshalling with hash types. SIGPLAN Notices (2003)
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Global abstraction-safe marshalling with hash types. ICFP (2003)
Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. ESOP (2002)
Michael Norrish, Peter Sewell, Keith Wansbrough
feasible: reflections on formal treatments of C and UDP sockets. ACM SIGOPS European Workshop (2002)
Andrei Serjantov, Peter Sewell, Keith Wansbrough
The UDP Calculus: Rigorous Semantics for Real Networking. TACS (2001)
Keith Wansbrough, Simon L. Peyton Jones
Once Upon a Polymorphic Type. POPL (1999)
Keith Wansbrough, John Hamer
A Modular Monadic Action Semantics. DSL (1997)