Programm (20 Minuten-Slots)

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: Kernfragen (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:50	🇬🇧 Towards a Safe and Sound Operating System [ ] Martin Kröning, Stefan Lankes, Jonathan Klimt – RWTH Aachen
13:10	🇬🇧 Towards Just-In-Time Compiling of Operating Systems [ ] Maximilian Ott – FAU Erlangen-Nürnberg
13:30	🇬🇧 Software-Defined CPU Modes [ ] Michael Roitzsch, Till Miemietz, Christian von Elm, Nils Asmussen – Barkhausen Institut gGmbh
13:50	Pause (30 Minuten)
	Session 2: Sicher ist sicher (Chair: tbd)
14:20	🇬🇧 Invited Talk: Operating System Implications for Confidential Computing [ ] Jörg Rödel – SUSE
14:50	🇬🇧 Language-Support for Correct and Reliable Enforcement of Access Control Policies [ ] Peter Amthor – TU Ilmenau
15:10	🇬🇧 Enforcing Integrity and Software Fault Isolation in Microkernels with CHERI [ ] Georg Lauterbach, Bohdan Trach, Horst Schirmeier – TU Dresden
15:30	Pause (30 Minuten)
16:00	🇩🇪/🇬🇧 Vorstellung neuer Kollegen Redha Gouicem – RWTH, Clemens Grelck – Friedrich-Schiller-Universität Jena und Boris Koldehofe – TU Ilmenau
	Session 3: Absolventenpreise der Fachgruppe (Chair: Marcel Baunach)
16:30	Clock-Tree–Aware Resource-Consumption Models for Embedded SoC Platforms Eva Dengler - FAU Erlangen-Nürnberg (Masterarbeit, Betreuer: Peter Wägemann)
17:00	reCoNix: A Reconfigurable, Upgrade-Transactional, Fully-Reproducible Container Runtime for Multi-Purpose IoT Devices based on NixOS Linux Niklas Gollenstede - TU Hamburg (Masterarbeit, Betreuer: Christian Dietrich)
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 5: Evaluations (Chair: tbd)
9:00	🇬🇧 Log Parsing Evaluation in the Era of Modern Software Systems [ ] Stefan Petrescu, Floris den Hengst, Alexandru Uta, Jan S. Rellermeyer – Leibniz Universität Hannover
9:20	🇬🇧 Artifact Evaluation Practices in SE/PL vs. Systems [ ] Stefan Winter – LMU München
9:40	🇬🇧 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
10:00	Pause (30 Minuten)
	Session 6: Resource Management (Chair: tbd)
10:30	🇬🇧 Managing Resources in the Data-Center with the MxKernel [ ] Michael Müller – Universität Osnabrück
10:50	🇬🇧 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:30	🇬🇧 Enabling Carbon Awareness through an Operating-System Daemon (carbond) [ ] Benedict Herzog, Andreas Schmidt, Gregory Stock, Robin Ohs, Luis Gerhorst, Timo Hönig – Ruhr-Universität Bochum
11:50	Pause (30 Minuten)
	Session 7: Compositions (Chair: tbd)
12:20	🇩🇪 Synthesis of Optimized AUTOSAR Embedded Systems [ ] Andreas Kässens – Leibniz-Universität Hannover
12:40	🇬🇧 Process Composition with Typed Unix Pipes [ ] Michael Sippel, Horst Schirmeier – TU Dresden
13:00	Verabschiedung