Programm (old)

Fachgruppentreffen Bamberg 28./29. September 2023

Stand: 11. September 2023
Tag 1: Donnerstag, 28. September 2023
ab 12:00 🇩🇪/🇬🇧 Registrierung
12:15 🇩🇪 Begrüßung
Session 1: Von Rust bis JIT (Chair: tbd)
12:30 🇩🇪 Entwicklung von Kernelkompomenten in Rust am Beispiel eines Dateisystemtreibers [ ]
Luca Kleinschmidt, Jonas Dittrich, Clemens Tiedt, Andreas Grapentin, Andreas Polze – Hasso-Plattner-Institut
12:55 🇬🇧 Towards a Safe and Sound Operating System [ ]
Martin Kröning, Stefan Lankes, Jonathan Klimt – RWTH Aachen
13:20 🇬🇧 Towards Just-In-Time Compiling of Operating Systems [ ]
Maximilian Ott – FAU Erlangen-Nürnberg
13:45 Pause (30 Minuten)
Session 2: Sicher ist sicher (Chair: tbd)
14:15 🇬🇧 Invited Talk: Operating System Implications for Confidential Computing [ ]
Jörg Rödel – SUSE
14:40 🇬🇧 Language-Support for Correct and Reliable Enforcement of Access Control Policies [ ]
Peter Amthor – TU Ilmenau
15:05 🇬🇧 Enforcing Integrity and Software Fault Isolation in Microkernels with CHERI [ ]
Georg Lauterbach, Bohdan Trach, Horst Schirmeier – TU Dresden
15:30 Pause (30 Minuten)
Session 3: Vermischtes (Chair: tbd)
16:00 🇬🇧 Software-Defined CPU Modes [ ]
Michael Roitzsch, Till Miemietz, Christian von Elm, Nils Asmussen – Barkhausen Institut gGmbh
16:25 🇩🇪/🇬🇧 Vorstellung neuer Kollegen
Redha Gouicem – RWTH, Clemens Grelck – Friedrich-Schiller-Universität Jena und Boris Koldehofe – TU Ilmenau
Session 4: Preisverleihung Abschlussarbeiten (Chair: Marcel Baunach)
17:00 🇩🇪 Beste Abschlussarbeit der Fachgruppe Betriebssysteme: Thema 1
t.b.a.
17:25 🇩🇪 Beste Abschlussarbeit der Fachgruppe Betriebssysteme: Thema 2
t.b.a.
17:50 Ankündigungen, Treffen der Fachgruppe (ca. 30 Minuten)
19:30 Abendessen, Braugaststätte "Ahörnla" [ ]
Tag 2: Freitag, 29. September 2023
8:25 🇩🇪 Begrüßung
Session 5: Evaluations (Chair: tbd)
8:30 🇬🇧 Log Parsing Evaluation in the Era of Modern Software Systems [ ]
Stefan Petrescu, Floris den Hengst, Alexandru Uta, Jan S. Rellermeyer – Leibniz Universität Hannover
8:55 🇬🇧 Artifact Evaluation Practices in SE/PL vs. Systems [ ]
Stefan Winter – LMU München
9:20 🇬🇧 One Solution to Rule Them All: ATTEST as Unified Testing Solution for Programming Courses [ ]
Meinhard Kissich, Kristóf Kanics, Klaus Weinbauer, Tobias Scheipel, Marcel Baunach – TU Graz
9:55 Pause (25 Minuten)
Session 6: Resource Management (Chair: tbd)
10:20 🇬🇧 Managing resources in the data-center with the MxKernel [ ]
Michael Müller – Universität Osnabrück
10:45 🇬🇧 Per-Process Memory Bandwidth Management for Heterogeneous Memory Systems [ ]
Lukas Werling, Daniel Habicht, Frank Bellosa – KIT
11:10 🇬🇧 NVall: A Crash-Resistant and Kernel-Compatible Memory Allocator for NVRAM [ ]
Dustin Nguyen, Ole Wiedemann, Jörg Nolte, Wolfgang Schröder-Preikschat – FAU Erlangen-Nürnberg und BTU Cottbus
11:35 Pause (25 Minuten)
Session 7: Compositions (Chair: tbd)
12:00 🇩🇪 Synthesis of Optimized AUTOSAR Embedded Systems [ ]
Andreas Kässens – Leibniz-Universität Hannover
12:25 🇬🇧 Process Composition with Typed Unix Pipes [ ]
Michael Sippel, Horst Schirmeier – TU Dresden
12:50 Verabschiedung
Impressum Datenschutz