Oberseminar System- und Rechnerarchitektur (OSRA)

Art der Veranstaltung: Oberseminar (Seminar für BA/MA-Arbeiter und Doktoranden am SRA)
Semester: fortlaufend
Dozent: Daniel Lohmann
Creditpoints: keine (Teil des Moduls BA oder MA)
Zeit: Mittwochs, 10:00–11:30

Inhalt

Im Rahmen des Oberseminars werden im Wechsel wissenschaftliche Grundlagen erarbeitet sowie die eigenen Projekte im Rahmen der Bachelorarbeit, Masterarbeit oder Dissertation präsentiert und diskutiert.

Das Oberseminar richtet sich vorrangig an studentische Arbeiter und Doktoranden am SRA. Eine Teilnahme für andere Mitglieder der Universität ist auf Nachfrage möglich.

Semesterplan

In diesen Semester finden die Vorträge im BBB-Raum an der Stud.IP-Veranstaltung statt.

KW Datum Format Thema Durchführender Anmerkungen
42 14.10.2020 BA/MA Abschlussarbeit Design and Implementation of a Graphical Simulator for a Pipelined Processor Architecture Kwok-Fung Choi
44 28.10.2020 BA/MA Abschlussarbeit Transient-Fault Resilience of a Capability-enabled Processor Plattform Malte Bargholz -
45 04.11.2020 BA/MA Konzeptvortrag Erweiterung des Python-Programmiermodells um NVRAM-persistierte Sprachobjekte N/A
04.11.2020 SRA::Talk<T> OSDI: From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes Florian Rommel
46 11.11.2020 BA/MA Abschlussarbeit Formalizing the Execution Semantics of the AVR Instruction Set with the Description Language SAIL Luca Nedaskovskij
47 18.11.2020 BA/MA Abschlussarbeit Erweiterung des Linux-Kerns um mehrstufige Seitenumlagerung für Systeme mit nichtflüchtigem Speicher (NVM) Christian Müller
49 02.12.2020 BA/MA Konzeptvortrag Design and Implementation of Benchmarks for Systematic Fault Injection Jannis Bujak
50 09.12.2020 BA/MA Konzeptvortrag Design und Implementierung eines Zephyr-RTOS-Modells für ARA zur statischen Whole-System-Analyse Kenny Albes
50 09.12.2020 BA/MA Abschlussarbeit Masterarbeit Christian Ewert Außerplanmäßiger Sondertermin, 10:00
51 16.12.2020 BA/MA Konzeptvortrag Pruning of Soft-Error Fault Spaces by Dynamic Register-Usage Tracing in a Formal Instruction-Set Model Yannick Loeck
16.12.2020 BA/MA Konzeptvortrag Entwurf und Implementierung einer leichtgewichtigen Linux-Programmbibliothek für persistent-adressierte, nicht-flüchtige Speicherbereich Niklas Hoh
3 20.01.2021 BA/MA Abschlussarbeit MultiSSE: Full Static Emulation of a Multicore System at the example of AUTOSAR RTOS Fredo Nowak
20.01.2021 BA/MA Konzeptvortrag Vermeidung von Seitenfehlern zum Programmstart durch einen persistent-prädiktiven Seitenzwischenspeicher im Linux Kern Simon Burandt
4 27.01.2021 Doktorandenseminar Oskar Pusz
5 03.02.2021 Doktorandenseminar Gerion Entrup
6 10.02.2021 Doktorandenseminar Florian Rommel
7 17.02.2021 Doktorandenseminar Björn Fiedler
8 24.02.2021 Doktorandenseminar Stefan Naumann
9 03.03.2021 Doktorandenseminar Tobias Landsberg
10 10.03.2021 BA/MA Abschlussarbeit Design und Implementierung eines Zephyr-RTOS-Modells für ARA zur statischen Whole-System-Analyse Kenny Albes
10.03.2021 Doktorandenseminar Andreas Ziegler
11 17.03.2021 Doktorandenseminar Ralf Ramsauer
12 24.03.2021 BA/MA Abschlussarbeit Design and Implementation of Benchmarks for Systematic Fault Injection Jannis Bujak

Leseliste

Grundlagen – Schreiben, Lesen und Bewerten akademischer Texte
Das Schreiben einer wissenschaftlichen Arbeit – sei es eine Seminar, Bachelor- oder Masterarbeit, ein wissenschaftlicher Artikel oder einee Dissertation – erfordert zunächst einmal: Lesen und Bewerten bestehender Arbeiten! Im Folgenden ein paar hilfreiche Quellen, die sich mit dem Erstellen [1], Erschließen [2] und kritischen Bewerten [5] wissenschaftlicher Texte befassen. Dabei muss man sowohl auf der Schreiber- wie auf der Leserseite oft mit Zahlen, Statistiken und Benchmarks umgehen. Wie man hier selber sauber arbeitet und Schwachstellen in anderen Argumentationen entlarft, vermitteln die Quellen [3] und [4].

  1. Tips and Guidance for Students Writing Papers and Reports
    Gernot Heiser.
    URL [BibTex]
  2. How to Read a Paper
    S. KeshavSIGCOMM Comput. Commun. Rev.37.3ACM2007.
    PDF 10.1145/1273445.1273458 [BibTex]
  3. Systems Benchmarking Crimes
    Gernot Heiser.
    URL [BibTex]
  4. How Not to Lie with Statistics: The Correct Way to Summarize Benchmark Results
    Philip J. Fleming, John J. WallaceCommun. ACM29.3ACM1986.
    PDF 10.1145/5666.5673 [BibTex]
  5. Writing Reviews for Systems Conferences
    Timothy Roscoe2007.
    PDF [BibTex]

Anmeldung und weitere Infos

Für diese Veranstaltung ist eine Online-Anmeldung über Stud.IP erforderlich. Bitte registrieren Sie sich (falls noch nicht geschehen) für Stud.IP und tragen Sie sich dort in die entsprechende Veranstaltung ein.

Stud.IP Veranstaltungen
OSRA