|TA's||Debasmita Lohar, Hai Dang, Heiko Becker|
|Place||building E1.5, room 029|
|Kick-off meeting||Tuesday, 5 March 2019|
|Presentations and Discussions||Thursday, 21 March - Wednesday, 27 March, 13:00 to 16:00|
|Report Deadline||Sunday, 14 April midnight|
|Office hours||On demand, send an email to your mentor|
|Prerequisites||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.
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!):
|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.|