| Semester | ||||||||||||||||||||||||||||||||||||||||||||||
| Module # | INF-VS-041 | |||||||||||||||||||||||||||||||||||||||||||||
| Programmes | Computer Science Bachelor, Computer and Communication Systems Engineering Bachelor, Business Information Systems Bachelor, Computer Science Master, Computer and Communication Systems Engineering Master, Business Information Systems Master | |||||||||||||||||||||||||||||||||||||||||||||
| IBR Group | DS (Prof. Kapitza) | |||||||||||||||||||||||||||||||||||||||||||||
| Type | Seminar | |||||||||||||||||||||||||||||||||||||||||||||
| Lecturer | ||||||||||||||||||||||||||||||||||||||||||||||
| Assistant | Ines Messadi Ehemalige Wissenschaftliche Mitarbeiterin | |||||||||||||||||||||||||||||||||||||||||||||
| Credits | 5 | |||||||||||||||||||||||||||||||||||||||||||||
| Hours | 0+2 | |||||||||||||||||||||||||||||||||||||||||||||
| Time & Place | Kick-Off Meeting: Tuesday, 03.11, 1:00. All potential questions regarding the seminar (difficulty of topics, presentation style, etc.) will be answered during the kick-off meeting. The seminar wil happen entirely online: https://bbb.ibr.cs.tu-bs.de/b/ine-2a7-pg3 | |||||||||||||||||||||||||||||||||||||||||||||
| Certificates | Submission of an substantial essay and successful presentation. The grade is determined by the activity in the seminar as well as the quality of essay and presentation. | |||||||||||||||||||||||||||||||||||||||||||||
| Registration | The number of participants is limited to 15 students. The registration is only possible via StudIP. | |||||||||||||||||||||||||||||||||||||||||||||
| Content | In the last decade, we have seen many interesting developments distributed systems and how to build applications on top of them. The seminar will cover distributed computing principles and the idea behind fault-tolerant, scalable, and maintainable distributed applications. We will look at current ongoing research and new techniques to optimize, secure, and verify distributed protocols. Each meeting consists of a presentation and a discussion about the topics, as well as answering a chosen research question. The topics include:
The following is a preliminary list of topics. The papers might be extended or changed. Seminar Topics
| |||||||||||||||||||||||||||||||||||||||||||||
| Material | The material is only available to registered attendees. In order to register, you need either an IBR POSIX account or a self-activated IBR-y-account. Afterwards you can login to this site. Chapter Slides Exercises 1. Kick-off  2. Deadlines 3. Velisarios, Formal Verification of Byzantine Fault Tolerant Protocols 4. Using RDMA for Replication Protocols 5. Leaderless BFT Replication | |||||||||||||||||||||||||||||||||||||||||||||
| Schedule | 03.11.2020, 13:00 Kick-Off Meeting (BBB) 11.01.2021, 16:45 Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq (BBB) 18.01.2021, 16:45 Remote Direct Memory Access on agreement and replication (BBB) 25.01.2021, 16:45 Leaderless Fault-Tolerant Replication (BBB) | |||||||||||||||||||||||||||||||||||||||||||||
| References | On World-Wide-Web, there are different ways to enhance your seminar presentations:
For the literature review there links might be helpful: | |||||||||||||||||||||||||||||||||||||||||||||
The SeminarThe preferred language for talk and essay is english. Each participant will take one or more papers under a specific topic. Participants are responsible for a peer review, including:
NotesPlease submit the essay as well as your presentation slides. The requirements for presentation and essay are listed as follows:
Each participant is supposed to do further research based on the paper. The supervisors are always glad to help in this case. The strength of the university depends on academic and personal integrity. In this seminar, essays must be done in your own words. Plagiarism is an offense against the examination regulations. TemplatesThe LaTeX template for seminar essay can be found here. Additional considerations for the design of the essay can be found on the website of IBR. LaTeX templates for presentation slides can be found here. Additional considerations for the design can be found on the website of IBR. | ||||||||||||||||||||||||||||||||||||||||||||||