1. The distributed V kernel and its performance for diskless workstations
2. , , , , and , ‘Mach: a new kernel foundation for Unix development’, Proceedings Summer Usenix, July 1986.
3. , and , ‘Recovery management in Quick Silvert’, Proceedings of the 11th Symposium on Operating Systems Principles, November 1987.
4. and , ‘Accent: a communication oriented network operating system kernel’, Proceedings of the 8th Symposium on Operating Systems Principles, December 1981, pp. 64–75.
5. , , , , , and , ‘The architecture of Ra: a kernel for Clouds’, Proceedings of the Twenty-Second Annual Hawaü International Conference on System Sciences, January 1989.