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}).