Keith Wansbrough

14 papers A* 3A 4Journal 3Unranked 3

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API. J. ACM Steve Bishop, Matthew Fairbairn, Hannes Mehnert, Michael Norrish, Tom Ridge, Peter Sewell, Michael Smith, Keith Wansbrough
2008	J	`jnl`	Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. J. Funct. Program. Peter Sewell, Gareth Paul Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough
2007	J	`jnl`	Acute: High-level programming language design for distributed computation. J. Funct. Program. Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
2006	A*	`conf`	Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. POPL Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough
2005	A	`conf`	Acute: high-level programming language design for distributed computation. ICFP Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
2005	A*	`conf`	Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. SIGCOMM Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough
2003	A	`conf`	Dynamic rebinding for marshalling and update, with destruct-time? ICFP Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough
2003	A	`conf`	Global abstraction-safe marshalling with hash types. ICFP James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
2003	—	`—`	Simple polymorphic usage analysis. Keith Wansbrough
2002	—	`conf`	Rigour is good for you ACM SIGOPS European Workshop Michael Norrish, Peter Sewell, Keith Wansbrough
2002	A	`conf`	Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. ESOP Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov
2001	—	`conf`	The UDP Calculus: Rigorous Semantics for Real Networking. TACS Andrei Serjantov, Peter Sewell, Keith Wansbrough
1999	A*	`conf`	Once Upon a Polymorphic Type. POPL Keith Wansbrough, Simon L. Peyton Jones
1997	—	`conf`	A Modular Monadic Action Semantics. DSL Keith Wansbrough, John Hamer