Seminar Description
How can a software developer ensure that the software they have designed does what it is supposed to do? Program analysis is an area of computer science that is concerned with the development of methods and tools that assist programmers in developing correct and robust programs. This includes obtaining a formal understanding of complex programs, automatically verifying that programs work correctly as intended, automatically repairing, generating and optimizing code. Program analysis techniques are nowadays part of the software design process at companies such as Amazon, Facebook, Google, and Microsoft. In this seminar, we will read and discuss research papers that present the state of the art in program analysis.
Organization
Important dates
25.04, 14:15--15:45 Kick-off meeting; Location: E9.1 (CISPA Building C0), meeting room 0.07
Seminar meetings
When: To be determined based on participants' availability
Where: TBD