Partial evaluation provides a unifying paradigm for a broad spectrum of work in program
optimization compiling interpretation and the generation of automatic program generators …

Software engineers are faced with a dilemma. They want to write general and wellstructured
programs that are flexible and easy to maintain. On the other hand, generality has a price …

The object-oriented style of programming facilitates program adaptation and enhances
program genericness, but at the expense of efficiency. We demonstrate experimentally that …

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 …

We have developed a system for interactive manipulation of shading parameters for three
dimensional rendering. The system takes as input user-defined shaders, written in a subset …

Automatic program specialization can derive effcient implementations from generic
components, thus reconciling the often opposing goals of genericity and efficiency. This …

Designing and implementing generic software components is encouraged by languages
such as object-oriented ones and commonly advocated in most application areas. Generic …

We use partial evaluation to speed up an already efficient ray-tracer by specialization with
respect to part of the input. The ray tracer was implemented in C and specialized using C …

Meta-level programmability is beneficial for parallel/distributed object-oriented computing to
improve performance, etc. The major problem, however, is interpretation overhead due to …

We investigate the optimization of language-level checkpointing of Java programs. First, we
describe how to systematically associate incremental checkpoints with Java classes. While …