Dr. Yair Wiseman's home page

A. S. Tanenbaum, J. N. Herder and H. Bos, "Can We Make Operating Systems Reliable and Secure?", IEEE Computer, Vol. 39(5), pp. 44-51, May 2006.

S. Hand, A. Warfield, K. Fraser, E. Kotsovinos and D. Magenheimer, "Are Virtual Machine Monitors Microkernels Done Right?", Proceedings of the Tenth Workshop on Hot Topics in Operating Systems (HotOS-X), June 12-15, Santa-Fe, NM, 2005.
J. Liedtke, "Toward Real MicroKernels", Communications of the ACM, Vol. 39(9), September 1996.
J. Liedtke, "On Micro-Kernel Construction", Proceedings of the 15th ACM Symposium on Operating System Principles, ACM, December 1995.
D. B. Golub, R. Dean, A. Forin and R. F. Rashid. "Unix as an Application Program", Proceedings of the USENIX Summer Conference, June 1990.
P. Druschel, "Modularity and Protection are Orthogonal, or Why -kernel Architectures are Flawed" (Abstract), Operating Systems Review Vol. 26(2) p. 22, 1992.
R. V. Baron, D. Black, W. Bolosky, J. Chew, R. P. Draves, D. B. Golub, R. F. Rashid, A. Tevanian Jr., and M. W. Young, "Mach Kernel Interface Manual", School of Computer Science, Carnegie Mellon University. August 1990.
T. P. Scheuermann, "Evolution in Microkernel Design", Computer Science Department, University of North Carolina, Chapel Hill, NC, 2002.
The L4 MicroKernel
B. N. Bershad, C. Chambers, S. Eggers, C. Maeda, D. McNamee, P. Pardyak, S. Savage and E. Gun Sirer, "SPIN - An Extensible Microkernel for Application-specific Operating System Services", ACM Operating Systems Review, Vol. 29(1), January 1995.
D. R. Engler, "The Exokernel Operating System Architecture", Ph.D. thesis, Massachusetts Institute of Technology, October 1998.
T. Leschke, "Achieving Speed and Flexibility by Separating Management from Protection: Embracing the Exokernel Operating System", Operating Systems Review, Vol. 38(4), pp. 5-19, October 2004.
X. Lu and S. F. Smith, "A Microkernel Virtual Machine: Building Security with Clear Interfaces", ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, Ottawa, Canada, June 10, pp. 47-56, 2006.
T. Maeda, "Safe Execution of User Programs in Kernel Mode Using Typed Assembly Language", Master Thesis, The Graduate School of The University of Tokyo, February 2002.
G. Anzinger and N. Gamble, "Design of a Fully Preemptable Linux Kernel", MontaVista Software, September 2000.