Programming Languages

Welcome to the Programming Languages (PL) research group of the Johannes Gutenberg University Mainz, led by Sebastian Erdweg.

The PL team develops programming languages and programming tools that help developers build reliable software. Our key topics are domain-specific languages, static analysis, and incremental computing.

Programming languages are arguably the most important tool for developing software. The goal of the Programming Languages research group is to support developers in creating and maintaining reliable and efficient software systems. To this end, we research novel programming languages, programming tools, and programming methods. The group particularly focusses on software-development approaches based on linguistic abstractions and domain-specific languages (DSLs). We are both concerned with how such abstractions and languages can be best designed as well as how they can be realized effectively. We complement this research with investigating novel methods in static analysis, with which bugs and optimization potential can be discovered during compilation. We study how sound static analyses can be constructed systematically and how to execute them incrementally.