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

D. Engler and M. Kaashoek, DPF: Fast, flexible message demultiplexing using dynamic code generation, pp.26-30

C. Thekkath and H. Levy, Limits to low-latency communication on high-speed networks, ACM Transactions on Computer Systems, vol.11, issue.2, pp.179-203, 1993.
DOI : 10.1145/151244.151247

E. P. Marketos, Speeding up TCP/IP: faster processors are not enough, Conference Proceedings of the IEEE International Performance, Computing, and Communications Conference (Cat. No.02CH37326), 2002.
DOI : 10.1109/IPCCC.2002.995168

T. Fischer, N. Jones, C. Gomard, and P. Sestoft, Optimizing embedded Linux Partial Evaluation and Automatic Program Generation, ser. International Series in Computer Science, 1993.

C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan et al., Optimistic incremental specialization: Streamlining a commercial operating system, Proceedings of the 1995 ACM Symposium on Operating Systems Principles, pp.314-324, 1995.

D. Mcnamee, J. Walpole, C. Pu, C. Cowan, C. Krasic et al., Specialization tools and techniques for systematic optimization of system software, ACM Transactions on Computer Systems, vol.19, issue.2, pp.217-251, 2001.
DOI : 10.1145/377769.377778
URL : https://hal.archives-ouvertes.fr/hal-00444034

A. Le-meur, J. Lawall, and C. Consel, Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, Higher-Order and Symbolic Computation, pp.47-92, 2004.
DOI : 10.1023/B:LISP.0000029448.02877.78
URL : https://hal.archives-ouvertes.fr/inria-00475679

J. Bonwick, The slab allocator: An object-caching kernel memory allocator, USENIX94, 1994.

J. Nagle, RFC 896: Congestion control in IP/TCP internetworks, 1984.

M. Mathis, J. Mahdavi, S. Floyd, and A. Romanow, RFC 2018: TCP selective acknowledgment options, 1996.

C. Consel, J. Lawall, and A. Meur, A tour of Tempo: a program specializer for the C??language, Science of Computer Programming, vol.52, issue.1-3, 2004.
DOI : 10.1016/j.scico.2004.03.011
URL : https://hal.archives-ouvertes.fr/inria-00475667

T. Maeda, Safe execution of user programs in kernel mode using typed assembly language, 2002.

D. Mosberger, L. Peterson, P. Bridges, and S. O. Malley, Analysis of techniques to improve protocol processing latency, SIGCOMM Symposium on Communications Architectures and Protocols. Stanford University, pp.26-30, 1996.

N. C. Hutchinson and L. L. Peterson, The x-Kernel: an architecture for implementing network protocols, IEEE Transactions on Software Engineering, vol.17, issue.1, pp.64-76, 1991.
DOI : 10.1109/32.67579

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

M. E. Fiuczynski and B. N. Bershad, An extensible protocol architecture for application-specific networking, USENIX Annual Technical Conference, pp.55-64, 1996.

M. Kohler, K. , and D. R. Montgomery, A readable TCP in the prolac protocol language, SIGCOMM99, 1999.