Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Tom Ridge
Observed name:
Ridge, Tom
Institution:
University of Leicester
Observed institutions:
University of Leicester,
University of Cambridge,
University of Edinburgh
OpenAlex ID:
A5076207189
The semantics of x86-CC multiprocessor machine code
2009
·
Susmit Sarkar
, Peter Sewell
, et al.
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
164
Lem
2014
·
Dominic P. Mulligan
, Scott Owens
, et al.
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
94
PDF
The 1st Verified Software Competition: Experience Report
2011
·
Vladimir Klebanov
, Peter Müller
, et al.
·
Lecture notes in computer science
·
87
SibylFS
2015
·
Tom Ridge
, David Sheets
, et al.
·
ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
·
66
PDF
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic
2005
·
Tom Ridge
, James Margetson
·
Lecture notes in computer science
·
51
A Rely-Guarantee Proof System for x86-TSO
2010
·
Tom Ridge
·
Lecture notes in computer science
·
47
The semantics of x86-CC multiprocessor machine code
2009
·
Susmit Sarkar
, Peter Sewell
, et al.
·
ACM SIGPLAN Notices
·
44
Lem
2014
·
Dominic P. Mulligan
, Scott Owens
, et al.
·
ACM SIGPLAN Notices
·
29
Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
2011
·
Tom Ridge
·
Lecture notes in computer science
·
29
Engineering with Logic
2018
·
Steve Bishop
, Matthew Fairbairn
, et al.
·
Journal of the ACM
·
23
PDF
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
2008
·
Tom Ridge
, Michael Norrish
, et al.
·
Springer eBooks
·
16
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
2007
·
Tom Ridge
·
Lecture notes in computer science
·
12
A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic.
2004
·
Tom Ridge
·
Arch. Formal Proofs
·
11
Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle
2014
·
Tom Ridge
·
Lecture notes in computer science
·
7
Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL
2006
·
Ridge, Tom
·
arXiv (Cornell University)
·
7
PDF
Visualizing the Evaluation of Functional Programs for Debugging
2017
·
Whitington, John
, Ridge, Tom
·
arXiv (Cornell University)
·
4
PDF
Direct Interpretation of Functional Programs for Debugging
2019
·
John Whitington
, Tom Ridge
·
Electronic Proceedings in Theoretical Computer Science
·
2
The critical role of hospitals involved in national bioterrorism preparedness.
2002
·
Tom Ridge
·
PubMed
·
2
The 1st Verified Software Competition, Extended Experience Report
2011
·
Péter Müller
, Natarajan Shankar
, et al.
·
Maynooth University ePrints and eTheses Archive (Maynooth University)
·
1
PDF
A mechanically verified, sound and complete theorem prover for first order logic
2005
·
Tom Ridge
, James Margetson
Ramsey's theorem, infinitary version.
2004
·
Tom Ridge
·
Arch. Formal Proofs
Show more works
View as search
Works count:
25
Citation count:
696
H-index:
12
I10-index:
13
Year
Topic
Type
