Launch of

Today, I launched, a place to present advances in the area of Software Reengineering (SR). This is part of my efforts to put my work into a more general frame. Indeed, Abstract Execution fits perfectly into this frame, as it can be used to automatically prove that program transformations retain original behavior, which is one goal SR can have. Our ongoing collaboration with a team from Madrid on the cost effect of transformations likewise fits nicely into this landscape. On the theoretical side, I contributed Modal Trace Logic, which allows, for instance, to formalize program evolution and bug fixing.

On, which is currently in the very early construction phase, I will present SR fundamentals as well as recent contributions, with a focus on, but not limited to, my original work.

I’m happy to hear your thoughts on this project! If you are willing to share them, please contact me.

Dominic Steinhöfel
Dominic Steinhöfel
Postdoctoral Researcher in Computer Science

My research interests include software reengineering, safe program transformation, program verification, and symbolic execution.