L. O. Andersen, Binding-time analysis and the taming of C pointers. In Partial Evaluation and Semantics-Based Program Manipulation, pp.47-58, 1993.

L. O. Andersen, Program Analysis and Specialization for the C Programming Language, 1994.

T. Blackwell, Fast decoding of tagged message formats, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications, 1996.
DOI : 10.1109/INFCOM.1996.497897

G. Cabillic and I. Puaut, Stardust: An Environment for Parallel Programming on Networks of Heterogeneous Workstations, Journal of Parallel and Distributed Computing, vol.40, issue.1, 1997.
DOI : 10.1006/jpdc.1996.1271

D. D. Clark and D. L. Tennenhouse, Architectural considerations for a new generation of protocols, SIGCOMM Symposium on Communications Architectures and Protocols, pp.200-208, 1990.

C. Consel and O. Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.493-501, 1993.
DOI : 10.1145/158511.158707

C. Consel, L. Hornof, F. Noël, J. Noyé, and E. N. Volanschi, A uniform approach for compile-time and run-time specialization, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in Lecture Notes in Computer Science, pp.54-72, 1996.
DOI : 10.1007/3-540-61580-6_4
URL : https://hal.archives-ouvertes.fr/inria-00073917

C. Consel and F. Noël, A general approach for run-time specialization and its application to C, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.145-156, 1996.
DOI : 10.1145/237721.237767

M. Emami, R. Ghiya, and L. J. Hendren, Contextsensitive interprocedural points-to analysis in the presence of function pointers, Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pp.242-256, 1994.

A. Forum, ATM user-network interface specification version 3, 1993.

A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek et al., PVM-Parallel Virtual Machine: AUsers' Guide and Tutorial for Networked Parallel Computing, Computers in Physics, vol.9, issue.6, 1994.
DOI : 10.1063/1.4823450

L. Hornof and J. Noyé, Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1997.

L. Hornof, J. Noyé, and C. Consel, Accurate partial evaluation of realistic programs via use sensitivity, Research Report, vol.1064, 1996.
DOI : 10.1007/bfb0032749
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.7909

P. Hoschka and C. Huitema, Control flow graph analysis for automatic fast path implementation, Second IEEE workshop on the architecture and Implementation of high performance communication subsystems, 1993.

. Iso, Specification of abstract syntax notation one (ASN.1). ISO standard 8824, 1988.

D. B. Johnson and W. Zwaenepoel, The Peregrine high-performance RPC system. Software -Practice And Experience, pp.201-221, 1993.

S. Microsystem, NFS: Network file system protocol specification, RFC Sun Microsystem, vol.1094, 1989.

S. O. Malley, T. Proebsting, and A. B. Montz, USC: A universal stub compiler, Proc. Conf. on Communications Archi. Protocols and Applications, 1994.

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

R. Ramsey, All about administering NIS+, 1993.

E. Ruf, Context-insensitive alias analysis reconsidered, Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pp.13-22, 1995.
DOI : 10.1145/223428.207112
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.224

M. D. Schroeder and M. Burrows, Performance of the Firefly RPC, ACM Transactions on Computer Systems, vol.8, issue.1, pp.1-17, 1990.
DOI : 10.1145/77648.77653

C. A. Thekkath and H. M. 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. N. Volanschi, G. Muller, and C. Consel, Safe operating system specialization: the RPC case study, Workshop Record of WCSSS'96 ? The Inaugural Workshop on Compiler Support for Systems Software, pp.24-28, 1996.

E. N. Volanschi, G. Muller, C. Consel, L. Hornof, J. Noyé et al., A uniform automatic approach to copy elimination in system extensions via program specialization, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073789