| Carl Friedrich Gauß Faculty | Department of Computer Science

Institute of Operating Systems
and Computer Networks

Seminar Verteilte Systeme: Uncovering distributed computing principles

Semester

Winter 2020/2021

Winter 2019/2020 Summer 2019 Winter 2018/2019 Summer 2018 Winter 2017/2018 Summer 2017 Winter 2016/2017 Winter 2015/2016 Summer 2015 Winter 2014/2015 Summer 2014 Summer 2013 Summer 2012

Module #

INF-VS-041

Programmes

Bachelor Informatik, Bachelor Informations-Systemtechnik, Bachelor Wirtschaftsinformatik, Master Informatik, Master Informations-Systemtechnik, Master Wirtschaftsinformatik

IBR Group

DS (Prof. Kapitza)

Type

Seminar

Lecturer

Prof. Dr. Rüdiger Kapitza
Abteilungsleiter
rrkapitz[[at]]ibr.cs.tu-bs.de
+49 531 3913294
Room 135

Assistant

Ines Messadi
Wissenschaftliche Mitarbeiterin
messadi[[at]]ibr.cs.tu-bs.de
+49 531 3913295
Room 117

Credits

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:

Fault-tolerance, cryptography, and security
Can we formally verify distributed fault-tolerant protocols?
Replication protocols and optimization techniques
What different consistency models and what are the tradeoffs?
How can we reach a planet-scale system?
Hybrid protocols using trusted execution environment

The following is a preliminary list of topics. The papers might be extended or changed.

Seminar Topics

	Topic
	1) Effect of Remote Direct Memory Access on agreement and replication
	Microsecond Consensus for Microsecond Applications (OSDI'20)
	2) Formally verified Fault-tolerant protocols
	Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
	3) Adaptive security and trust infrastructure
	SBFT: A Scalable and Decentralized Trust Infrastructure EPIC: Efficient Asynchronous BFT with Adaptive Security
	4) Replication protocols, partitioning and consistency
	Building Consistent Transactions with Inconsistent Replication Hermes: a Fast, Fault-Tolerant and Linearizable Replication Protocol
	5) Using Trusted execution environement for replication
	ReplicaTEE: Enabling Seamless Replication of SGX Enclaves in the Cloud
	6) Automated testing of Fault tolerant protocols
	Twins: White-Glove Approach for BFT Testing
	7) How to scale replicated systems?
	State-Machine Replication for Planet-Scale Systems

Material

The material is only available to registered attendees. In order to register, you need either an IBR account or a self-activated IBR-y-account. Afterwards you can login to this site (with the function at the top of this page).

[ Podcast | Podcast aller Formate | Newsfeed aller Formate ]

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

Date	Description
[ Subscribe Calendar \| Download Calendar ]
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

Review Template Download

On World-Wide-Web, there are different ways to enhance your seminar presentations:

How to Read a Paper, S. Keshav, University of Waterloo
How to Give a Talk, Paul N. Edwards, School of Information, University of Michigan
How to Give a Good Presentation

For the literature review there links might be helpful:

(La)TeX Tips + Tricks

The Seminar

The 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:

Attend peer's presentation dry run and give feedback.
Review peer's essay before submission.
Collect questions to peer's presentation during discussion session.

Notes

Please submit the essay as well as your presentation slides. The requirements for presentation and essay are listed as follows:

Presentation and essay preferably in English.
Presentation time about 20 minutes.
Essay should comprise exact 6 pages without references.

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.

Templates

The 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.

last changed 2021-01-08, 17:07 by Ines Messadi