• Publications
  • Influence
A general approach for run-time specialization and its application to C
This paper describes a general approach to run-time specialization that automatically produces source templates at compile time, and transforms them so that they can be processed by a standard compiler, and is efficient, as shown by the implementation for the C language. Expand
Tutorial notes on partial evaluation
These tutorial notes survey the field and present a critical assessment of the state of the art in the area of partial evaluation. Expand
Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code
An approach is presented which reconciles portability and efficiency, and preserves the ability to dynamically load bytecode, and designed and implemented an efficient environment for the execution of Java programs, named Harissa, which permits the mixing of compiled and interpreted methods. Expand
Tempo: specializing systems applications and beyond
Permission to make digital/hard copy of part or all of this work for personal or classroom use is granted without fee provided that the copies are not made or distributed for profit or commercialExpand
Partial Evaluation of Pattern Matching in Strings
It is shown how automatically specializing a fairly naive pattern matcher by partial evaluation leads to the Knuth, Morris & Pratt algorithm, a deterministic finite automaton. Expand
Java bytecode compression for low-end embedded systems
It is demonstrated that factorization of common instruction sequences in Java bytecode allows the memory footprint to be reduced, on average, to 85% of its original size, with a minimal execution time penalty. Expand
Devil: an IDL for hardware programming
A new approach to developing hardware operating code based on an Interface Definition Language (IDL) for hard-ware functionalities, named Devil, which allows a high-level definition of the communication with a device and generates efficient low-level code. Expand
Binding time analysis for high order untyped functional languages
  • C. Consel
  • Computer Science
  • LISP and Functional Programming
  • 1 May 1990
Using abstract interpretation, a binding time analysis for an untyped functional language which provides an effective treatment of both higher order functions and data structures is presented, believed to be the first such analysis. Expand
A tour of Tempo: a program specializer for the C language
A survey of Tempo, a specializer for the C language, is presented and an overview of the design and use of its use in specializing realistic applications is given. Expand
A Uniform Approach for Compile-Time and Run-Time Specialization
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, this evolutionExpand