Bibliography

1

E.D. Lazowska B.N. Bershad, T.E. Anderson and H.M. Levy.
Lightweight remote procedure call.
In SOSP-12, 1989.

2

T. Chiueh, G. Venkitachalam, and P. Pradhan.
Integrating segmentation and paging protection for safe, efficient and transparent software extensions.
In SOSP-17, 1999.

3

A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler.
An empirical study of operating systems errors.
In SOSP-18, 2001.

4

J. B. Dennis and E. C. Van Horn.
Programming semantics for multiprogrammed computations.
CACM, 9(3):143-155, March 1966.

5

E. J. Koldinger, J. S. Chase, and S. J. Eggers.
Architectural support for single address space operating systems.
In ASPLOS-V, 1992.

6

M. Swift, S. Martin, H. M. Levy, and S. J. Eggers.
Nooks: an architecture for reliable device drivers.
In Proceedings SIGOPS-10, 2002.

7

E. Witchel, J. Cates, and K. Asanovic.
Mondrian memory protection.
In ASPLOS-X, Oct 2002.