| 2009 |
|---|
| 8 | EE | 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: 379-391 |
| 7 | EE | Tom Ridge:
Verifying distributed systems: the operational approach.
POPL 2009: 429-440 |
| 2008 |
|---|
| 6 | EE | Tom Ridge,
Michael Norrish,
Peter Sewell:
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.
FM 2008: 294-309 |
| 2007 |
|---|
| 5 | EE | 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: 1-12 |
| 4 | EE | Tom Ridge:
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models.
TPHOLs 2007: 278-293 |
| 2006 |
|---|
| 3 | EE | Adam Biltcliffe,
Michael Dales,
Sam Jansen,
Tom Ridge,
Peter Sewell:
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.
ICNP 2006: 117-126 |
| 2 | EE | Tom Ridge:
Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL
CoRR abs/cs/0607058: (2006) |
| 2005 |
|---|
| 1 | EE | Tom Ridge,
James Margetson:
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic.
TPHOLs 2005: 294-309 |
