The dates and events shown here are dynamically displayed from Stud.IP.

Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturersdirectly.

Event

Semester: Summer term 2023

2.01.481 Software Analysis -  


Event date(s) | room

  • Dienstag, 11.4.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 13.4.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 18.4.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 20.4.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 25.4.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 27.4.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 2.5.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 4.5.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 9.5.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 11.5.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 16.5.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 23.5.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 25.5.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 30.5.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 1.6.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 6.6.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 8.6.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 13.6.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 15.6.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 20.6.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 22.6.2023 10:15 - 11:45 | A04 4-411
  • Dienstag, 27.6.2023 10:15 - 11:45 | A04 4-411
  • Donnerstag, 29.6.2023 10:15 - 11:45 | A04 2-220
  • Dienstag, 4.7.2023 10:15 - 11:45 | A04 2-220
  • Donnerstag, 6.7.2023 10:15 - 11:45 | A04 2-220
  • Dienstag, 11.7.2023 10:15 - 11:45 | A04 2-220
  • Donnerstag, 13.7.2023 10:15 - 11:45 | A04 2-220

Description

Software analyses extract facts about programs from source code. Such facts can be employed by compilers to optimize programs during compilation, but can also be used to verify correctness of programs. In this course, we will study different software analysis techniques, in particular various data-flow analyses and abstract interpretation.

Lecturers

SWS
2

(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page