Wed 27 Mar
Lars Birkedal (CMU)
The Cogen Approach to Partial Evaluation
A large class of similar computational problems can be solved in
essentially two different ways: either by a specific program for each
problem or by a general, parameterized program solving all the
problems. A specific program is almost always more efficient than the
general program, but the general program tends to be easier to write,
maintain, and, of course, given a new problem one does not have to
write a new specific program but instead one can employ the general
program. Partial evaluation is a technique to automatically turn a
general parameterized program into an efficient specialized program,
applicable to one given problem. The idea is to obtain the best of
two worlds, efficiency and generality. In this talk I will give an
overview of what partial evaluation is, and describe a relatively new
approach to partial evaluation, called the cogen approach .
Moreover, I'll give a brief overview of SML-Mix, a partial evaluator
for Standard ML, developed jointly with Morten Welinder at DIKU,
University of Copenhagen , and present a couple of experimental
 Lars Birkedal and Morten Welinder: Handwriting Program Generator
Generators. PLILP-94. LNCS 844.
 Lars Birkedal and Morten Welinder: Partial Evaluation of Standard
ML. DIKU Technical Report 93/22. Master's Thesis.