Hello, and welcome to my webpage. This is where I might upload and link to publications written here at NTNU.

My Work

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.

Publications

H. R. Krogstie, H. Brahmann, M. Själander and N. Reissmann, "PIP: Making Andersen’s Points-to Analysis Sound and Practical for Incomplete C Programs" in Proceedings of the International Symposium on Code Generation and Optimization Jan. 2026.
Download PDF of Accepted paper.