Next: About this document ...
Up: Hardware Works, Software Doesn't:
E.D. Lazowska B.N. Bershad, T.E. Anderson and H.M. Levy.
Lightweight remote procedure call.
In SOSP-12, 1989.
T. Chiueh, G. Venkitachalam, and P. Pradhan.
Integrating segmentation and paging protection for safe, efficient
and transparent software extensions.
In SOSP-17, 1999.
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler.
An empirical study of operating systems errors.
In SOSP-18, 2001.
J. B. Dennis and E. C. Van Horn.
Programming semantics for multiprogrammed computations.
CACM, 9(3):143-155, March 1966.
E. J. Koldinger, J. S. Chase, and S. J. Eggers.
Architectural support for single address space operating systems.
In ASPLOS-V, 1992.
M. Swift, S. Martin, H. M. Levy, and S. J. Eggers.
Nooks: an architecture for reliable device drivers.
In Proceedings SIGOPS-10, 2002.
E. Witchel, J. Cates, and K. Asanovic.
Mondrian memory protection.
In ASPLOS-X, Oct 2002.