Home

At the Chair of Programming Languages and Compilers, we study the design, implementation, and analysis of programming languages and compiler infrastructures. Our research spans compilers, type systems, language safety, domain-specific languages, intermediate representation design, and automatic parallelization, with a broad interest in all aspects of modern compilation.

A particular focus of our work is the development of MimIR, an extensible intermediate representation designed to support research on expressive and adaptable compiler architectures.