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

P. Andersen, Partial Evaluation Applied to Ray Tracing, Software Engineering in Scientific Computing, pp.78-85
DOI : 10.1007/978-3-322-85027-0_10

J. M. Ashley and C. Consel, Fixpoint computation for polyvariant static analyses of higher-order applicative programs, ACM Transactions on Programming Languages and Systems, vol.16, issue.5, pp.1431-1448, 1994.
DOI : 10.1145/186025.186037

A. Berlin and R. Surati, Partial evaluation for scientific computing: The supercomputer toolkit experience, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pp.133-141, 1994.

A. Bondorf, Improving binding times without explicit CPS-conversion, ACM Conference on Lisp and Functional Programming, pp.1-10, 1992.

C. Consel, L. Hornof, F. Noël, J. Noyé, and E. 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 S. Khoo, Parameterized partial evaluation, ACM Transactions on Programming Languages and Systems, vol.15, issue.3, pp.463-493, 1993.
DOI : 10.1145/169683.174155

D. Engler, W. Hsieh, and M. Kaashoek, C: a language for high-level, efficient, and machine-independent dynamic code generation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.131-144, 1996.
DOI : 10.1145/237721.237765

B. Grant, M. Mock, M. Philipose, C. Chambers, and S. Eggers, The benefits and costs of DyC's run-time optimizations, ACM Transactions on Programming Languages and Systems, vol.22, issue.5, pp.932-972, 2000.
DOI : 10.1145/365151.367161

B. Grant, M. Mock, M. Philipose, C. Chambers, and S. Eggers, DyC: an expressive annotation-directed dynamic compiler for C, Theoretical Computer Science, vol.248, issue.1-2, pp.147-199, 2000.
DOI : 10.1016/S0304-3975(00)00051-7

B. Grobauer, Cost recurrences for DML programs, ICFP 2001: International Conference on Functional Programming, pp.253-264, 2001.

L. Hornof and J. Noyé, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, Theoretical Computer Science, vol.248, issue.1-2, pp.3-27, 2000.
DOI : 10.1016/S0304-3975(00)00048-7

T. Knoblock and E. Ruf, Data specialization, PLDI'96, pp.215-225, 1996.

J. Kono and T. Masuda, Efficient RMI: dynamic specialization of object serialization, Proceedings 20th IEEE International Conference on Distributed Computing Systems, pp.308-315, 2000.
DOI : 10.1109/ICDCS.2000.840943

A. Meur, C. Consel, and B. Escrig, Guaranteed configurability of components via specialization modules, 2001.

P. Lee and M. Leone, Optimizing ML with run-time code generation, PLDI'96 [24], pp.137-148

R. Marlet, S. Thibault, and C. Consel, Mapping software architectures to efficient implementations via partial evaluation, Proceedings 12th IEEE International Conference Automated Software Engineering, pp.411-440, 1999.
DOI : 10.1109/ASE.1997.632838
URL : https://hal.archives-ouvertes.fr/inria-00073472

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

G. Muller, R. Marlet, E. Volanschi, C. Consel, C. Pu et al., Fast, optimized Sun RPC using automatic program specialization, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183), 1998.
DOI : 10.1109/ICDCS.1998.679507
URL : https://hal.archives-ouvertes.fr/inria-00073469

B. Ryder, A position paper on compile-time program analysis, ACM SIGPLAN Notices, vol.32, issue.1, pp.110-114, 1997.
DOI : 10.1145/251595.251615

U. Schultz, J. Lawall, C. Consel, and G. Muller, Towards Automatic Specialization of Java Programs, Proceedings of the European Conference on Object-oriented Programming, pp.367-390, 1999.
DOI : 10.1007/3-540-48743-3_17
URL : https://hal.archives-ouvertes.fr/inria-00073102

W. Taha and T. Sheard, Multi-stage programming with explicit annotations, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp.203-217, 1997.

S. Thibault and C. Consel, A framework for application generator design, Proceedings of the Symposium on Software Reusability, 1997.

E. Volanschi, C. Consel, G. Muller, and C. Cowan, Declarative specialization of object-oriented programs, OOPSLA'97 Conference Proceedings, pp.286-300, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00073572