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 × Canada
1 × Turkey
1 × United Kingdom
5 × USA
Collaborated with:
P.M.Chen M.Hicks G.W.Dunlap J.Torrellas S.Tang H.Mai A.Lenharth V.S.Adve C.Sturton J.M.Smith P.Montesinos A.Cozzie F.Stratton H.Xue A.Joshi S.Cinar M.A.Basrai N.Honarmand N.Dautenhahn G.Pokam C.Pereira
Talks about:
replay (4) intrus (3) softwar (2) protect (2) system (2) oper (2) multiprocessor (1) lightweight (1) determinist (1) processor (1)

Person: Samuel T. King

DBLP DBLP: King:Samuel_T=

Contributed to:

ASPLOS 20152015
ASPLOS 20132013
OSDI 20102010
ASPLOS 20092009
OSDI 20082008
SOSP 20052005
SOSP 20032003
OSDI 20022002

Wrote 9 papers:

ASPLOS-2015-HicksSKS #debugging #lightweight #named #runtime #specification
SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.
ASPLOS-2013-HonarmandDTKPP #named #parallel
Cyrus: unintrusive application-level record-replay for replay parallelism (NH, ND, JT, STK, GP, CP), pp. 193–206.
OSDI-2010-TangMK #operating system #trust
Trust and Protection in the Illinois Browser Operating System (ST, HM, STK), pp. 17–32.
ASPLOS-2009-LenharthAK #operating system
Recovery domains: an organizing principle for recoverable operating systems (AL, VSA, STK), pp. 49–60.
ASPLOS-2009-MontesinosHKT #interface #multi #named
Capo: a software-hardware interface for practical deterministic multiprocessor replay (PM, MH, STK, JT), pp. 73–84.
OSDI-2008-CozzieSXK #data type
Digging for Data Structures (AC, FS, HX, STK), pp. 255–266.
SOSP-2005-JoshiKDC #detection
Detecting past and present intrusions through vulnerability-specific predicates (AJ, STK, GWD, PMC), pp. 91–104.
SOSP-2003-KingC #backtracking
Backtracking intrusions (STK, PMC), pp. 223–236.
OSDI-2002-DunlapKCBC #analysis #named
ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay (GWD, STK, SC, MAB, PMC), pp. 211–224.

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.