Selected Publications

• Program Adaptation based on Program Transformation. In ACM Workshop on Strategic Directions in Computing Research, 1996. C. Consel. (To appear in ACM Sigplan Notices)

• A General Approach for Run-Time Specialization and its Application to C. In ACM Symposium on Principles of Programming Languages, pages 145-156, 1996. C. Consel and F. Noel.

• Polyvariant binding-time analysis for higher-order, applicative languages. In ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 145-154, 1993.

• Tutorial Notes on Partial Evaluation. In ACM Symposium on Principles of Programming Languages, pages 493-501, 1993. C. Consel and O. Danvy.

• A tour of Schism: a partial evaluation system for higher-order applicative languages. In ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 66-77, 1993.

• On-line & Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs. Research Report, Yale University, New Haven, Connecticut, USA, 1993. Extended version. To appear in Journal of Functional Programming. C. Consel and S.C. Khoo.

• Incremental specialization: the key to high performance, modularity and portability in operating systems. In ACM Symposium on Partial Evaluation and Semantics-Based Program Manipula- tion, pages 44-46, 1993. Invited paper. C. Consel, C. Pu, and J. Walpole.

• Optimistic incremental specialization: streamlining a commercial operating system. In ACM Symposium on Operating Systems Principles, 1995. To appear. C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, and K. Zhang.

• Fast strictness analysis via symbolic fixpoint iteration. In International Static Analysis Symposium, pages 423-431, Springer-Verlag, 1994. Invited paper.