Tom Ridge
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Lem: reusable engineering of real-world semantics
Dominic P. Mulligan and others (2014) · ACM SIGPLAN International Conference on Functional Programming (ICFP)
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
The semantics of x86-CC multiprocessor machine code
Susmit Sarkar and others (2009) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic
Tom Ridge and others (2005) · Theorem Proving in Higher Order Logics · Springer