{"id":12279,"date":"2023-09-12T10:32:15","date_gmt":"2023-09-12T08:32:15","guid":{"rendered":"https:\/\/www.betriebssysteme.org\/?page_id=12279"},"modified":"2023-10-04T13:29:20","modified_gmt":"2023-10-04T11:29:20","slug":"programm","status":"publish","type":"page","link":"https:\/\/www.betriebssysteme.org\/aktivitaeten\/treffen\/2023-bamberg\/programm\/","title":{"rendered":"Programm"},"content":{"rendered":"
\n
\n\t

Fachgruppentreffen Bamberg 28.\/29. September 2023<\/h2>\n

<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Tag 1: Donnerstag, 28. September 2023<\/td>\n<\/tr>\n
9:00-11:30<\/td>\nArbeitsgruppenbesprechung des SRA (Universit\u00e4t Hannover)<\/td>\n<\/tr>\n
ab 12:00<\/td>\n\ud83c\udde9\ud83c\uddea\/\ud83c\uddec\ud83c\udde7 Registrierung<\/td>\n<\/tr>\n
12:15<\/td>\n\ud83c\udde9\ud83c\uddea Begr\u00fc\u00dfung<\/td>\n<\/tr>\n
<\/td>\nSession 1: Kernfragen (Chair: Christian Dietrich)<\/td>\n<\/tr>\n
12:30<\/td>\n\ud83c\udde9\ud83c\uddea Entwicklung von Kernelkompomenten in Rust am Beispiel eines Dateisystemtreibers [ <\/i><\/a> | Folien<\/a> ]
\nLuca Kleinschmidt, Jonas Dittrich, Clemens Tiedt, Andreas Grapentin, Andreas Polze \u2013 Hasso-Plattner-Institut<\/span><\/td>\n<\/tr>\n
12:50<\/td>\n\ud83c\uddec\ud83c\udde7 Towards a Safe and Sound Operating System [ <\/i><\/a> | Folien<\/a> ]
\nMartin Kr\u00f6ning, Stefan Lankes, Jonathan Klimt \u2013 RWTH Aachen
\n<\/span><\/td>\n<\/tr>\n
13:10<\/td>\n\ud83c\uddec\ud83c\udde7 Towards Just-In-Time Compiling of Operating Systems [ <\/i><\/a> | Folien<\/a> ]
\nMaximilian Ott, Phillip Raffeck, Volkmar Sieh, Wolfgang Schr\u00f6der-Preikschat \u2013 FAU Erlangen-N\u00fcrnberg
\n<\/span><\/td>\n<\/tr>\n
13:30<\/td>\n\ud83c\uddec\ud83c\udde7 Software-Defined CPU Modes [ <\/i><\/a> | Folien<\/a> ]
\nMichael Roitzsch, Till Miemietz, Christian von Elm, Nils Asmussen \u2013 Barkhausen Institut gGmbh
\n<\/span><\/td>\n<\/tr>\n
13:50<\/td>\nPause (30 Minuten)<\/td>\n<\/tr>\n
<\/td>\nSession 2: Sicher ist sicher (Chair: Horst Schirmeier)<\/td>\n<\/tr>\n
14:20<\/td>\n\ud83c\uddec\ud83c\udde7 Invited Talk:<\/strong> Operating System Implications for Confidential Computing [ <\/i><\/a> | Folien<\/a> ]
\nJ\u00f6rg R\u00f6del \u2013 SUSE
\n<\/span><\/td>\n<\/tr>\n
14:50<\/td>\n\ud83c\uddec\ud83c\udde7 Language-Support for Correct and Reliable Enforcement of Access Control Policies [ <\/i><\/a> | Folien<\/a> ]
\nPeter Amthor \u2013 TU Ilmenau
\n<\/span><\/td>\n<\/tr>\n
15:10<\/td>\n\ud83c\uddec\ud83c\udde7 Enforcing Integrity and Software Fault Isolation in Microkernels with CHERI [ <\/i><\/a> | Folien<\/a> | Video<\/a> ]
\nGeorg Lauterbach, Bohdan Trach, Horst Schirmeier \u2013 TU Dresden
\n<\/span><\/td>\n<\/tr>\n
15:30<\/td>\nPause (30 Minuten)<\/td>\n<\/tr>\n
<\/td>\nSession 3: Abschlussarbeiten und neue Kollegen (Chair: Marcel Baunach)<\/td>\n<\/tr>\n
16:00<\/td>\n\ud83c\udde9\ud83c\uddea\/\ud83c\uddec\ud83c\udde7 Vorstellung neuer Kollegen
\nRedha Gouicem \u2013 RWTH [ Folien<\/a> ], Clemens Grelck \u2013 Friedrich-Schiller-Universit\u00e4t Jena [ Folien<\/a> ] und Boris Koldehofe \u2013 TU Ilmenau [ Folien<\/a> ]
\n<\/span><\/td>\n<\/tr>\n
16:30<\/td>\nBeste Abschlussarbeit der Fachgruppe Betriebssysteme:
Clock-Tree-Aware Resource-Consumption Models for Embedded SoC Platforms [ Folien<\/a> ]
\nEva Dengler, FAU Erlangen-N\u00fcrnberg
\n<\/span><\/td>\n<\/tr>\n
17:00<\/td>\nBeste Abschlussarbeit der Fachgruppe Betriebssysteme:
reCoNix: A Reconfigurable, Upgrade- Transactional, Fully-Reproducible Container Runtime for Multi-Purpose IoT Devices based on NixOS Linux [ Folien<\/a> ]
\nNiklas Gollenstede, TU Hamburg
\n<\/span><\/td>\n<\/tr>\n
17:30<\/td>\nAnk\u00fcndigungen, Treffen der Fachgruppe (ca. 30 Minuten)<\/td>\n<\/tr>\n
19:30<\/td>\nAbendessen, Braugastst\u00e4tte \"Ah\u00f6rnla\"<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Tag 2: Freitag, 29. September 2023<\/td>\n<\/tr>\n
8:55<\/td>\n\ud83c\udde9\ud83c\uddea Begr\u00fc\u00dfung<\/td>\n<\/tr>\n
<\/td>\nSession 4: Evaluations (Chair: Timo H\u00f6nig)<\/td>\n<\/tr>\n
9:00<\/td>\n\ud83c\uddec\ud83c\udde7 Log Parsing Evaluation in the Era of Modern Software Systems [ <\/i><\/a> | Folien<\/a> ]
\nStefan Petrescu, Floris den Hengst, Alexandru Uta, Jan S. Rellermeyer \u2013 Leibniz Universit\u00e4t Hannover
\n<\/span>\n<\/td>\n<\/tr>\n
9:20<\/td>\n\ud83c\uddec\ud83c\udde7 Artifact Evaluation Practices in SE\/PL vs. Systems [ <\/i><\/a> | Folien<\/a> ]
\nStefan Winter \u2013 LMU M\u00fcnchen
\n<\/span><\/td>\n<\/tr>\n
9:40<\/td>\n\ud83c\uddec\ud83c\udde7 One Solution to Rule Them All: ATTEST as Unified Testing Solution for Programming Courses [ <\/i><\/a> | <\/i> Paper <\/a> | Folien<\/a> ]
\nMeinhard Kissich, Krist\u00f3f Kanics, Klaus Weinbauer, Tobias Scheipel, Marcel Baunach \u2013 TU Graz
\n<\/span><\/td>\n<\/tr>\n
10:00<\/td>\nPause (30 Minuten)<\/td>\n<\/tr>\n
<\/td>\nSession 5: Resource Management (Chair: Michael Roitzsch)<\/td>\n<\/tr>\n
10:30<\/td>\n\ud83c\uddec\ud83c\udde7 Managing Resources in the Data-Center with the MxKernel [ <\/i><\/a> | Folien<\/a> ]
\nMichael M\u00fcller \u2013 Universit\u00e4t Osnabr\u00fcck
\n<\/span><\/td>\n<\/tr>\n
10:50<\/td>\n\ud83c\uddec\ud83c\udde7 Per-Process Memory Bandwidth Management for Heterogeneous Memory Systems [ <\/i><\/a> | Folien<\/a> ]
\nLukas Werling, Daniel Habicht, Frank Bellosa \u2013 KIT
\n<\/span><\/td>\n<\/tr>\n
11:10<\/td>\n\ud83c\uddec\ud83c\udde7 NVall: A Crash-Resistant and Kernel-Compatible Memory Allocator for NVRAM [ <\/i><\/a> | <\/i> Paper<\/a> | Folien<\/a> ]
\nDustin Nguyen, Ole Wiedemann, J\u00f6rg Nolte, Wolfgang Schr\u00f6der-Preikschat \u2013 FAU Erlangen-N\u00fcrnberg und BTU Cottbus
\n<\/span><\/td>\n<\/tr>\n
11:30<\/td>\n\ud83c\uddec\ud83c\udde7 Enabling Carbon Awareness through an Operating-System Daemon (carbond) [ <\/i><\/a> | Folien<\/a> ]
\nBenedict Herzog, Andreas Schmidt, Gregory Stock, Robin Ohs, Luis Gerhorst, Timo H\u00f6nig \u2013 Ruhr-Universit\u00e4t Bochum
\n<\/span><\/td>\n<\/tr>\n
11:50<\/td>\nPause (30 Minuten)<\/td>\n<\/tr>\n
<\/td>\nSession 6: Compositions (Chair: Alexander Lochmann)<\/td>\n<\/tr>\n
12:20<\/td>\n\ud83c\udde9\ud83c\uddea Synthesis of Optimized AUTOSAR Embedded Systems [ <\/i><\/a> | Folien<\/a> ]
\nAndreas K\u00e4ssens \u2013 Leibniz-Universit\u00e4t Hannover
\n<\/span><\/td>\n<\/tr>\n
12:40<\/td>\n\ud83c\uddec\ud83c\udde7 Process Composition with Typed Unix Pipes [ <\/i><\/a> | Folien<\/a> ]
\nMichael Sippel, Horst Schirmeier \u2013 TU Dresden
\n<\/span>\n<\/td>\n<\/tr>\n
13:00<\/td>\nVerabschiedung<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>","protected":false},"excerpt":{"rendered":"

Fachgruppentreffen Bamberg 28.\/29. September 2023 Tag 1: Donnerstag, 28. September 2023 9:00-11:30 Arbeitsgruppenbesprechung des SRA (Universit\u00e4t Hannover) ab 12:00 \ud83c\udde9\ud83c\uddea\/\ud83c\uddec\ud83c\udde7 Registrierung 12:15 \ud83c\udde9\ud83c\uddea Begr\u00fc\u00dfung Session 1: Kernfragen (Chair: Christian Dietrich) 12:30 \ud83c\udde9\ud83c\uddea Entwicklung von Kernelkompomenten in Rust am Beispiel eines Dateisystemtreibers [ | Folien ] Luca Kleinschmidt, Jonas Dittrich, Clemens Tiedt, Andreas Grapentin, Andreas Polze […]<\/p>\n","protected":false},"author":21,"featured_media":0,"parent":11783,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-12279","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/12279","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/users\/21"}],"replies":[{"embeddable":true,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/comments?post=12279"}],"version-history":[{"count":37,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/12279\/revisions"}],"predecessor-version":[{"id":12369,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/12279\/revisions\/12369"}],"up":[{"embeddable":true,"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/pages\/11783"}],"wp:attachment":[{"href":"https:\/\/www.betriebssysteme.org\/wp-json\/wp\/v2\/media?parent=12279"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}