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.