USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 9 results:
Filters: Author is Frans Kaashoek [Clear All Filters]
Proving confidentiality in a file system using DiskSec. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :323--338.
.
2018. Verifying concurrent software using movers in CSPEC. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :306--322.
.
2018. Eyo: Device-Transparent Personal Storage. 2011 USENIX Annual Technical Conference (USENIX ATC 11).
.
2011. Corey: An Operating System for Many Cores. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
.
2008. Persistent Personal Names for Globally Connected Mobile Devices. 3rd USENIX Workshop on Real, Large Distributed Systems (WORLDS 06).
.
2006. Persistent Personal Names for Globally Connected Mobile Devices. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
.
2006. Role Classification of Hosts Within Enterprise Networks. 2003 USENIX Annual Technical Conference (USENIX ATC 03).
.
2003. Storage Alternatives for Mobile Computers. First Symposium on Operating Systems Design and Implementation (OSDI 94).
.
1994. Panda: A Portable Platform to Support Parallel Programming Languages. USENIX Experiences with Distributed and Multiprocessor Systems (SEDMS IV).
.
1993.