M. Abbott and L. Peterson, Increasing network throughput by integrating protocol layers, IEEE/ACM Transactions on Networking, vol.1, issue.5, pp.600-610, 1993.
DOI : 10.1109/90.251918
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.7977

I. Ho, A. Pratt, R. Warfield, and . Neugebauer, Xen and the art of virtualization, Proc. of the ACM SOSP, 2003.

A. Bavier, M. Bowman, B. Chun, D. Culler, S. Karlin et al., Operating System Support for Planetary-Scale Network Services, Proc. of the NSDI, 2004.

A. Bavier, T. Voigt, M. Wawrzoniak, and L. Peterson, SILK: Scout Paths in the Linux Kernel, 2002.

S. Bhatia, C. Consel, A. L. Meur, and C. Pu, Automatic Specialization of Protocol Stacks in OS Kernels, Proc. of the 29th IEEE Conference on Local Computer Networks, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00475701

S. Bhatia, C. Consel, and C. Pu, Remote customization of systems code for embedded devices, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, 2004.
DOI : 10.1145/1017753.1017760
URL : https://hal.archives-ouvertes.fr/inria-00475705

K. Buchacker and V. Sieh, Framework for testing the faulttolerance of systems including OS and network aspects, Proc. of the IEEE Symposium on High Assurance System Engineering, pp.95-105, 2001.

E. Bugnion, S. Devine, K. Govil, and M. Rosenblum, Disco: Running commodity operating systems on scalable multiprocessors, Proc. of the ACM SOSP, 1997.
DOI : 10.1145/265924.265930
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.714

J. Chu, Zero-copy TCP in Solaris Architectural considerations for a new generation of protocols, Proc. of the USENIX Annual Technical Conference Proc. of the SIG- COMM, 1990.

J. Dike, A user-mode port of the Linux kernel, 5 th Annual Linux Showcase & Conference, 2001.

P. Druschel and L. Peterson, Fbufs: A high-bandwidth cross-domain transfer facility, Proc. of the SOSP, 1993.
DOI : 10.1145/173668.168634
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.9688

H. Eiraku and Y. Shinjo, Running BSD Kernels as User Processes by Partial Emulation and Rewriting of Machine Instructions, Proc. of the USENIX BSDCon, 2003.

R. Goldberg, Survey of virtual machine research, Computer, vol.7, issue.6, pp.34-45, 1974.
DOI : 10.1109/MC.1974.6323581

S. King, G. Dunlap, and P. Chen, Operating System Support for Virtual Machines, Proceedings of the USENIX Annual Technical Conference, 2003.

J. Liedtke, On Micro-Kernel Construction, Proceedings of the 15th ACM SOSP, 1995.
DOI : 10.1145/224057.224075
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.4880

P. Goel, C. Wagle, G. Consel, R. Muller, and . Marlet, Specialization Tools and Techniques for Systematic Optimization of System Software, ACM Transactions on Computer Systems, vol.19, issue.2, pp.217-251, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00444034

L. Mcvoy and C. Staelin, lmbench: Portable tools for performance analysis, Proc. of the USENIX Annual Technical Conference, pp.279-294, 1996.

D. Mosberger and T. Jin, httperf---a tool for measuring web server performance, ACM SIGMETRICS Performance Evaluation Review, vol.26, issue.3, pp.31-37, 1998.
DOI : 10.1145/306225.306235

D. Mosberger, L. Peterson, P. Bridges, and S. O. Malley, Analysis of Techniques to Improve Protocol Processing Latency, Proc. of the ACM SIGCOMM, pp.73-84, 1996.

D. Price and A. Tucker, Operating System Support for Consolidating Commercial Workloads, Proc. of the 18th LISA Conference, 2004.

L. Inouye, J. Kethana, K. Walpole, and . Zhang, Optimistic Incremental Specialization: Streamlining a Commercial Operating System, Proc. of the SOSP, 1995.

C. Pu, H. Massalin, and J. Ioannidis, The Synthesis Kernel, Computing Systems, vol.1, pp.11-32, 1988.

J. Sugerman, G. Venkitachalam, and B. Lim, Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor, Proc. of the USENIX Annual Technical Conference, 2001.

C. Waldspurger, Memory resource management in VMware ESX server, Proc. of the OSDI, 2002.
DOI : 10.1145/844128.844146

A. Whitaker, M. Shaw, and S. Gribble, Scale and Performance in the Denali Isolation Kernel, Proc. of the OSDI, 2002.

. Bochs, The Cross Platform IA-32 Emulator. (http://bochs.sourceforge

L. Vservers-project, User-Mode Linux kernel