In the context of region-based memory management, it is often tedious for programmers, if at all possible, to specify the desired memory behavior for larger programs. We propose an extension to ReML that allows programmers to annotate programs and data with abstract notions of regions, with the aim of providing conservative guarantees about a program’s memory behavior.

Professor in the Programming Languages and Theory of Computation (PLTC) section at Department of Computer Science, University of Copenhagen (DIKU). Conducts research in the design and implementation of programming languages, including compilation techniques for functional languages, parallelism, memory management, and program optimisation.