News
Presentation schedule + speaker assignmentWritten on 02.05.25 by Rayna Dimitrova Dear Students, I have added the presentation schedule and speaker assignment to the Materials section. If you have any issues with the schedule, please let me know. Best regards, Rayna |
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
30.04 Deadline for sending presentation topic preferences.
02.05 Topic assignment announced.
23.05 Deadline for LSF registration.
Seminar meetings
When: Friday, 16:15 -- 17:45
Where: E9.1 (CISPA Building C0), meeting room 0.07 (except for 16th, 23rd, 30th May in meeting room 0.01)