Fachgruppentreffen Hamburg 17./18. März 2022
Stand: 01. März 2022
| Tag 1: Donnerstag, 17. März 2022 | |
| 12:20 | Begrüßung |
| Session 1: The Foyer -- Entrace and Architecture (Chair: Horst Schirmeier) | |
| 12:55 | SmartOS: An OS Architecture for Sustainable Embedded Systems [ | Paper | Folien] Tobias Scheipel, Leandro Batista Ribeiro, Tim Sagaster and Marcel Baunach - Graz University of Technology |
| 13:20 | High-Level Interface for Asynchronous I/O using C++20 Coroutines, io_uring, and eBPF [ | Folien ] Hendrik Sieck - Technische Universität Hamburg |
| 13:45 | Flexible and Low-Overhead System-Call Aggregation using BPF [ | Folien ] Luis Gerhorst, Benedict Herzog, Stefan Reif, Wolfgang Schröder-Preikschat and Timo Hönig - Friedrich-Alexander-Universität Erlangen-Nürnberg, Ruhr-Universität Bochum |
| 14:10 | Pause (30 Minuten) |
| Session 2: The Parket -- Squarely Tiled and Densly Populated (Chair: Frank Bellosa) | |
| 14:40 | Fork à la carte für In-Memory-Datenbanken [ | Folien] Mario Mintel, Ralf Ramsauer, Daniel Lohmann, Stefanie Scherzinger and Wolfgang Mauerer - OTH Regensburg, Universität Hannover, Universität Passau |
| 15:05 | Lo(ck|g)-Free Page Allocator for Non-Volatile Memory [ | Folien ] Lars Wrenger - Universität Hannover |
| 15:55 | Multivariant ELF Executables for Dynamic Variability via Address-Space Views [ | Folien] Dominik Töllner - Universität Hannover |
| 16:20 | Treffen der Fachgruppe (30 Minuten) |
| 16:50 | Transfer zum Harburger Hafen |
| 17:30 | Hafenrundfahrt zur Elbphilharmonie |
| 18:30 | Research Incubator Operating Systems |
| 19:30 | Gemeinsames Essen in der Elbphilharmonie |
| Tag 2: Freitag, 18. März 2022 | |
| 8:30 | Begrüßung |
| Session 3: The Ushers -- Supervision and Control (Chair: Daniel Lohmann) | |
| 8:40 | DMA Security in the Presence of IOMMUs [ | Paper | Folien] Christian Schwarz, Viktor Reusch and Maksym Planeta - TU Dresden |
| 9:05 | FlexOS: Towards Flexible OS Isolation [ | Folien] Hugo Lefeuvre, Vlad Andrei Bădoiu, Alexander Jung, Stefan Lucian Teodorescu, Sebastian Rauch, Felipe Huici, Costin Raiciu and Pierre Olivier - The University of Manchester, University Politehnica of Bucharest, Lancaster University, Karlsruhe Institute of Technology, NEC Europe Ltd. |
| 9:30 | Enabling Control-Flow Integrity with Pointer Authentication in FPGA SoC Platforms [ | Folien] Gabriele Serra, Pietro Fara, Giorgiomaria Cicero, Francesco Restuccia and Alessandro Biondi - Scuola Superiore Sant'Anna, University of California San Diego |
| 9:55 | Optimizing Software-based Soft-Error Detector Configurations [ | Folien ] Robin Thunig, Michael Lenz, Peter Ulbrich and Horst Schirmeier - TU Dortmund, TU Dresden |
| 10:20 | Pause (10 Minuten) |
| 10:30 | Verleihung des Promotionspreises TBA |
| 11:15 | Pause (30 Minuten) |
| Session 4: The Conductor -- Confusion in Unison (Chair: Adam Lackorzynski) | |
| 11:45 | Why Multi-Threading Should No Longer Be a DIY Job [ | Paper | Folien ] Jannes Timm and Jan S. Rellermeyer -- TU Delft, Universität Hannover |
| 12:10 | CLoF: A Compositional Lock Framework for Multi-level NUMA Systems [ | Folien ] Rafael Lourenço de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig and Haibo Chen - Huawei Dresden Research Center, Technische Universität Dresden, Huawei OS Kernel Lab, Shanghai Jiao Tong University |
| 12:35 | Performance is not Boolean: Supporting Scalar Configuration Variables in NFP Models [ | Paper | Folien ] Daniel Friesel and Olaf Spinczyk - Universität Osnabrück |
| 13:00 | Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation [ | Folien ] Vignesh Manjunath, Konrad Diwold and Marcel Baunach - Pro2Future GmbH, Graz University of Technology |
| 13:25 | Verabschiedung |