Karoline Malmkjær

I am currently working at Ericsson Telebit.

A long time ago I worked on a partial evaluator for SML with Olivier Danvy and Nevin Heintze.

Selected research papers.

Some pointers:

• A Semantics Based Program Analysis and Manipulation page.
• The DIKU TOPPS group (where I did my Master's).
• The Department of Computing and Information Sciences at Kansas State University (where I did my PhD).
• The DAIMI home page (where I was a post-doc).