Schedule

The following course schedules are non-binding and may change at any time and without prior announcement.

Lecture schedule

Date Lecture topic Lecturer
22.07. Improved User Experience Bodden
15.04. Introduction and Course Outline, Sparse IFDS Bodden
22.04. SPL Lift Bodden
29.04. Pushdown Systems Bodden
06.05. Weighted Pushdown Systems Bodden
20.05. Demand-Driven Program Analysis Bodden
27.05. Synchronised Pushdown Systems, Boomerang Bodden
10.06. CogniCrypt Bodden
17.06. FlowDroid Bodden
24.06. Handling Reflection Bodden
01.07. Hybrid Analysis: Harvester, Heapster Bodden
08.07. Guest lecture by CQSE Krüger
15.07. SWAN/SWAN Assist Bodden

Exercise Schedule

Exercise Hand out date Due date
Sparse IFDS 19.04. 26.04.
SPL Lift 26.04. 03.05.
Pushdown Systems 03.05. 10.05.
Weighted Pushdown Systems 10.05. 17.05.
Demand-Driven Algorithms 24.05. 31.05.
SPDS, Boomerang 31.05. 07.06.

Lab assignments

To be updated..Please stay tuned.
Lab Hand out date Due date
L1 - -
L2 - -
L3 - -
L4 - -