My main research field is memory management in functional languages, particularly pointer safety and memory consumption analysis. I work on the Safe project, a research platform aimed at investigating the suitability of functional languages for programming devices with strict memory requirements.
Safe is a first-order functional programming language which provides semiexplicit memory management through two mechanisms: region-based memory management (inferred by the compiler) and destructive pattern matching (specified by the programmer). We have designed a static analysis guaranteeing the absence of dangling pointers due to the latter. Now we are developing an abstract interpretation-based static analysis for inferring upper bounds of the memory consumption (heap and stack) of Safe programs.