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 |