Viktor Leis
- TU München -
Database/Unikernel
Co-Design in the Cloud

Julia Lawall
- INRIA -
Opening the Box:
Diagnosing Operating-System
Task-Scheduler Behaviour
on Highly Multicore Machines

Ralf Ramsauer
- OTH Regensburg -
Future Challenges for Systems
in
Quantum-Control Architectures:
Requirements, Open Questions,
and
Research Directions

Alberto Lerner
- Computing Flows -
Extending a CPU
via Type 1 CXL Devices
for Fun and Profit

Baptiste Lepers
- INRIA -
The challenges of
interacting with
unconventional memory

Marcus Völp
- University of Luxembourg -
Cyber Resilient
Operating Systems
-
or how to
construct systems
to pull themselves
out of the swamp

Thomas Haas
- TU Braunschweig -
Formal specification
language CAT
for weak memory models
and
bounded model checking
with Dartagnan

Bernhard Aichernig
- JKU Linz -
Topic: TBD