Tom Ridge

According to our database, Tom Ridge authored at least 20 papers between 2004 and 2019.

Collaborative distances:

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

2017

Direct Interpretation of Functional Programs for Debugging.

John G. Whitington, Tom Ridge

Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2017

Visualizing the Evaluation of Functional Programs for Debugging.

John G. Whitington, Tom Ridge

Proceedings of the 6th Symposium on Languages, Applications and Technologies, 2017

2015

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems.

Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

2014

Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle.

Tom Ridge

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Lem: reusable engineering of real-world semantics.

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2011

The 1st Verified Software Competition: Experience Report.

Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß

Proceedings of the FM 2011: Formal Methods, 2011

Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars.

Tom Ridge

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

Ott: Effective tool support for the working semanticist.

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa

J. Funct. Program., 2010

A Rely-Guarantee Proof System for x86-TSO.

Tom Ridge

Proceedings of the Verified Software: Theories, 2010

2009

The semantics of x86-CC multiprocessor machine code.

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Verifying distributed systems: the operational approach.

Tom Ridge

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.

Tom Ridge, Michael Norrish, Peter Sewell

Proceedings of the FM 2008: Formal Methods, 2008

2007

Operational Reasoning for Concurrent Caml Programs and Weak Memory Models.

Tom Ridge

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2006

Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL

Tom Ridge

CoRR, 2006

Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.

Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell

Proceedings of the 14th IEEE International Conference on Network Protocols, 2006

2005

A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic.

Tom Ridge, James Margetson

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2004

A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic.

Tom Ridge

Arch. Formal Proofs, 2004

Ramsey's theorem, infinitary version.

Tom Ridge

Arch. Formal Proofs, 2004

Completeness theorem.

James Margetson, Tom Ridge

Arch. Formal Proofs, 2004