My research is in the field of compilers, and I work on the jlm research compiler. I am interested in static analysis and optimizations, in particular pointer analysis and memory optimizations. I like using programming language semantics to ensure soundness for all input programs, including partial programs and esoteric usage of pointers.

• Computer Architecture Laboratory (CAL) at NTNU
• Energy Efficient Computing Systems (EECS) at NTNU