|Module label||Special Topics in 'Parallel Systems' II|
|Credit points||6.0 KP|
|Institute directory||Department of Computing Science|
|Applicability of the module||
Wehrheim, Heike (Module responsibility)
Lehrenden, Die im Modul (Authorized examiners)
|Skills to be acquired in this module||
Software analyses extract facts about programs from source code. Such facts can be employed by compilers to optimize programs during compilation, but can also be used to verify correctness of programs. The students get to know different analysis methods, specify such techniques themselves and implement them.
- get to know data flow analysis and specify them,
- name the components of data flow systems,
- know when to apply widening operators in an analysis,
- are able to develop abstract domains and operators for abstract interpretation,
- know predicate abstraction and the principle of counterexample-guided abstraction refinement,
- know when and how to apply SSA forms,
are able to judge the precision and scalability of points-to analyses.
- are able to formally define analyses,
- are able to prove properties of analyses,
- are able to implement analysis.
- work on tasks in groups and discuss solutions,
- implement analyses in groups.
- organize their own work for the course.
- Data flow analyses
- Abstract interpretation
- Predicate abstraction, CEGAR
- SSA forms
- Points-to analysis
- Symbolic execution
Nielson, Nielson, Hankin: Principles of Program Analysis, Springer, 2004.
|Language of instruction||German|
|Duration (semesters)||1 Semester|
Useful previous knowledge: Programming, Logic
|Modullevel / module level||AC (Aufbaucurriculum / Composition)|
|Modulart / typ of module||je nach Studiengang Pflicht oder Wahlpflicht|
|Lehr-/Lernform / Teaching/Learning method||2 Veranst. aus V, Ü, S, P, PR|
|Vorkenntnisse / Previous knowledge|
|Examination||Time of examination||Type of examination|
|Final exam of module||
Weekly homework assignments, lab assignments in a block, oral examination at the end
|Course type||Course selection
|Workload attendance||28 h|