Keith Wansbrough - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2019

Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets APISteve Bishop, Matthew Fairbairn, Hannes Mehnert, Michael Norrish, Tom Ridge, Peter Sewell, Michael Smith 0008, Keith Wansbrough. JACM, 66(1), 2019. [doi]

2008

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reductionPeter Sewell, Gareth Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough. JFP, 18(4):437-502, 2008. [doi]

2007

Acute: High-level programming language design for distributed computationPeter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. JFP, 17(4-5):547-612, 2007. [doi]

2006

Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementationsSteve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough. POPL 2006: 55-66 [doi]

2005

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and socketsSteve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough. sigcomm 2005: 265-276 [doi]

Acute: high-level programming language design for distributed computationPeter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. ICFP 2005: 15-26 [doi]

2003

Dynamic rebinding for marshalling and update, with destruct-time?Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough. ICFP 2003: 99-110 [doi]

Dynamic rebinding for marshalling and update, with destruct-time ?Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough. SIGPLAN, 38(9):99-110, 2003. [doi]

Global abstraction-safe marshalling with hash typesJames J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough. ICFP 2003: 87-98 [doi]

Global abstraction-safe marshalling with hash typesJames J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough. SIGPLAN, 38(9):87-98, 2003. [doi]

Simple polymorphic usage analysisKeith Wansbrough. PhD thesis, University of Cambridge, UK, 2003. [doi]

2002

Rigour is good for you ::::and:::: feasible: reflections on formal treatments of C and UDP socketsMichael Norrish, Peter Sewell, Keith Wansbrough. sigopsE 2002: 49-53 [doi]

Timing UDP: Mechanized Semantics for Sockets, Threads, and FailuresKeith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov. ESOP 2002: 278-294 [doi]

2001

The UDP Calculus: Rigorous Semantics for Real NetworkingAndrei Serjantov, Peter Sewell, Keith Wansbrough. tacs 2001: 535-559 [doi]

1999

Once Upon a Polymorphic TypeKeith Wansbrough, Simon L. Peyton Jones. POPL 1999: 15-28 [doi]

1997

A Modular Monadic Action SemanticsKeith Wansbrough, John Hamer. DSL 1997: [doi]

Sign in or sign up to see more results.

runs on WebDSL