Programm (Stand 09.09.2025)

Programm des Fachgruppentreffens in Aachen 25./26. September 2025

 
Tag 1: Donnerstag, 25. September 2025
12:15 🇩🇪/🇬🇧 Begrüßung
Session 1: Prozesse & Analyse
12:30 🇬🇧 Spork: A posix_spawn you can use as a fork []
Manuel Vögele, Christopher Thomas, Timo Hönig
13:00 🇬🇧 Dynamic Fuzzing-Based Whole-System Timing Analysis []
Alwin Berger, Simon Schuster, Peter Wägemann, Peter Ulbrich
13:30 🇬🇧 Compile-Time Resource Safety for GPU APIs: A Low-Overhead Typestate Framework []
Tihomir Thomas Bicanic
13:45 Kaffeepause (15 Minuten)
Session 2: Sicherheit & Fehlertoleranz
14:15 🇬🇧 Enforcing Flexible Access Control Policies in a Rust-based Linux Security Module []
Lukas Fischer
14:45 🇩🇪 Systemweite Fehlertoleranz für Systemaufrufe mittels einer Wiederversuchslogik implementiert als Kern‑Modul für Linux []
Luca Kleinschmidt, Lukas Pirl, Andreas Polze
15:15 🇬🇧 PatchyBFT: LLM-based Diversification of Byzantine Fault-Tolerant Systems []
Arne Vogel, Sebastian Schwarzmann, Rüdiger Kapitza
15:30 Kaffeepause (15 Minuten)
Session 3: Simulation & Nachwuchs
16:00 🇬🇧 Full System Simulation for Early Software Development and Testing
Lukas Jünger, Machineware (Invited Talk)
16:30 Absolventenpreis
17:00 Besichtigung des E.ON Energy Research Centers
17:30 Treffen der Fachgruppe
19:00 Social Event, Living in Magellan
Tag 2: Freitag, 26. September 2025
Session 4: Dependability & Accessibility
09:00 🇬🇧 Store-and-forward routing for Energy?
Sebastian Schwarz (Invited Talk)
09:30 🇬🇧 On the Applicability of State Machine Replication for Dependability in Smart Grids []
Armin Stocker, Franz Hauck, Hermann de Meer
10:00 🇬🇧 Screen Readers -- Out of Sight, but in the TCB []
Sebastian Humenda, Samuel Thibault, Horst Schirmeier
10:30 Kaffeepause (15 Minuten)
Session 5: Betriebssysteme & Virtualisierung
10:45 🇬🇧 Programming Model for Cyber-Physical Systems []
Martin Richter, Matthias Werner
11:15 🇬🇧 PaCaR: Improved Buffered I/O Locality on NUMA Systems with Page Cache Replication []
Jérôme Coquisart, Redha Gouicem
11:45 🇬🇧 Multi-Format Virtual-Memory Objects in the Linux Kernel: Sharing Memory Between Hosts and QEMU Virtual Machines []
Nils Fuhler
12:15 🇬🇧 Confidential Computing in a nutshell — Enabling SEV in HermitOS []
Sarah Simon, Jonathan Klimt, Stefan Lankes
gegen 13:00 🇩🇪/🇬🇧 Verabschiedung