Program Analysis Prof. Jan Reineke, Shrey Sharma

News

18.03.2020

Re-Exam Postponed

Dear all,

Due to the current developments we cannot carry out the re-exam as planned. The re-exam ist postponed indefinitely. We will let you know about the new date as soon as we get more information about when the university will be reopened. Please get in... Read more

Dear all,

Due to the current developments we cannot carry out the re-exam as planned. The re-exam ist postponed indefinitely. We will let you know about the new date as soon as we get more information about when the university will be reopened. Please get in touch with us if there is an urgent need for you to take the exam soon.

Best regards and take care!

Jan Reineke

28.02.2020

Re-Exam on April 3

Dear all,

The re-exam will take place on Friday, April 3 from 14:00 to 16:00 in lecture hall 3 in building E1 3.

If you would like to participate, please do not forget to register for the exam in the LSF.

Best regards,

Jan Reineke

17.02.2020

Exam grades

Dear all,

The exam grades have been added to the CMS system. You find them as usual on your personal page in the CMS.

The exam inspection will take place on Wednesday, 19th February, 2020, at 3:00 p.m. in room 401, E1 3.

Best regards,

Shrey Sharma

05.02.2020

Exam on February 13

Dear all,

The exam will take place from 10:00 to 12:00 on Thursday, February 13 in Lecture Hall 001 in E1 3.

Please be there at 9:50 at the latest so that we can start with the exam at 10:00.

You may bring up to 2 sheets of paper ("cheat sheets") with... Read more

Dear all,

The exam will take place from 10:00 to 12:00 on Thursday, February 13 in Lecture Hall 001 in E1 3.

Please be there at 9:50 at the latest so that we can start with the exam at 10:00.

You may bring up to 2 sheets of paper ("cheat sheets") with contents of your choice.

Do not forget to register for the exam on LSF in time.

Best regards,
Jan Reineke

 

03.02.2020

Exam Date

Based on the received feedback the only possible date for the final exam is February 13, 10-12.

Thus, we will stick to this date.

29.01.2020

Wrap-Up Session

We will use the final lecture slot of the semester on February 4 to recap the material that we have covered throughout the semester.

This is your chance to pose any questions you might have about the material!

28.01.2020

Exam Date

Please indicate your preferences for the exam date using the following Doodle:

https://doodle.com/poll/duryyck3nezv5tdc

We will schedule the exam based on your responses submitted until Thursday 2pm. So please respond right away!

 

18.11.2019

Change of Lecture Hall

From tomorrow, November 19, onwards, the lectures will take place in lecture hall 003 (rather than in lecture hall 001) in building E1 3.

11.11.2019

Exercise 3.4 - Changes and deadline extended

We have simplified the CFG interface based on feedback from some of the students.

Also, there was a bug in the CFG structure. The earlier CFG design would consider the first node in the CFG as an "entry" node. This was visible in the CFG::print() function that... Read more

We have simplified the CFG interface based on feedback from some of the students.

Also, there was a bug in the CFG structure. The earlier CFG design would consider the first node in the CFG as an "entry" node. This was visible in the CFG::print() function that would skip the first node while printing the CFG. This has now been changed so that the CFG::print() function prints all nodes in the CFG. This is consistent with the definition of CFG in the lecture. The first node in your CFG has to be the one for the first statement in the program.

Please pull and merge  the new changes from the analyzer repository.

Due to the above mentioned changes, we are extending the deadline for this problem to 10:00 am on Thursday, November 14, 2019.  The deadline for the other problems in the assignment sheet is still November 12, 2019, before the lecture.

24.10.2019

Lecture on 25.10.2019

There will be a lecture tomorrow (25.10.2019) in seminar room SR 014 at 10:00 am. Please be there on time.

17.10.2019

First Lecture Postponed

Since Prof. Reineke is sick, unfortunately, we have to postpone the first lecture of the course to 22nd October, 2019.

Show all
 

Program Analysis

Introduction

Program analysis aims at automatically analyzing the behavior of programs with regards to certain properties. The properties are often related to correctness, robustness or safety of the program. In this course we discuss different state-of-the-art techniques in the field and their applications.

Time and Place

The lectures and tutorials take place on Tuesdays from 10:00 - 12:00 and Fridays from 10:00 - 12:00. The lectures take place in lecture hall 003 in building E1 3 and the tutorials in seminar room SR 014. The first lecture is on October 22, 2019.

Prerequisites

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 reexam 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