The Programming Languages and Compilers Group is primarily concerned with the development of methods and tools for software analyses assisting early error detection and program understanding during the development and maintenance of industrial systems. The integration of these tools in an IDE, i.e., in our Bauhaus system, is a central theme.
In addition, we develop programming language concepts especially for safety-critical embedded systems. Another theme is the identification and avoidance of safety- and security-relevant vulnerabilities in programs.
We teach traditional compiler construction and modern code optimization techniques.