Thursday, 21 March - Wednesday, 27 March, 13:00 to 16:00
Sunday, 14 April midnight
On demand, send an email to your mentor
No formal requirements, but we recommend prior experience with
program analysis, verification, compiler construction or semantics
Can I audit?
Yes, email the instructor if you are interested
Program analysis refers to a collection of techniques that infers global or local properties of programs. It has applications in several areas: in compiler optimizations, program testing, numerical programming, probabilistic programing, security, and various other domains. This block seminar will survey different applications of both static and dynamic program analysis based on recent research papers. The goal of the seminar is to give an overview of these advanced analyses and how the application areas benefit from the techniques used.
Kick-off meeting and paper assignment (5 March)
Reading time: every student is expected to read all papers (6 March - 20 March)
Presentations (20min) and discussions (21 March - 27 March)
Postprocessing: prepare final report, including a summary of all papers
Submission of final report (14 April midnight)
The course is already full. You can still participate as an auditor;
in that case please send an email to the instructor.
Based on students' preferences after the kick-off meeting
The final grade will be based on the paper presentation, participation
in class, as well as the final summary report.