Matthew Fairbairn

According to our database, Matthew Fairbairn authored at least 4 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• 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

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

Mechanized Metatheory for the Masses: The PoplMark Challenge.

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 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