Tom Ridge

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 3

Top Topics

Specification Languages

Oracle Database

Functional Programs

Top Venues

Publications

Steve Bishop, Matthew Fairbairn, Hannes Mehnert, Michael Norrish, Tom Ridge, Peter Sewell, Michael Smith, Keith Wansbrough
Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API. J. ACM 66 (1) (2019)
John G. Whitington, Tom Ridge
Direct Interpretation of Functional Programs for Debugging. ML/OCaml (2017)
John G. Whitington, Tom Ridge
Visualizing the Evaluation of Functional Programs for Debugging. SLATE (2017)
Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. SOSP (2015)
Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell
Lem: reusable engineering of real-world semantics. ICFP (2014)
Tom Ridge
Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle. SLE (2014)
Tom Ridge
Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars. CPP (2011)
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ß
The 1st Verified Software Competition: Experience Report. FM (2011)
Tom Ridge
A Rely-Guarantee Proof System for x86-TSO. VSTTE (2010)
Tom Ridge
Verifying distributed systems: the operational approach. POPL (2009)
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave
The semantics of x86-CC multiprocessor machine code. POPL (2009)
Tom Ridge, Michael Norrish, Peter Sewell
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. FM (2008)
Tom Ridge
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models. TPHOLs (2007)
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa
Ott: effective tool support for the working semanticist. ICFP (2007)
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. ICNP (2006)
Tom Ridge
Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL CoRR (2006)
Tom Ridge, James Margetson
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. TPHOLs (2005)
James Margetson, Tom Ridge
Completeness theorem. Arch. Formal Proofs 2004 (2004)
Tom Ridge
A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic. Arch. Formal Proofs 2004 (2004)
Tom Ridge
Ramsey's theorem, infinitary version. Arch. Formal Proofs 2004 (2004)