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: King:Samuel_T=
Contributed to:
20152013
201020092008
200520032002Wrote 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.