NetOS
We are the Network and Operating Systems research group.
We design and build real-world systems, from large server-grade computers to the smallest SoCs. Our work extends the boundary of what's possible in systems research, while ensuring that we have solid foundations for applications to run on top of.
Research projects
Enzian is a heterogeneous server platform for exploring the realm of cache coherent interconnects. It features a server-class CPU that shares a cache-coherent interconnect with a large FPGA, and support for ample memory and network bandwidth on both sides. See the external page Enzian web page for more information about Enzian.
Kirsch is our work in designing operating systems that understand the platform they run on. In order to make some sense of the complexity of modern SoCs, we use formal address decoding models to derive configurations for hardware translation and protection units that give us hard guarantees about what the individual soft- and firmware components can and cannot do.
Group members
Faculty
Postdocs
- Dr. David Cock, Senior Researcher and Lecturer
Doctoral Students
- Ben Fiedler
- Nora Hossle
- Zikai Liu
- Roman Meier
- Anastasiia Ruzhanskaia
- Jasmin Schult
- Daniel Schwyn
- Pengcheng Xu