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
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 Places in the seminar are limited to 12 students, but places for non-credit participants are unlimited.
To register for the seminar for credit, send an email to the instructor (eva at mpi-sws dot org) with the subject line 'Registration Program Analysis 2019' and the following information (incomplete registrations will not be taken into account!):
  • your full name
  • your student id number
  • your study program (BSc/MSc)
  • a brief description of your background (e.g. which related courses you have taken)
  • a short motivation for why you would like to take this seminar
Registration deadline: 28 February
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