@inproceedings {222567,
	author = {Atalay Ileri and Tej Chajed and Adam Chlipala and Frans Kaashoek and Nickolai Zeldovich},
	title = {Proving confidentiality in a file system using {DiskSec}},
	booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)},
	year = {2018},
	isbn = {978-1-939133-08-3},
	address = {Carlsbad, CA},
	pages = {323--338},
	url = {https://www.usenix.org/conference/osdi18/presentation/ileri},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {222565,
	author = {Tej Chajed and Frans Kaashoek and Butler Lampson and Nickolai Zeldovich},
	title = {Verifying concurrent software using movers in {CSPEC}},
	booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)},
	year = {2018},
	isbn = {978-1-939133-08-3},
	address = {Carlsbad, CA},
	pages = {306--322},
	url = {https://www.usenix.org/conference/osdi18/presentation/chajed},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {266709,
	author = {Jacob Strauss and Justin Mazzola Paluska and Chris Lesniewski-Laas and Bryan Ford and Robert Morris and Frans Kaashoek},
	title = {Eyo: {Device-Transparent} Personal Storage},
	booktitle = {2011 USENIX Annual Technical Conference (USENIX ATC 11)},
	year = {2011},
	address = {Portland, OR},
	url = {https://www.usenix.org/conference/usenixatc11/eyo-device-transparent-personal-storage},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {267960,
	author = {Silas Boyd-Wickizer and Haibo Chen and Rong Chen and Yandong Mao and Frans Kaashoek and Robert Morris and Aleksey Pesterev and Lex Stein and Ming Wu and Yuehua Dai and Yang Zhang and Zheng Zhang},
	title = {Corey: An Operating System for Many Cores},
	booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)},
	year = {2008},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/osdi-08/corey-operating-system-many-cores},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {268833,
	author = {Bryan Ford and Jacob Strauss and Chris Lesniewski-Laas and Sean Rhea and Frans Kaashoek and Robert Morris},
	title = {Persistent Personal Names for Globally Connected Mobile Devices},
	booktitle = {3rd USENIX Workshop on Real, Large Distributed Systems (WORLDS 06)},
	year = {2006},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/worlds-06/persistent-personal-names-globally-connected-mobile-devices},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {268812,
	author = {Bryan Ford and Jacob Strauss and Chris Lesniewski-Laas and Sean Rhea and Frans Kaashoek and Robert Morris},
	title = {Persistent Personal Names for Globally Connected Mobile Devices},
	booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)},
	year = {2006},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-06/persistent-personal-names-globally-connected-mobile-devices},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {270262,
	author = {Godfrey Tan and Massimiliano Poletto and John Guttag and Frans Kaashoek},
	title = {Role Classification of Hosts Within Enterprise Networks},
	booktitle = {2003 USENIX Annual Technical Conference (USENIX ATC 03)},
	year = {2003},
	address = {San Antonio, TX},
	url = {https://www.usenix.org/conference/2003-usenix-annual-technical-conference/role-classification-hosts-within-enterprise},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {260130,
	author = {Fred Douglis and Ramon Caceres and Frans Kaashoek and Kai Li and Brian Marsh and Joshua A. Tauber},
	title = {Storage Alternatives for Mobile Computers},
	booktitle = {First Symposium on Operating Systems Design and Implementation (OSDI 94)},
	year = {1994},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/osdi-94/storage-alternatives-mobile-computers},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {252162,
	author = {Raoul Bhoedjang and Tim Ruhl and Rutger Hofman and Koen Langendoen and Henri Bal and Frans Kaashoek},
	title = {Panda: A Portable Platform to Support Parallel Programming Languages},
	booktitle = {USENIX Experiences with Distributed and Multiprocessor Systems (SEDMS IV)},
	year = {1993},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/sedms-iv/panda-portable-platform-support-parallel-programming-languages},
	publisher = {USENIX Association},
	month = sep
}
