Research

Exploring Intralingual Design in Operating Systems

In this project we demonstrate intralingual OS design: using language-level mechanisms to ensure OS correctness. We build a system that can provide isolation without specialized hardware. and we transfer responsibilities that were previously the OS developer’s to the compiler, such as memory and power management

(MS thesis)

Software-Based Implementation of Argos Dataplane
To meet modern demands for mobile data traffic, base station architectures are leveraging multiple antennas to increase capacity. One such architecture is Argos. We implemented a complete software implementation of the dataplane of Argos using the Rust programming language to investigate the benefits of using a safe systems programming language for high-throughput applications.