Oberseminar System- und Rechnerarchitektur (OSRA)

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

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
15 14.04.2021 BA/MA Abschlussarbeit Entwurf und Implementierung einer leichtgewichtigen Linux-Programmbibliothek für persistent-adressierte, nicht-flüchtige Speicherbereich Niklas Hoh
17 28.04.2021 BA/MA Konzeptvortrag Compile-Time Malloc: Static Analysis and Replacement of Formerly Dynamic Memory Allocations using LLVM and the ARA Framework. Christoph Möller
20 19.05.2021 BA/MA Konzeptvortrag Slothful Bird: Extend the ARA System Generator by a Sloth Backend for FreeRTOS and OSEK N/A
19.05.2021 BA/MA Konzeptvortrag Whole-Program Analysis of POSIX/Linux-Applications: Design and Implementation of an Operating-System Model Jan Neugebauer
19.05.2021 BA/MA Konzeptvortrag Design and Implementation of an Early Timeout-Detection Mechanism for Systematic Fault-Injection Campaigns Tim-Marek Thomas
21 26.05.2021 BA/MA Konzeptvortrag System Calls as Prepared Statements: Extend ARA to Precompute Interaction System Calls N/A
26.05.2021 BA/MA Konzeptvortrag Multivariant ELF Executables for Dynamic Variability via Address-Space Views N/A
22 02.06.2021 BA/MA Konzeptvortrag Efficient Change Impact Quantification by Global AST Hashing Maximilian Werner
02.06.2021 BA/MA Konzeptvortrag Meson Language Design: Construction and Automatic Checking of a Meson-Object Classification Paul Aumann
23 09.06.2021 BA/MA Konzeptvortrag Fixed-Point Analysis in SVF: Iterative Value Flow Graph Construction N/A
25 23.06.2021 BA/MA Abschlussarbeit Pruning of Soft-Error Fault Spaces by Dynamic Register-Usage Tracing in a Formal Instruction-Set Model Yannick Loeck
28 14.07.2021 BA/MA Konzeptvortrag Extending DragonFly BSD for Synchronized Thread-Level Address-Space Views N/A
29 21.07.2021 BA/MA Konzeptvortrag Preprocessed information: Extend the C preprocessor with source code markers N/A
30 28.07.2021 BA/MA Abschlussarbeit Vermeidung von Seitenfehlern zum Programmstart durch einen persistent-prädiktiven Seitenzwischenspeicher im Linux Kern Simon Burandt
35 01.09.2021 BA/MA Abschlussarbeit Whole-Program Analysis of POSIX/Linux-Applications: Design and Implementation of an Operating-System Model Jan Neugebauer
37 14.09.2021 BA/MA Abschlussarbeit Meson Language Design: Construction and Automatic Checking of a Meson-Object Classification Paul Aumann

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