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 end of the semester.

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

Course Information



Course Type

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


Friday, Oct. 19th, 9am in A313.