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 × France
1 × Portugal
2 × Canada
2 × United Kingdom
21 × USA
Collaborated with:
N.Zeldovich X.Wang R.Morris D.R.Engler D.Mazières E.Kohler A.T.Clements W.C.Hsieh H.E.Bal K.L.Johnson H.Chen A.S.Tanenbaum J.Jannotti D.A.Wallach M.Kaminsky T.Kim T.Chajed D.K.Gifford Y.Mao A.Yip Z.Metreveli K.Fu M.Poletto J.O'Toole S.Ghemawat B.Liskov W.d.Jonge M.N.Krohn A.Solar-Lezama S.Tu S.Madden G.Savvides D.G.Andersen H.Balakrishnan E.Witchel R.v.Renesse H.v.Staveren J.Tassarotti K.Mackenzie S.Boyd-Wickizer A.Pesterev M.Wu Z.Zhang R.T.Morris Z.Jia R.Cox T.Bergan F.Dabek D.R.Karger I.Stoica J.O.Jr. W.E.Weihl A.D.Joseph A.F.deLespinasse J.A.Tauber D.Ziegler A.Chlipala D.Zhou B.Ford J.Strauss C.Lesniewski-Laas S.C.Rhea M.Z.Brodsky N.Cliffer J.Kubiatowicz M.Frank W.Lee V.Lee A.Agarwal Z.Guo J.Tang X.Liu Z.Xu P.Efstathopoulos S.Vandebogart C.Frey D.Ziegler G.R.Ganger H.M.Briceño R.Hunt T.Pinckney R.Grimm H.Chen R.Chen L.Stein Y.Dai Y.Zhang
Talks about:
system (16) use (6) distribut (5) applic (5) file (5) scalabl (4) object (4) improv (4) secur (4) level (4)

Person: M. Frans Kaashoek

DBLP DBLP: Kaashoek:M=_Frans

Facilitated 2 volumes:

SOSP 2007Ed
OSDI 2000Ed

Contributed to:

SOSP 20152015
OSDI 20142014
SOSP 20132013
VLDB 20132013
ASPLOS 20122012
OSDI 20122012
PPoPP 20122012
SOSP 20112011
OSDI 20102010
SOSP 20092009
ASPLOS 20082008
OSDI 20082008
SOSP 20072007
OSDI 20062006
SOSP 20052005
SOSP 20032003
SOSP 20012001
OSDI 20002000
SOSP 19991999
HPCA 19981998
PLDI 19971997
SOSP 19971997
POPL 19961996
PPoPP 19951995
SOSP 19951995
HPDC 19931993
OOPSLA 19931993
SOSP 19931993
SOSP 19911992
PLDI 20192019

Wrote 39 papers:

