Person: M. Frans Kaashoek

DBLP: Kaashoek:M=_Frans

Facilitated 2 volumes:

Ed

Ed

Contributed to:

2015

2014

2013

2013

2012

2012

2012

2011

2010

2009

2008

2008

2007

2006

2005

2003

2001

2000

1999

1998

1997

1997

1996

1995

1995

1993

1993

1993

1992

2019

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.

SOSP-2001-DabekKKMS

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.