Fachgruppentreffen Bamberg 28./29. September 2023
| Tag 1: Donnerstag, 28. September 2023 | |
| 9:00-11:30 | Arbeitsgruppenbesprechung des SRA (Universität Hannover) |
| ab 12:00 | 🇩🇪/🇬🇧 Registrierung |
| 12:15 | 🇩🇪 Begrüßung |
| Session 1: Kernfragen (Chair: Christian Dietrich) | |
| 12:30 | 🇩🇪 Entwicklung von Kernelkompomenten in Rust am Beispiel eines Dateisystemtreibers [ | Folien ] Luca Kleinschmidt, Jonas Dittrich, Clemens Tiedt, Andreas Grapentin, Andreas Polze – Hasso-Plattner-Institut |
| 12:50 | 🇬🇧 Towards a Safe and Sound Operating System [ | Folien ] Martin Kröning, Stefan Lankes, Jonathan Klimt – RWTH Aachen |
| 13:10 | 🇬🇧 Towards Just-In-Time Compiling of Operating Systems [ | Folien ] Maximilian Ott, Phillip Raffeck, Volkmar Sieh, Wolfgang Schröder-Preikschat – FAU Erlangen-Nürnberg |
| 13:30 | 🇬🇧 Software-Defined CPU Modes [ | Folien ] Michael Roitzsch, Till Miemietz, Christian von Elm, Nils Asmussen – Barkhausen Institut gGmbh |
| 13:50 | Pause (30 Minuten) |
| Session 2: Sicher ist sicher (Chair: Horst Schirmeier) | |
| 14:20 | 🇬🇧 Invited Talk: Operating System Implications for Confidential Computing [ | Folien ] Jörg Rödel – SUSE |
| 14:50 | 🇬🇧 Language-Support for Correct and Reliable Enforcement of Access Control Policies [ | Folien ] Peter Amthor – TU Ilmenau |
| 15:10 | 🇬🇧 Enforcing Integrity and Software Fault Isolation in Microkernels with CHERI [ | Folien | Video ] Georg Lauterbach, Bohdan Trach, Horst Schirmeier – TU Dresden |
| 15:30 | Pause (30 Minuten) |
| Session 3: Abschlussarbeiten und neue Kollegen (Chair: Marcel Baunach) | |
| 16:00 | 🇩🇪/🇬🇧 Vorstellung neuer Kollegen Redha Gouicem – RWTH [ Folien ], Clemens Grelck – Friedrich-Schiller-Universität Jena [ Folien ] und Boris Koldehofe – TU Ilmenau [ Folien ] |
| 16:30 | Beste Abschlussarbeit der Fachgruppe Betriebssysteme: Clock-Tree-Aware Resource-Consumption Models for Embedded SoC Platforms [ Folien ] Eva Dengler, FAU Erlangen-Nürnberg |
| 17:00 | Beste Abschlussarbeit der Fachgruppe Betriebssysteme: reCoNix: A Reconfigurable, Upgrade- Transactional, Fully-Reproducible Container Runtime for Multi-Purpose IoT Devices based on NixOS Linux [ Folien ] Niklas Gollenstede, TU Hamburg |
| 17:30 | Ankündigungen, Treffen der Fachgruppe (ca. 30 Minuten) |
| 19:30 | Abendessen, Braugaststätte "Ahörnla" |
| Tag 2: Freitag, 29. September 2023 | |
| 8:55 | 🇩🇪 Begrüßung |
| Session 4: Evaluations (Chair: Timo Hönig) | |
| 9:00 | 🇬🇧 Log Parsing Evaluation in the Era of Modern Software Systems [ | Folien ] Stefan Petrescu, Floris den Hengst, Alexandru Uta, Jan S. Rellermeyer – Leibniz Universität Hannover |
| 9:20 | 🇬🇧 Artifact Evaluation Practices in SE/PL vs. Systems [ | Folien ] Stefan Winter – LMU München |
| 9:40 | 🇬🇧 One Solution to Rule Them All: ATTEST as Unified Testing Solution for Programming Courses [ | Paper | Folien ] Meinhard Kissich, Kristóf Kanics, Klaus Weinbauer, Tobias Scheipel, Marcel Baunach – TU Graz |
| 10:00 | Pause (30 Minuten) |
| Session 5: Resource Management (Chair: Michael Roitzsch) | |
| 10:30 | 🇬🇧 Managing Resources in the Data-Center with the MxKernel [ | Folien ] Michael Müller – Universität Osnabrück |
| 10:50 | 🇬🇧 Per-Process Memory Bandwidth Management for Heterogeneous Memory Systems [ | Folien ] Lukas Werling, Daniel Habicht, Frank Bellosa – KIT |
| 11:10 | 🇬🇧 NVall: A Crash-Resistant and Kernel-Compatible Memory Allocator for NVRAM [ | Paper | Folien ] Dustin Nguyen, Ole Wiedemann, Jörg Nolte, Wolfgang Schröder-Preikschat – FAU Erlangen-Nürnberg und BTU Cottbus |
| 11:30 | 🇬🇧 Enabling Carbon Awareness through an Operating-System Daemon (carbond) [ | Folien ] Benedict Herzog, Andreas Schmidt, Gregory Stock, Robin Ohs, Luis Gerhorst, Timo Hönig – Ruhr-Universität Bochum |
| 11:50 | Pause (30 Minuten) |
| Session 6: Compositions (Chair: Alexander Lochmann) | |
| 12:20 | 🇩🇪 Synthesis of Optimized AUTOSAR Embedded Systems [ | Folien ] Andreas Kässens – Leibniz-Universität Hannover |
| 12:40 | 🇬🇧 Process Composition with Typed Unix Pipes [ | Folien ] Michael Sippel, Horst Schirmeier – TU Dresden |
| 13:00 | Verabschiedung |