Advanced Seminar

This is where suggestions for topics for student lectures at the EZAG are collected.

The EZAG also serves as a platform for the advanced seminar, so there are no special dates for advanced seminar presentations. In order to give a lecture as a student in the advanced seminar, you should either choose a topic from the list on this page or suggest a topic yourself. Afterwards you should contact the supervisor of the chosen topic or me (if you have your own topic) to determine the further course of events and a date for the lecture.

In addition to the advanced seminar presentation, an elaboration is necessary. The exact content should be discussed with the supervisor after the presentation. The elaboration should not exceed 10 pages and should be handed in to the supervisor at most 4 weeks after the advanced seminar presentation. Presentaion and elaboration are necessary to get a certificate. General information on the structure of scientific papers can be found in the section "Thesis/Diploma Structure". The basic structure should be adapted as follows: Introduction, Problem, Related Work (1 page), Core Idea, Details of an aspect, Assessment, Summary. Note: The paper should be written as continuous text (no collection of headwords !), the Duden or spell checker is strongly recommended, page numbering is also desired.

The audience of advanced seminar presentations consists of advanced students and staff. It may be useful to make some references to the OS lecture in the presentation, furthermore basic concepts should be treated as known and the introduction to the lecture can usually be compact. The focus should be on an interesting scientific topic, so that everyone can learn something.

The presentation itself should be designed for a duration of about 30 minutes, unless otherwise agreed upon. Afterwards there are usually 15 minutes for questions. It is advisable to practice the presentation before, so that you can better estimate your own speed.

Suggestions For Topic

Capability-based security in programming languages

Task: Capabilities are a mechanism to implement access control. In the context of programming languages capabilities are used to write programs with the Principle of Least Authority (PoLA) in mind. The goal of this seminar topic is to present an overview of how capabilities are applied in programming languages (e.g. E, Pony, Monte, ...) and how these capabilitiies relate to the capabilities which are used in microkernel-based operating systems.

Resources:

• ERights (E)
• ERights Wiki
• Pony
• Capability-Based Type Systems for Concurrency Control (Dissertation)
• Monte

Supervisor: Matthias Hille