Master Seminar: Summer Semester 2017

In the Summer Semester 2017 we offer a Master seminar “Software Engineering” (cf. 89-3372) on topics related to software technology.


The registration for the seminar is organized together with AG Software Engineering: Dependability. Please register for the seminar with AG SEDA. Please indicate your preferred group as AG Software Technology to select topics from our group. Please also list the lectures you have attended related to Distributed Systems and Database management.

Note that the number of places we can offer is limited.


This is a first draft of the schedule and is likely to change.

  • Registration: 3 March
  • Kickoff Meeting: April 19th, 16:30. Room 34-420
  • Extended Abstract submission: 5 May
  • First draft of paper: 5 June
  • Presentations: 9 June, 23 June, 30 June (room 32:439), 7 July(room 34:420). 14:00 - 16:00
  • Final Paper: 19 July

Presentation Schedule

Day 1 (June 9)

  • Practical Byzantine Fault Tolerance
  • Distributed Snapshots
  • Highly Available Transactions

Day 2 (June 23)

Day 3 (June 30)

  • Paxos
  • ZooKeeper: Wait-free coordination for Internet-scale systems
  • Chain reaction: Causal+consistent data store

Day 4 (July 7)

  • Raft
  • Consistency Rationing in the Cloud
  • Incremental Consistency Guarantees for Replicated Objects


In this seminar, we focus on the topic “Consistency and Coordination in Distributed Systems”.


If you have any questions concerning our seminar please send an e-mail to Deepthi Akkoorath.

General Remarks

The goal of a seminar is to introduce students to the major constituent of scientific method that is concerned with critically reading, understanding, summarizing, explaining and presenting existing scientific papers. The following links present this goal in more detail: General guidelines for seminars in English and German. This seminar in particular provides the students opportunity to get acquainted with the research in software engineering.

You will get a scientific paper, which you will have to explain in a term paper (10-15 pages LNCS style, details are given below). Your paper should be understandable by an average master-level computer science student, so you usually have to provide more background information, than what is given in the original paper. In particular this includes a clear description of the problem, a good motivation, and an understandable representation of the solution proposed by the original paper. Your paper may also include critique of the of the original paper, if appropriate.

You will also present the paper to other students. This presentation will take 20 to 30 minutes with around 15 minutes for questions and discussions.

Successful participation in the seminar requires:

  • Term Paper
  • Presentation


The master seminar has to be done in English.

Term paper (Preliminary and Revised Versions)

The term paper must be written in LNCS Style, a popular medium for efficient dissemination of new developments from all areas of computer science. We recommend to use LaTeX.

  • The LaTeX template with instructions can be downloaded here (local copy). We provide an example on how to use the LaTeX template here. You can compile the example using the command latexmk -pdf seminar.tex.

Your paper must be 10-15 pages long (including figures, references, etc.; however, you should not use big figures as space filler to get to 10 pages). Please submit the paper as a PDF file.

Here are some advice on writing your term paper in addition to the general guidelines:


Some bright people have given up their time to write some tips on how to do a presentation. As with other tips given on this page, we can’t encourage you enough to read them.