Keith Wansbrough

According to our database, Keith Wansbrough authored at least 13 papers between 1997 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API.

Steve Bishop, Matthew Fairbairn, Hannes Mehnert, Michael Norrish, Tom Ridge, Peter Sewell, Michael Smith, Keith Wansbrough

J. ACM, 2019

2008

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.

Peter Sewell, Gareth Paul Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough

J. Funct. Program., 2008

2007

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

J. Funct. Program., 2007

2006

Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

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

Proceedings of the ACM SIGCOMM 2005 Conference on Applications, 2005

2003

Simple polymorphic usage analysis.

Keith Wansbrough

PhD thesis, 2003

Global abstraction-safe marshalling with hash types.

James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Dynamic rebinding for marshalling and update, with destruct-time?

Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Rigour is good for you <i>and</i> feasible: reflections on formal treatments of C and UDP sockets.

Michael Norrish, Peter Sewell, Keith Wansbrough

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.

Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov

Proceedings of the Programming Languages and Systems, 2002

2001

The UDP Calculus: Rigorous Semantics for Real Networking.

Andrei Serjantov, Peter Sewell, Keith Wansbrough

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

1999

Once Upon a Polymorphic Type.

Keith Wansbrough, Simon L. Peyton Jones

Proceedings of the POPL '99, 1999

1997

A Modular Monadic Action Semantics.

Keith Wansbrough, John Hamer

Proceedings of the Conference on Domain-Specific Languages, 1997