PS

Programming Languages and Compilers Group (until September 2019)

Our group is concerned with program understanding and the development of methods and tools for software analyses assisting early error detection.

Scientific work

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.

Research activities

Teaching activities

We teach traditional compiler construction and modern code optimization techniques.

Courses and Theses topics

Contact

Erhard Plödereder
Prof. Dr. rer. nat./Harvard Univ.

Erhard Plödereder

Head of the Programming Languages and Compilers Group (until 09/30/2019)

 

Kornelia Kuhle

Secretary of the Programming Languages and Compilers Group and of the Software Engineering Group

To the top of the page