Travelled to:1 × Finland
1 × Germany
1 × Ireland
2 × Sweden
2 × USA
Collaborated with:∅ P.Sewell S.Owens M.Norrish S.Sarkar F.Z.Nardelli T.Tuerk D.P.Mulligan K.E.Gray D.Sheets A.Giugliano A.Madhavapeddy G.Peskine R.Strnisa T.Braibant M.O.Myreen J.Alglave V.Klebanov P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens N.Polikarpova J.Smans S.Tobies M.Ulbrich B.Weiß
Talks about:approach (2) verifi (2) system (2) semant (2) world (2) oracl (2) real (2) multiprocessor (1) semanticist (1) implement (1)
Person: Tom Ridge
DBLP: Ridge:Tom
Contributed to:
2015
2014
2014
2011
200920082007Wrote 8 papers:
- SOSP-2015-RidgeSTGMS #file system #named #specification #testing
- SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
- ICFP-2014-MulliganOGRS #named #reuse #semantics
- Lem: reusable engineering of real-world semantics (DPM, SO, KEG, TR, PS), pp. 175–188.
- SLE-2014-Ridge #combinator #context-free grammar #parsing #performance #using
- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle (TR), pp. 261–281.
- FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
- The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
- POPL-2009-Ridge #approach #distributed #verification
- Verifying distributed systems: the operational approach (TR), pp. 429–440.
- POPL-2009-SarkarSNORBMA #multi #semantics
- The semantics of x86-CC multiprocessor machine code (SS, PS, FZN, SO, TR, TB, MOM, JA), pp. 379–391.
- FM-2008-RidgeNS #approach #implementation #network #protocol
- A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service (TR, MN, PS), pp. 294–309.
- ICFP-2007-SewellNOPRSS #effectiveness #named #semantics #tool support
- Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.