Program Analysis Prof. Jan Reineke, Shrey Sharma

News

18.05.2020

Re-Exam Grades

Dear all,

The re-exam grades have been added to the CMS system. You can find them on your personal page in the CMS.

The re-exam inspection will take place on Friday, 22nd May, 2020, at 2:00 p.m. in room 401, E1 3.

For hygiene measures, the following rules... Read more

Dear all,

The re-exam grades have been added to the CMS system. You can find them on your personal page in the CMS.

The re-exam inspection will take place on Friday, 22nd May, 2020, at 2:00 p.m. in room 401, E1 3.

For hygiene measures, the following rules will be followed for the re-exam inspection:

1. Students will participate in the re-exam inspection one at a time. Each student will get 30 minutes to inspect their answer sheets. The time slots can be selected by filling in the doodle form given below.

https://doodle.com/poll/4wyq4zntdrtftf6i

Please register for the inspection by filling in the doodle form by Thursday, 21st May, 2020. Only registered students will be allowed to participate in the inspection.

2. Students should wear masks throughout the exam inspection. Disinfectants will be available in room 401, E1 3.

In addition, we ask all students participating in the re-exam inspection to inform us immediately if,

i. you have been in contact with a person who has been tested positive for COVID-19

ii. you have any of the following symptoms:
    - Cough
    - Runny or stuffy nose
    - Throat ache
    - Fever
    - Diarrhea
    - Muscle pain
    - Loss of sense of smell
    - Loss of sense of taste

Best regards,

Shrey Sharma

05.05.2020

Re-Exam Rules

Dear all,

 

With regards to hygiene measures due to the COVID-19 situation, the following rules will be followed for the re-exam.

1. All students should wear masks throughout the examination. Disinfectants and masks will be available at the entrance to the... Read more

Dear all,

 

With regards to hygiene measures due to the COVID-19 situation, the following rules will be followed for the re-exam.

1. All students should wear masks throughout the examination. Disinfectants and masks will be available at the entrance to the lecture hall if necessary.

2. Entrance to building E1 3 will be conducted in a controlled order. Students are to queue outside the building E1 3 before the examination with a minimum distance of 2m between them.

3. Please carry your student identity card and personalausweis or equivalent(e.g. residence permit, passport) into the lecture hall for identification.

 

In addition, we ask all students participating in the re-exam to inform us immediately if,

     i. you have been in contact with a person who has been tested positive for COVID-19

     ii. you have any of the following symptoms:
         - Cough
         - Runny or stuffy nose
         - Throat ache
         - Fever
         - Diarrhea
         - Muscle pain
         - Loss of sense of smell
         - Loss of sense of taste

 

Please let us know if there are any further questions.

 

Best regards,

Shrey Sharma

23.04.2020

Re-Exam Date

Dear all,

Based on the responses to the Doodle poll, the re-exam will take place on Thursday, 14th May, 2020, from 10:00 to 12:00 in Lecture Hall 002 in E1 3.

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

Please note... Read more

Dear all,

Based on the responses to the Doodle poll, the re-exam will take place on Thursday, 14th May, 2020, from 10:00 to 12:00 in Lecture Hall 002 in E1 3.

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

Please note that for the safety of everyone involved, all students participating in the re-exam are requested to wear face masks.

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,

Shrey Sharma

19.04.2020

Dear all,

Hope you are doing well.

We now have the permission to conduct the re-exam at the university. Officially, we are supposed to announce the exam three weeks in advance. However, since the summer semester starts on 4th May, 2020, we were considering... Read more

Dear all,

Hope you are doing well.

We now have the permission to conduct the re-exam at the university. Officially, we are supposed to announce the exam three weeks in advance. However, since the summer semester starts on 4th May, 2020, we were considering conducting the re-exam sooner so that it does not interfere with your summer semester schedule.

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

https://doodle.com/poll/mf8kn644frrf3f9k

We will schedule the exam based on your responses submitted until Tuesday, 21st April, 2020.

Best Regards,

Shrey Sharma

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