BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
M.Rosenblum D.Boneh B.Pfaff J.Chow A.J.Mashtizadeh D.Terei D.Mazières X.Chen E.C.Lewis P.Subrahmanyam C.A.Waldspurger J.S.Dwoskin D.R.K.Ports
Talks about:
virtual (2) base (2) overshadow (1) retrofit (1) platform (1) approach (1) protect (1) practic (1) default (1) toward (1)

Person: Tal Garfinkel

DBLP DBLP: Garfinkel:Tal

Contributed to:

ASPLOS 20082008
SOSP 20032003
ASPLOS 20172017

Wrote 3 papers:

ASPLOS-2008-ChenGLSWBDP #approach #named #operating system
Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems (XC, TG, ECL, PS, CAW, DB, JSD, DRKP), pp. 2–13.
SOSP-2003-GarfinkelPCRB #framework #named #platform #virtual machine
Terra: a virtual machine-based platform for trusted computing (TG, BP, JC, MR, DB), pp. 193–206.
ASPLOS-2017-MashtizadehGTMR #manycore #towards
Towards Practical Default-On Multi-Core Record/Replay (AJM, TG, DT, DM, MR), pp. 693–708.

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.