M. Acetta, R. Baron, W. Bolosky, D. Golub, R. Rashid et al., Mach: a new kernel foundation for unix development, Summer Usenix Conference, pp.93-112, 1986.

B. N. Bershad, S. Savage, P. Pardyak, E. Un-sirer, M. E. Fiuczynski et al., Extensibility, safety and performance in the SPIN operating system, SOSP'95 18], pp.267-283

E. Eide, K. Frei, B. Ford, J. Lepreau, and G. Lindstrom, Flick: A exible, optimizing IDL compiler, Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation, pp.44-56, 1997.

D. R. Engler, M. F. Kaashoek, and J. W. O-'toole, Exokernel: An operating system architecture for application-level resource management, SOSP'95 18, pp.251-266

B. D. Fleisch, The failure of personalities to generalize, Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133), pp.8-13, 1997.
DOI : 10.1109/HOTOS.1997.595174

B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin et al., The Flux OSKit: A substrate for kernel and language research, Proceedings of the 1997 ACM Symposium on Operating Systems Principles, pp.38-51, 1997.

B. Ford, M. Hibler, J. Lepreau, P. Tullman, G. Back et al., Microkernels meet recursive virtual machines, OSDI'96 16, pp.137-151
DOI : 10.1145/248155.238769
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.7046

R. Harper, P. Lee, and F. Pfenning, The Fox project: Advanced language technology for extensible systems, Also published as Fox Memorandum CMU-CS-FOX-98-02), 1998.

W. C. Hsieh, M. E. Fiuczynski, C. Garrett, S. Savage, D. Becker et al., Language support for extensible operating systems, Workshop Record of WCSSS'96 { The Inaugural Workshop on Compiler Support for Systems Software, pp.127-133, 1996.

D. A. Ladd and J. C. Ramming, Programming the Web: An application-oriented language for hypermedia service programming, Fourth International World Wide Web Conference, 1995.

J. Liedtke, On -kernel construction, SOSP'95 18, pp.237-250

F. M. Erillon, L. Eveill-ere, C. Consel, R. Marlet, and G. Muller, Towards veriiable device drivers: An approach based on domain-speciic languages, Research Report, vol.3809, 1999.

G. Necula, Proof-carrying code, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, 1997.
DOI : 10.1145/263699.263712

G. Necula and P. Lee, Safe kernel extensions without run-time checking, OSDI'96 16, pp.229-243
DOI : 10.1145/248155.238781
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.6054

V. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien et al., Overview of the Chorus distributed operating system, USENIX -Workshop Proceedings -Micro-kernels and Other Kernel Architectures, pp.39-70, 1992.

S. Thibault, C. Consel, and G. Muller, Safe and eecient active network programming, 17th IEEE Symposium on Reliable Distributed Systems, pp.135-143, 1998.
DOI : 10.1109/reldis.1998.740484
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.8642

S. Thibault, J. Marant, and G. Muller, Adapting distributed applications using extensible networks, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003), pp.234-243, 1999.
DOI : 10.1109/ICDCS.1999.776525
URL : https://hal.archives-ouvertes.fr/inria-00073204

S. Thibault, R. Marlet, and C. Consel, Domain-specific languages: from design to implementation application to video device drivers generation, IEEE Transactions on Software Engineering, vol.25, issue.3, pp.363-377, 1999.
DOI : 10.1109/32.798325

R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham, Efficient software-based fault isolation, Proceedings of the 1993 ACM Symposium on Operating Systems Principles, pp.203-216, 1993.
DOI : 10.1145/173668.168635

D. J. Wetherall, Active network vision and reality: lessons from a capsule-based system, Proceedings DARPA Active Networks Conference and Exposition, 1999.
DOI : 10.1109/DANCE.2002.1003482