Program Analysis Jan Reineke

News

16.11.2020

Exercise 2.3 - Deadline Extended

Dear all,

Due to technical difficulties faced by numerous students, we are extending the deadline for Exercise 2.3 to 10:00 am on Thursday, November 19, 2020.  The deadline for the other problems in the assignment sheet is still November 17, 2020, before the... Read more

Dear all,

Due to technical difficulties faced by numerous students, we are extending the deadline for Exercise 2.3 to 10:00 am on Thursday, November 19, 2020.  The deadline for the other problems in the assignment sheet is still November 17, 2020, before the lecture.

Regards,

Shrey Sharma

11.11.2020

Tutorials and Assignments

Dear all,

The first tutorial will take place this Friday at 12:30 p.m. The link to the zoom meeting for the tutorial is added in the materials section.

Regarding the assignment submissions, for those of you submitting in groups, you can submit a single... Read more

Dear all,

The first tutorial will take place this Friday at 12:30 p.m. The link to the zoom meeting for the tutorial is added in the materials section.

Regarding the assignment submissions, for those of you submitting in groups, you can submit a single document with the names and matriculation numbers of both the group members.

 

Regards,

Shrey Sharma

04.11.2020

Lecture on Friday, November 6

Dear all,

We will use the tutorial slot this Friday for a short lecture from 12:30 to approximately 13:50 (was 13:30). This will cover the material necessary to solve Assignment 1, which will be due next Thursday.

See you then,
Jan Reineke

 

Program Analysis

Introduction

Program analysis deals with automatic analysis of programs with regards to certain properties. Depending on the application, these properties could be related to safety, security, or correctness of the program. The analysis results are used for different purposes by different applications. Some such uses are:

  • proving the absence of runtime errors, as is e.g. done by Astree
  • statically analyzing the worst-case execution time (WCET) of the program
  • checking for hardware side-channel vulnerabities such as Spectre
  • guiding program transformations in compilers, e.g. for high performance computing

This course provides an overview of the different techniques used in the field, the concepts guiding them, and their applications. Topics covered in the course include but are not limited to:

 

Time and Place

The lectures and tutorials take place on Tuesdays from 12:30 - 14:00 (mostly lectures) and Fridays from 12:30 - 14:00 (mostly tutorials). Both lectures and tutorials will be conducted online.

The first lecture will be held on November 3, 2020 using Zoom.

The first lecture will be held on November 3, 2020 using Teams.

 

Prerequisites

This course is open to advanced bachelor's students as well as to master's students.

While there are no specific course prerequisites for this advanced course, a solid background in discrete mathematics is highly recommended, as provided by undergraduate math courses in our bachelor's program. In addition, some C++ programming experience would be valuable for the practical assignments.

 

Exam

The "end of term" exam will take place after the end of the lecture period. A re-exam will be offered on demand at the end of the semester.

To be admitted to the exam, at least 50% of the points in the assignments are required.

 



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators