Author of the publication

Extensibility, Safety and Performance in the SPIN Operating System.

, , , , , , , and . SOSP, page 267-284. ACM, (1995)Operating System Review 29(5).

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Recovering device drivers., , , and . ACM Trans. Comput. Syst., 24 (4): 333-360 (2006)Diffusive parallelism: a parallel programming model for large scale distributed computation systems., and . ACM SIGOPS European Workshop, ACM, (1992)An Extensible Protocol Architecture for Application-Specific Networking., and . USENIX Annual Technical Conference, page 55-64. USENIX Association, (1996)Thread Management for Shared-Memory Multiprocessors., , , and . Computing Handbook, 3rd ed. (1), CRC Press, (2014)Using Computers to Diagnose Computer Problems., , and . HotOS, page 91-86. USENIX, (2003)The increasing irrelevance of IPC Performance for Micro-kernel-Based Operating Systems.. USENIX Workshop on Microkernels and Other Kernel Architectures, page 205-212. USENIX, (1992)A Remote Procedure Call Facility for Interconnecting Heterogeneous Computer Systems., , , , and . IEEE Trans. Software Eng., 13 (8): 880-894 (1987)Local Area Mobile Computing on Stock Hardware and Mostly Stock Software., and . Symposium on Mobile and Location-Independent Computing, USENIX Association, (1993)Consistency Management for Virtually Indexed Caches., and . ASPLOS, page 124-136. ACM Press, (1992)Recovering Device Drivers (Awarded Best Paper!)., , , and . OSDI, page 1-16. USENIX Association, (2004)