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 power management.
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.