Foundations of Static Analyses

This seminar is targeted towards students in their advanced study period who have a preliminary understanding of static analyses/compiler techniques and who want to further deepen their respective knowledge. This is a classical seminar where you have to read selected papers, have to write a summary and afterwards have to present the topic. In general, this seminar is meant to prepare you for doing a Bachelor-/Master Thesis.

At the kick-off we will present the concrete topics and assign them to you. All topics have to be done by one student. If you choose to work on a topic, we will have 2 to 3 meetings where will discuss the current state/presentation. The final presentations will be at the beginning of July.

In case of questions, don’t hesitate to contact me.

Course Information



Course Type

2SWS / 3 CPs (Workload: ~90Hours)


Wednesday, 18th, 9am in A213.