Verification of Distributed Systems Swen Jacobs

News

28.11.2022

Assignment of Presentation Papers

Dear Students,

your assigned papers for full presentations should now be visible to you (in the form of assigned Tutorial slots).

The following papers have been assigned: 1, 2, 3, 4, 5, 7, 8

As mentioned before, we will start with full paper presentations... Read more

Dear Students,

your assigned papers for full presentations should now be visible to you (in the form of assigned Tutorial slots).

The following papers have been assigned: 1, 2, 3, 4, 5, 7, 8

As mentioned before, we will start with full paper presentations on January 9. More details, including on how to prepare your presentations and your written reports, will be shared before or at our second reading group meeting.

21.11.2022

Bidding for Presentation Papers

Dear students,

you can now start bidding for presentation papers. To this end, first check the papers under Information->Materials.

To distribute the papers, we use the "Tutorial Preferences", where "Slot n" stands for Presentation Paper n (and you can... Read more

Dear students,

you can now start bidding for presentation papers. To this end, first check the papers under Information->Materials.

To distribute the papers, we use the "Tutorial Preferences", where "Slot n" stands for Presentation Paper n (and you can completely ignore the time slot given there, this is only because we are abusing the tutorial slots, where different tutorials need to have different times). Please enter your preferences until this Sunday, Nov 27 - then you will receive an email with your assigned paper the following day.

As decided in our meeting today, presentations of these papers will start on January 9, 2023, and we will have at least two meetings where two papers are presented on one day, and therefore we will have to go into overtime until ca. 16:30.

08.11.2022

Poll results for regular meeting time

Dear students,

the poll results are in, and sadly we did not find a time that suits everyone. The choice that works best will be our new regular meeting time:

Mondays 14:15 - 16:00

The next meeting, where we discuss the first two reading group papers, will... Read more

Dear students,

the poll results are in, and sadly we did not find a time that suits everyone. The choice that works best will be our new regular meeting time:

Mondays 14:15 - 16:00

The next meeting, where we discuss the first two reading group papers, will be on Monday, November 21.

See you then!

04.11.2022

Poll for regular time slot, slides of first meeting

Dear students,

the slides of the first meeting are now available (under Information->Materials).

Here is the poll for finding our regular meeting slot during the semester: https://terminplaner4.dfn.de/kATsEC3IYdWjG6KI

Please read the description of the... Read more

Dear students,

the slides of the first meeting are now available (under Information->Materials).

Here is the poll for finding our regular meeting slot during the semester: https://terminplaner4.dfn.de/kATsEC3IYdWjG6KI

Please read the description of the poll, and fill in your availability until next Monday, Nov 8.

See you soon!

 

Seminar Topic

Most of our information-processing systems nowadays are distributed - be it large-scale data centers that replicate data in different physical locations, sensor networks that collect data from different places, or simply multi-threaded programs that run on different cores of your CPU. Due to their composition from multiple interacting components, ensuring correctness of these systems is a major challenge. In many application areas, faulty behavior or even short outages of these systems can have severe consequences. Therefore, both industrial and academic research has in recent years developed a range of new methods to formally guarantee certain properties of a given distributed system.

In this seminar, students will learn to present, discuss, and summarize research papers that aim at formalizing and verifying distributed systems. The seminar is split into two parts. The first part will take the form of reading sessions, where we lay the foundations of the topic. For the second part, each student is assigned a recent paper from the research area. Students will present their paper and will write a seminar paper on the topic assigned to them, taking into account connections to the topics discussed in the seminar.

Important Dates

First Meeting: Thursday, Nov 3, 16:15. (online; Zoom link in Information->Materials)

During our first meeting, I will present a short overview of the content and format of the seminar.

Requirements

Reading Group: In the reading group sessions, we discuss background papers that lay the foundations, or give an overview of the recent work on the formalization of distributed systems, and formal methods to verify them. Each paper will be presented informally by selected students, followed by a joint discussion. The list of papers for the reading group will be announced soon.

Talks: At the first reading group session, each participant will be assigned a topic. Each topic will be presented by the respective student, followed by joint discussion. For the discussions, it is important that every participant has read the paper(s) that are presented. The list of presentation topics will be announced soon.

Summary: At the end of the seminar you will submit a summary of the seminar topics, including a comparison of your topic to the ones presented by other students.



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