Advanced Program Analysis - Blockseminar March 2019

Instructor Eva Darulova
TA's Debasmita Lohar, Hai Dang, Heiko Becker
Placebuilding E1.5, room 029
Kick-off meetingTuesday, 5 March 2019, 14:00
Presentations and DiscussionsThursday, 21 March - Wednesday, 27 March, 13:00 to 16:00
Report DeadlineSunday, 14 April midnight
Office hoursOn demand, send an email to your mentor
Credits7 CP
PrerequisitesNo 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

Seminar Topic

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)
Registration The course is already full. You can still participate as an auditor; in that case please send an email to the instructor.
Paper Assignment Based on students' preferences after the kick-off meeting
Grading The final grade will be based on the paper presentation, participation in class, as well as the final summary report.
Imprint Data Protection