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: t.b.a (First week of semester)
- Extended Abstract submission: 5 May
- First draft of paper: 5 June
- Presentations: t.b.a (12 June - 7 July)
- Final Paper: 19 July
In this seminar, we focus on the topic “Consistency and Coordination in Distributed Systems”.
- Paxos: The Part-time parliament, Paxos made simple
- Raft: In search of an understandable consensus algorithm
- ZooKeeper: Wait-free coordination for Internet-scale systems
- Practical Byzantine Fault Tolerance
- Distributed Snapshots: Determining Global States of Distributed Systems
- Spanner: Google’s Globally-Distributed Database
- Highly Available Transactions
- Incremental Consistency Guarantees for Replicated Objects
- Consistency Rationing in the Cloud:Pay only when it matters
- The Potential Dangers of Causal Consistency and an Explicit Solution
- Quantifying eventual consistency with Probabilistic Bounded Staleness
- Chain reaction: Causal+ consistent data store based on chain replication
If you have any questions concerning our seminar please send an e-mail to Deepthi Akkoorath.
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
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:
- Mike Ashby. How to write a paper. April 2005
- Han Xiao. How to write a seminar report. January 2013
- Simon Peyton Jones. How to write a great research paper
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.