Bibliography

1

Intel Pentium Processor Family Developer's Manual.
Volume 3: Architecture and Programming Manual. Intel Corporation, Santa Clara, CA, 1995.

2

A. Banerji and D. L. Cohn.
An infrastructure for application-specific customization.
In Proceedings of the 6th Workshop on ACM SIGOPS European workshop, pages 154-159. ACM Press, 1994.

3

P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield.
Xen and the art of virtualization.
In Proceedings of the $19^{th}$ Symposium on Operating Systems Principles. ACM Press, October 2003.

4

B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers.
Extensibility safety and performance in the SPIN operating system.
In Proceedings of the $15^{th}$ ACM Symposium on Operating Systems Principles, pages 267-283. ACM Press, 1995.

5

H. Bos and B. Samwel.
Safe kernel programming in the OKE.
In Proceedings of the $5^{th}$ International Conference on Open Architectures and Network Programming, pages 141-152. IEEE, 2002.

6

F. E. Bustamante, G. Eisenhauer, P. Widener, K. Schwan, and C. Pu.
Active streams: An approach to adaptive distributed systems.
In Proceedings of the $8^{th}$ Workshop on Hot Topics in Operating Systems, 2001.

7

S. Chandra, C. S. Ellis, , and A. Vahdat.
Differentiated multimedia web services using quality aware transcoding.
In INFOCOM 2000 - Nineteenth Annual Joint Conference of the IEEE Computer And Communications Societies, March 2000.

8

T. Chiueh, G. Venkitachalam, and P. Pradhan.
Integrating segmentation and paging protection for safe, efficient and transparent software extensions.
In Proceedings of the $17^{th}$ ACM Symposium on Operating Systems Principles, pages 140-153. ACM Press, 1999.

9

Connectix, Corp.
The technology of Virtual PC, 2000.

10

G. Eisenhauer, F. E. Bustamante, and K. Schwan.
A middleware toolkit for client-initiated service specialization.
ACM SIGOPS Operating Systems Review, 35(2):7-20, July 2001.

11

D. R. Engler.
VCODE: a retargetable, extensible, very fast dynamic code generation system.
In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 160-170. ACM Press, 1996.

12

D. R. Engler, M. F. Kaashoek, and J. J. O'Toole.
Exokernel: an operating system architecture for application-level resource management.
In Proceedings of the $15^{th}$ ACM Symposium on Operating Systems Principles, pages 251-266. ACM Press, 1995.

13

A. Gavrilovska, K. Mackenzie, K. Schwan, and A. McDonald.
Stream handlers: Application-specific message services on attached network processors.
In Proceedings of the $10^{th}$ Symposium on High Performance Interconnects, August 2002.

14

A. C. Heursch, A. Horstkotte, and H. Rzehak.
Preemption concepts, Rhealstone benchmark and scheduler analysis of linux 2.4.
In Proceedings of the Real-Time & Embedded Computing Conference, November 2001.

15

J. Liedtke.
On $\mu$-kernel construction.
In Proceedings of the $15^{th}$ ACM Symposium on Operating Systems Principles, pages 237-250. ACM Press, 1995.

16

S. McCanne and V. Jacobson.
The BSD packet filter: a new architecture for user-level packet capture.
In Proceedings of the Winter 1993 USENIX Conference, pages 259-269, 1993.

17

D. Mosberger and T. Jin.
httperf: A tool for measuring web server performance.
In First Workshop on Internet Server Performance, pages 59-67. ACM, June 1998.

18

G. C. Necula.
Proof-carrying code.
In Proceedings of the $24^{th}$ Annual Symposium on Principles of Programming Languages, pages 106-119. ACM Press, 1997.

19

M. Poletto, D. R. Engler, and M. F. Kaashoek.
tcc: A template-based compiler for 'C.
In Proceedings of the First Workshop on Compiler Support for System Software (WCSSS), February 1996.

20

M. Satyanarayanan and C. S. Ellis.
Adaptation: the key to mobile I/O.
ACM Computing Surveys (CSUR), 28(4es):211, 1996.

21

M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith.
Dealing with disaster: surviving misbehaved kernel extensions.
In Proceedings of the $2^{nd}$ USENIX Symposium on Operating Systems Design and Implementation, pages 213-227. ACM Press, 1996.

22

C. Small and M. I. Seltzer.
A comparison of OS extension technologies.
In USENIX Annual Technical Conference, pages 41-54, 1996.

23

A. Tamches and B. P. Miller.
Fine-grained dynamic instrumentation of commodity operating system kernels.
In Proceedings of the $3^{rd}$ Symposium on Operating Systems Design and Implementation, pages 117-130. USENIX Association, 1999.

24

D. L. Tennenhouse, J. M. Smith, W. D. Sincoskie, D. J. Wetherall, and G. J. Minden.
A survey of active network research.
IEEE Communications Magazine, 35(1):80-86, January 1997.

25

VMware, Inc.
VMware virtual platform, technical white paper, 1999.

26

R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham.
Efficient software-based fault isolation.
In Proceedings of the $14^{th}$ ACM Symposium on Operating Systems Principles, pages 203-216. ACM Press, 1993.

27

D. A. Wallach, D. R. Engler, and M. F. Kaashoek.
ASHs: application-specific handlers for high-performance messaging.
IEEE/ACM Transactions on Networking (TON), 5(4):460-474, 1997.

28

A. Whitaker, M. Shaw, and S. D. Gribble.
Denali: A scalable isolation kernel.
In Proceedings of the Tenth ACM SIGOPS European Workshop, September 2002.