Dies ist die Veranstaltung für das WS21, für die neuen Vortragstermine muss zu Oberseminar SRA gewechselt werden.

Oberseminar System- und Rechnerarchitektur (OSRA)


Semester:
fortlaufend

Leistungspunkte
keine (Teil des Moduls Bachelor-/Masterarbeit)

Dozent:
Daniel Lohmann

Zeit/Raum:
Mittwoch, 10:00 bis 11:30 Uhr

Stud.IP-Veranstaltung:

Seminar für BA/MA-Arbeiter und Doktoranden am SRA

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
40 06.10.2021 BA/MA Abschlussarbeit System Calls as Prepared Statements: Extend ARA to Precompute Interaction System Calls Lukas Berg
41 13.10.2021 BA/MA Abschlussarbeit Compile-Time Malloc: Static Analysis and Replacement of Formerly Dynamic Memory Allocations using LLVM and the ARA Framework. Christoph Möller
42 20.10.2021 BA/MA Konzeptvortrag Lo(ck💥g)-Free Page Allocator for NVM Lars Wrenger
44 03.11.2021 BA/MA Abschlussarbeit Multivariant ELF Executables for Dynamic Variability via Address-Space Views Dominik Töllner
45 10.11.2021 BA/MA Abschlussarbeit Design and Implementation of an Early Timeout-Detection Mechanism for Systematic Fault-Injection Campaigns Tim-Marek Thomas
45 10.11.2021 BA/MA Abschlussarbeit Efficient Change Impact Quantification by Global AST Hashing Maximilian Werner
46 17.11.2021 BA/MA Abschlussarbeit Extending DragonFly BSD for Synchronized Thread-Level Address-Space Views N/A
47 24.11.2021 BA/MA Konzeptvortrag Bringing Light into the Dark: Interactive Graph Visualization of Static Analyses for Real-Time Operating Systems N/A
48 01.12.2021 BA/MA Abschlussarbeit Source-to-source Transformation with Clang: Traversing the AST to Uniquely Identify and Mark C++ Macros N/A
49 08.12.2021 Doktorandenseminar Gerion Entrup
50 15.02.2021 Doktorandenseminar Florian Rommel
51 21.12.2021 Promotionsvortrag OSS Architecture for Mixed-Criticality Systems: A Dual View from a Software and System Engineering Perspective Ralf Ramsauer Zeit:
15:30–16:30
2 12.01.2022 BA/MA Konzeptvortrag Let ARA Fly Fast: Optimizing an LLVM-Based Whole-System Optimizer for Embedded Real-Time Systems via Systematic Profiling N/A
2 12.01.2022 Doktorandenseminar Björn Fiedler
3 19.01.2022 Doktorandenseminar Tobias Landsberg
6 9.02.2022 Doktorandenseminar Towards modern Certifiable Safety-Critical OSes: Overtook Challenges in Software Infrastructure and Resources Management Development Gabriele Serra
8 23.02.2022 Projektvortrag Wer finanziert Forschung: Drittmittelprojekte am SRA Daniel Lohmann
10 09.03.2022 BA/MA Konzeptvortrag Design and Implementation of a Windows based Kernel Anti-Cheat to Ensure Realtime Integrity and a Tamper-Free Environment N/A
12 23.03.2022 BA/MA Abschlussarbeit Bringing Light into the Dark: Interactive Graph Visualization of Static Analyses for Real-Time Operating Systems N/A

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