| Instructor | Eva Darulova |
| TA's | Debasmita Lohar, Hai Dang, Heiko Becker |
| Place | building E1.5, room 029 |
| Kick-off meeting | Tuesday, 5 March 2019, 14:00 |
| 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 |
| Credits | 7 CP |
| 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.
| Format |
|
| 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. |