Lehrstuhl für Informatik 4 (Systemsoftware) / manycore / mazstab