Biblio

Export 9 results:
Filters: Author is Frans Kaashoek  [Clear All Filters]
2018
Ileri A, Chajed T, Chlipala A, Kaashoek F, Zeldovich N.  2018.  Proving confidentiality in a file system using DiskSec. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :323--338.
Chajed T, Kaashoek F, Lampson B, Zeldovich N.  2018.  Verifying concurrent software using movers in CSPEC. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :306--322.
2011
Strauss J, Paluska JMazzola, Lesniewski-Laas C, Ford B, Morris R, Kaashoek F.  2011.  Eyo: Device-Transparent Personal Storage. 2011 USENIX Annual Technical Conference (USENIX ATC 11).
2008
Boyd-Wickizer S, Chen H, Chen R, Mao Y, Kaashoek F, Morris R, Pesterev A, Stein L, Wu M, Dai Y et al..  2008.  Corey: An Operating System for Many Cores. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
2006
Ford B, Strauss J, Lesniewski-Laas C, Rhea S, Kaashoek F, Morris R.  2006.  Persistent Personal Names for Globally Connected Mobile Devices. 3rd USENIX Workshop on Real, Large Distributed Systems (WORLDS 06).
Ford B, Strauss J, Lesniewski-Laas C, Rhea S, Kaashoek F, Morris R.  2006.  Persistent Personal Names for Globally Connected Mobile Devices. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
2003
Tan G, Poletto M, Guttag J, Kaashoek F.  2003.  Role Classification of Hosts Within Enterprise Networks. 2003 USENIX Annual Technical Conference (USENIX ATC 03).
1994
Douglis F, Caceres R, Kaashoek F, Li K, Marsh B, Tauber JA.  1994.  Storage Alternatives for Mobile Computers. First Symposium on Operating Systems Design and Implementation (OSDI 94).
1993
Bhoedjang R, Ruhl T, Hofman R, Langendoen K, Bal H, Kaashoek F.  1993.  Panda: A Portable Platform to Support Parallel Programming Languages. USENIX Experiences with Distributed and Multiprocessor Systems (SEDMS IV).