BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ridge:Tom

Contributed to:

SOSP 20152015
ICFP 20142014
SLE 20142014
FM 20112011
POPL 20092009
FM 20082008
ICFP 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.