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 × Portugal
2 × USA
Collaborated with:
E.G.Sirer K.Walsh D.Williams F.B.Schneider M.K.Aguilera J.C.Mogul J.L.Wiener A.Muthitacharoen W.d.Bruijn A.Shieh
Talks about:
trustworthi (1) architectur (1) distribut (1) perform (1) system (1) safeti (1) mechan (1) driver (1) comput (1) author (1)

Person: Patrick Reynolds

DBLP DBLP: Reynolds:Patrick

Contributed to:

SOSP 20112011
OSDI 20082008
SOSP 20032003

Wrote 3 papers:

SOSP-2011-SirerBRSWWS #architecture #logic
Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.
OSDI-2008-WilliamsRWSS #safety #validation
Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
SOSP-2003-AguileraMWRM #black box #debugging #distributed #performance
Performance debugging for distributed systems of black boxes (MKA, JCM, JLW, PR, AM), pp. 74–89.

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.