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 × USA
1 × United Kingdom
Collaborated with:
D.Mazières D.Stefan A.J.Mashtizadeh A.Aiken J.Vitek S.Marlow S.L.P.Jones A.A.Levy T.Garfinkel M.Rosenblum A.Belay A.Bittau C.Kozyrakis D.B.Giffin A.Levy J.C.Mitchell A.Russo
Talks about:
safe (3) applic (2) web (2) privileg (1) untrust (1) protect (1) privaci (1) practic (1) perform (1) default (1)

Person: David Terei

DBLP DBLP: Terei:David

Contributed to:

ISMM 20142014
OSDI 20122012
Haskell 20122012
Haskell 20142014
ASPLOS 20172017

Wrote 6 papers:

ISMM-2014-TereiAV #component #memory management #named #off the shelf
M3: high-performance memory management from off-the-shelf components (DT, AA, JV), pp. 3–13.
OSDI-2012-BelayBMTMK #cpu #named
Dune: Safe User-level Access to Privileged CPU Features (AB, AB, AJM, DT, DM, CK), pp. 335–348.
OSDI-2012-GiffinLSTMMR #named #privacy #web
Hails: Protecting Data Privacy in Untrusted Web Applications (DBG, AL, DS, DT, DM, JCM, AR), pp. 47–60.
Haskell-2012-TereiMJM #haskell
Safe haskell (DT, SM, SLPJ, DM), pp. 137–148.
Haskell-2014-LevyTSM #web
Demo proposal: making web applications -XSafe (AAL, DT, DS, DM), p. 91.
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.