199.014 Program Analysis
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023W, VU, 2.0h, 3.0EC


  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz


Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

After successful completion of the course, the students are able to understand the fundamentals of program analysis, apply several program analysis tools to real-world examples, differentiate between different program analysis approaches, decide when an approach is applicable, and appreciate the state of the art in program analysis research.

Inhalt der Lehrveranstaltung

Students will get an overview of the research area of program analysis - approaches to automatically determine important properties of programs, such as their correctness. After a quick recap of the syntax and semantics of programming languages, the course will dive into topics like (optional) type systems, dataflow analysis, deductive verification, and dynamic approaches. The second half of the course will consist of project or paper presentations by the students, exploring the state of the art in program analysis. The topics of the presentations will be agreed upon between the students and the instructor in the first lecture. Students are then expected to independently work on their presentations, research the required literature, and consult with the instructor.


The first half of the course will be lectures with discussions and the second half will be paper and project presentations by the students.

ECTS breakdown:

  • 9h lectures with discussions
  • 22.5h prepare & post-process lecture material
  • 7.5h paper and project presentations
  • 36h preparation for presentation

Total: 75h




Weitere Informationen

The lecturer of this course will be Werner Dietl, University of Waterloo, Canada.


Contact details:


This is a guest professor course of the TU Wien Informatics Doctoral School. It is targeted to Doctoral Students of the Faculty of Informatics, but, subject to availability of free seats, open to all PhD students and interested Master students.



Vortragende Personen


LVA Termine

Di.14:00 - 16:0003.10.2023Seminarraum Techn. Informatik Intro, overview, distribute topics
Mi.14:00 - 16:0004.10.2023Seminarraum Techn. Informatik Syntax, semantics, CFGs, dataflow analysis
Di.14:00 - 16:0010.10.2023Seminarraum Techn. Informatik Type systems (lambda calculus, FJ)
Mi.14:00 - 16:0011.10.2023Seminarraum Techn. Informatik Optional type systems, type inference
Di.14:00 - 16:0017.10.2023Seminarraum Techn. Informatik Hoare logic, deductive verification, JML
Mi.14:00 - 16:0018.10.2023Seminarraum Techn. Informatik Model checking, fuzzing, dynamic analyses
Di.14:00 - 17:0024.10.2023Seminarraum Techn. Informatik Paper / Project presentations
Mi.14:00 - 17:0025.10.2023Seminarraum Techn. Informatik Paper / Project presentations
Di.14:00 - 17:0031.10.2023Seminarraum Techn. Informatik Paper / Project presentations


The grade will be based on a student’s participation in the course and their paper or project presentation.


Von Bis Abmeldung bis
21.08.2023 00:00 03.10.2023 23:00


Please register in TISS.


PhD TU Wien Informatics Doctoral School Keine Angabe


Relevant literature will be distributed with each lecture.


Good understanding of (object-oriented) programming and some software development experience.

Weitere Informationen

  • Anwesenheitspflicht!