Viktor Leis
Database/Unikernel
Co-Design in the Cloud

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

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

Baptiste Lepers
The challenges of
interacting with
unconventional memory

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

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

Bernhard Aichernig
Topic: TBD