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 × Denmark
1 × France
2 × United Kingdom
9 × USA
Collaborated with:
D.Stefan M.F.Kaashoek D.Terei A.Russo E.Z.Yang A.J.Mashtizadeh A.Levy J.C.Mitchell M.Kaminsky A.Bittau E.Kohler M.N.Krohn A.Muthitacharoen B.Chen K.Fu Y.F.Huang N.Zeldovich S.Boyd-Wickizer J.Li D.Shasha G.Savvides E.Witchel S.Marlow S.L.P.Jones A.A.Levy T.Garfinkel M.Rosenblum P.Buiras A.Belay C.Kozyrakis P.Marchenko D.Herman B.Karp D.B.Giffin J.B.Chen Y.Endo K.Chan A.Dias M.I.Seltzer M.D.Smith P.Efstathopoulos S.Vandebogart C.Frey D.Ziegler R.Morris D.R.Engler G.R.Ganger H.M.Briceño R.Hunt T.Pinckney R.Grimm J.Jannotti K.Mackenzie
Talks about:
system (10) file (5) secur (4) inform (3) haskel (3) applic (3) user (3) safe (3) flow (3) untrust (2)

Person: David Mazières

DBLP DBLP: Mazi=egrave=res:David

Contributed to:

OSDI 20142014
PLDI 20142014
SOSP 20132013
ICFP 20122012
OSDI 20122012
OSDI 20062006
SOSP 20052005
OSDI 20042004
SOSP 20032003
SOSP 20012001
OSDI 20002000
SOSP 19991999
SOSP 19971997
SOSP 19951995
Haskell 20112011
Haskell 20122012
Haskell 20142014
ASPLOS 20172017

Wrote 20 papers:

OSDI-2014-StefanYMRHKM #javascript
Protecting Users by Confining JavaScript with COWL (DS, EZY, PM, AR, DH, BK, DM), pp. 131–146.
PLDI-2014-YangM #haskell
Dynamic space limits for Haskell (EZY, DM), p. 59.
SOSP-2013-MashtizadehBHM #file system #replication
Replication, history, and grafting in the Ori file system (AJM, AB, YFH, DM), pp. 151–166.
ICFP-2012-StefanRBLMM #concurrent #data flow #termination
Addressing covert termination and timing channels in concurrent information flow systems (DS, AR, PB, AL, JCM, DM), pp. 201–214.
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.
OSDI-2006-ZeldovichBKM #data flow
Making Information Flow Explicit in HiStar (NZ, SBW, EK, DM), pp. 263–278.
SOSP-2005-EfstathopoulosKVFZKMKM #operating system #process
Labels and event processes in the Asbestos operating system (PE, MNK, SV, CF, DZ, EK, DM, MFK, RM), pp. 17–30.
OSDI-2004-LiKMS #repository
Secure Untrusted Data Repository (SUNDR) (JL, MNK, DM, DS), pp. 121–136.
SOSP-2003-KaminskySMK #authentication #distributed #file system
Decentralized user authentication in a global file system (MK, GS, DM, MFK), pp. 60–73.
SOSP-2001-MuthitacharoenCM #file system #network
A Low-Bandwidth Network File System (AM, BC, DM), pp. 174–187.
OSDI-2000-FuKM #distributed #file system #performance
Fast and Secure Distributed Read-Only File System (KF, MFK, DM), pp. 181–196.
SOSP-1999-MazieresKKW #file system #security
Separating key management from file system security (DM, MK, MFK, EW), pp. 124–139.
SOSP-1997-KaashoekEGBHMPGM #flexibility #kernel #performance
Application Performance and Flexibility on Exokernel Systems (MFK, DRE, GRG, HMB, RH, DM, TP, RG, JJ, KM), pp. 52–65.
SOSP-1995-ChenECMDSS #operating system #performance
The Measured Performance of Personal Computer Operating Systems (JBC, YE, KC, DM, AD, MIS, MDS), pp. 299–313.
Haskell-2011-StefanRMM #data flow #flexibility #haskell #information management
Flexible dynamic information flow control in Haskell (DS, AR, JCM, DM), pp. 95–106.
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.
Building secure systems with LIO (demo) (DS, AL, AR, DM), pp. 93–94.
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.