Matthew Fairbairn

	2006
3		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: 55-66
	2005
2		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: 265-276
1		Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic: Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65

Coauthor Index

1	Brian E. Aydemir	[1]
2	Steve Bishop	[2] [3]
3	Aaron Bohannon	[1]
4	J. Nathan Foster	[1]
5	Michael Norrish	[2] [3]
6	Benjamin C. Pierce	[1]
7	Peter Sewell	[1] [2] [3]
8	Michael Smith	[2] [3]
9	Dimitrios Vytiniotis	[1]
10	Keith Wansbrough	[2] [3]
11	Geoffrey Washburn	[1]
12	Stephanie Weirich	[1]
13	Steve Zdancewic	[1]