SOSP-2015-ChenZCCKZ #file system #hoare #logic #using
Using Crash Hoare logic for certifying the FSCQ file system (HC, DZ, TC, AC, MFK, NZ), pp. 18–37.
OSDI-2014-ChenKWZK #identification #web
Identifying Information Disclosure in Web Applications with Retroactive Auditing (HC, TK, XW, NZ, MFK), pp. 555–569.
SOSP-2013-ClementsKZMK #commutative #design #manycore #scalability
The scalable commutativity rule: designing scalable software for multicore processors (ATC, MFK, NZ, RTM, EK), pp. 1–17.
SOSP-2013-WangZKS #behaviour #towards
Towards optimization-safe systems: analyzing the impact of undefined behavior (XW, NZ, MFK, ASL), pp. 260–275.
VLDB-2013-TuKMZ #query
Processing Analytical Queries over Encrypted Data (ST, MFK, SM, NZ), pp. 289–300.
ASPLOS-2012-ClementsKZ #scalability #using
Scalable address spaces using RCU balanced trees (ATC, MFK, NZ), pp. 199–210.
OSDI-2012-WangCJZK #integer #security
Improving Integer Security for Systems with KINT (XW, HC, ZJ, NZ, MFK), pp. 163–177.
PPoPP-2012-MetreveliZK #named
CPHASH: a cache-partitioned hash table (ZM, NZ, MFK), pp. 319–320.
SOSP-2011-MaoCZWZK #api #fault #multi
Software fault isolation with API integrity and multi-principal modules (YM, HC, DZ, XW, NZ, MFK), pp. 115–128.
OSDI-2010-Boyd-WickizerCMPKMZ #analysis #linux #scalability
An Analysis of Linux Scalability to Many Cores (SBW, ATC, YM, AP, MFK, RM, NZ), pp. 1–16.
OSDI-2010-KimWZK #using
Intrusion Recovery Using Selective Re-execution (TK, XW, NZ, MFK), pp. 89–104.
SOSP-2009-YipWZK #data flow #security
Improving application security with data flow assertions (AY, XW, NZ, MFK), pp. 291–304.
ASPLOS-2008-CoxBCKK #compilation #programming
Xoc, an extension-oriented compiler for systems programming (RC, TB, ATC, MFK, EK), pp. 244–254.
OSDI-2008-Boyd-WickizerCCMKMPSWDZZ #named #operating system
Corey: An Operating System for Many Cores (SBW, HC, RC, YM, MFK, RM, AP, LS, MW, YhD, YZ, ZZ), pp. 43–57.
OSDI-2008-GuoWTLXWKZ #kernel #named
R2: An Application-Level Kernel for Record and Replay (ZG, XW, JT, XL, ZX, MW, MFK, ZZ), pp. 193–208.
SOSP-2007-KrohnYBCKKM #abstraction #data flow #standard
Information flow control for standard OS abstractions (MNK, AY, MZB, NC, MFK, EK, RM), pp. 321–334.
OSDI-2006-FordSLRKM #mobile #persistent
Persistent Personal Names for Globally Connected Mobile Devices (BF, JS, CLL, SCR, MFK, RM), pp. 233–248.
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.
SOSP-2003-KaminskySMK #authentication #distributed #file system
Decentralized user authentication in a global file system (MK, GS, DM, MFK), pp. 60–73.
SOSP-2001-AndersenBKM #network
Resilient Overlay Networks (DGA, HB, MFK, RM), pp. 131–145.
Wide-Area Cooperative Storage with CFS (FD, MFK, DRK, RM, IS), pp. 202–215.
OSDI-2000-FuKM #distributed #file system #performance
Fast and Secure Distributed Read-Only File System (KF, MFK, DM), pp. 181–196.
OSDI-2000-JannottiGJKO #multi #named #network #reliability
Overcast: Reliable Multicasting with an Overlay Network (JJ, DKG, KLJ, MFK, JOJ), pp. 197–212.
SOSP-1999-MazieresKKW #file system #security
Separating key management from file system security (DM, MK, MFK, EW), pp. 124–139.
SOSP-1999-MorrisKJK #composition
The Click modular router (RM, EK, JJ, MFK), pp. 217–231.
HPCA-1998-MackenzieKFLLAK #performance
Exploiting Two-Case Delivery for Fast Protected Messaging (KM, JK, MF, WL, VL, AA, MFK), pp. 231–242.
PLDI-1997-PolettoEK #code generation #flexibility #named #performance
tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation (MP, DRE, MFK), pp. 109–121.
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.
POPL-1996-EnglerHK #code generation #independence #performance
‘C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation (DRE, WCH, MFK), pp. 131–144.
PPoPP-1995-WallachHJKW #communication #scheduling
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (DAW, WCH, KLJ, MFK, WEW), pp. 217–226.
SOSP-1995-EnglerKO #architecture #kernel #named #operating system #resource management
Exokernel: An Operating System Architecture for Application-Level Resource Management (DRE, MFK, JO), pp. 251–266.
SOSP-1995-GhemawatKL #database #object-oriented #performance #using
Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database (SG, MFK, BL), p. 235.
SOSP-1995-JohnsonKW #distributed #memory management #named
CRL: High-Performance All-Software Distributed Shared Memory (KLJ, MFK, DAW), pp. 213–228.
SOSP-1995-JosephdTGK #information management #mobile #named #tool support
Rover: A Toolkit for Mobile Information Access (ADJ, AFd, JAT, DKG, MFK), pp. 156–171.
HPDC-1993-TanenbaumBK #distributed #programming #using
Programming a Distributed System Using Shared Objects (AST, HEB, MFK), pp. 5–12.
OOPSLA-1993-BalK #runtime #using
Object Distribution in Orca using Compile-Time and Run-Time Techniques (HEB, MFK), pp. 162–177.
SOSP-1993-JongeKH #approach #file system #logic
The Logical Disk: A New Approach to Improving File Systems (WdJ, MFK, WCH), pp. 15–28.
SOSP-WIP-1991-KasshoekRST92 #distributed #protocol
FLIP; an Internetwork Protocol for Supporting Distributed Systems (MFK, RvR, HvS, AST), p. 29.
PLDI-2019-ChajedTKZ #named #refinement #verification
Argosy: verifying layered storage systems with recovery refinement (TC, JT, MFK, NZ), pp. 1054–1068.

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.