Travelled to:1 × Estonia
1 × France
1 × Sweden
2 × USA
Collaborated with:P.Sewell S.L.P.Jones M.Norrish J.J.Leifer G.Peskine A.Serjantov G.M.Bierman M.W.Hicks G.Stoyle S.Bishop M.Fairbairn M.Smith F.Z.Nardelli M.Allen-Williams P.Habouzit V.Vafeiadis
Talks about:marshal (2) type (2) time (2) polymorph (1) implement (1) distribut (1) destruct (1) abstract (1) program (1) languag (1)
Person: Keith Wansbrough
DBLP: Wansbrough:Keith
Contributed to:
2006
20052003
20021999Wrote 6 papers:
- POPL-2006-BishopFNSSW #implementation #logic #specification #testing
- Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations (SB, MF, MN, PS, MS, KW), pp. 55–66.
- ICFP-2005-SewellLWNAHV #design #distributed #named #programming language
- Acute: high-level programming language design for distributed computation (PS, JJL, KW, FZN, MAW, PH, VV), pp. 15–26.
- ICFP-2003-BiermanHSSW #question
- Dynamic rebinding for marshalling and update, with destruct-time? (GMB, MWH, PS, GS, KW), pp. 99–110.
- ICFP-2003-LeiferPSW
- Global abstraction-safe marshalling with hash types (JJL, GP, PS, KW), pp. 87–98.
- ESOP-2002-WansbroughNSS #semantics #thread
- Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (KW, MN, PS, AS), pp. 278–294.
- POPL-1999-WansbroughJ #polymorphism
- Once Upon a Polymorphic Type (KW, SLPJ), pp. 15–28.