1

L. O. Andersen. Self-applicable c program specialization. In C. Consel, editor, ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 54{61, Yale University, 1992. Research Report 909.

2

B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers , S. Eggers, Extensibility safety and performance in the SPIN operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.267-283, December 03-06, 1995, Copper Mountain, Colorado, United States

3

A. Bricker, M. Gien, M. Guillemont, J. Lipkis, D. Orr, and M. Rozier. A new look at microkenel-based unix operating systems; lessons in performance and compatibility. In Proceedings of the USENIX Summer Conference, 1991.

4

Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States  [doi>10.1145/158511.158707]

5

Charles Consel , Luke Hornof , François Noël , Jacques Noyé , Nicolae Volansche, A Uniform Approach for Compile-Time and Run-Time Specialization, Selected Papers from the Internaltional Seminar on Partial Evaluation, p.54-72, February 12-16, 1996

6

Charles Consel , François 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, p.145-156, January 21-24, 1996, St. Petersburg Beach, Florida, United States  [doi>10.1145/237721.237767]

7

Dawson R. Engler , Wilson C. Hsieh , M. Frans 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, p.131-144, January 21-24, 1996, St. Petersburg Beach, Florida, United States  [doi>10.1145/237721.237765]

8

D. R. Engler , M. F. Kaashoek , J. O'Toole, Jr., Exokernel: an operating system architecture for application-level resource management, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.251-266, December 03-06, 1995, Copper Mountain, Colorado, United States

9

Dawson R. Engler , Todd A. Proebsting, DCG: an efficient, retargetable dynamic code generation system, Proceedings of the sixth international conference on Architectural support for programming languages and operating systems, p.263-272, October 05-07, 1994, San Jose, California, United States

10

Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993

11

Todd B. Knoblock , Erik Ruf, Data specialization, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, p.215-225, May 21-24, 1996, Philadelphia, Pennsylvania, United States

12

Mark Leone , Peter Lee, Deferred Compilation: The Automation of Run-Time Code Generation, Carnegie Mellon University, Pittsburgh, PA, 1993

13

B. Locanthi. Fast BitBlt with asm() and CPP. In European Unix Users Group Conference Proceedings (EUUG), 1987.

14

A.B. Montz, D. Mosberger, S.W. O'Malley, L.L. Peterson, T.A. Proebsting, and J.H. Hartman. Scout: A Communications-Oriented Operating System. Technical Report 94{20, Department of Computer Science, The University of Arizona, 1994.

15

C. Pu , T. Autrey , A. Black , C. Consel , C. Cowan , J. Inouye , L. Kethana , J. Walpole , K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.314-321, December 03-06, 1995, Copper Mountain, Colorado, United States

16

C. Pu, H. Massalin, and J. Ioannidis. The Synthesis kernel. ACM Computing Systems, 1(1):11{32, 1988.

17

S. Thibault and C. Consel. A Framework of Application Generator Design. { INRIA Technical Report 3005, Rennes, France, October 1996.

18

E.N. Volanschi, G. Muller, and C. Consel. Safe operating system specialization: the rpc case study. InFirst Annual Workshop on Compiler Support for System Software, February 1996.

Siau-Cheng Khoo , Kun Shi, Program Adaptation via Output-Constraint Specialization, Higher-Order and Symbolic Computation, v.17 n.1-2, p.93-128, March-June 2004

Siau-Cheng Khoo , Kun Shi, Output-constraint specialization, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.106-116, September 12-14, 2002, Aizu, Japan

Renaud Marlet , Scott Thibault , Charles Consel, Efficient Implementations of Software Architectures via Partial Evaluation, Automated Software Engineering, v.6 n.4, p.411-440, October 1999

Charles Consel: colleagues