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 P.Reynolds D.Williams F.B.Schneider W.d.Bruijn A.Shieh A.Vahdat K.Yocum P.Mahadevan D.Kostic J.S.Chase D.Becker
Talks about:
trustworthi (1) architectur (1) accuraci (1) scalabl (1) network (1) safeti (1) mechan (1) driver (1) comput (1) author (1)

Person: Kevin Walsh

DBLP DBLP: Walsh:Kevin

Contributed to:

SOSP 20112011
OSDI 20082008
OSDI 20022002

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.
OSDI-2002-VahdatYWMKCB #network #scalability
Scalability and Accuracy in a Large-Scale Network Emulator (AV, KY, KW, PM, DK, JSC, DB), pp. 271–284.

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.