We are investigating new memory-safe computing abstractions within the kernel, with a goal to support complex and safe kernel abstractions, evolving Linux itself towards memory safety.
Our work on Rex has been accepted to USENIX ATC 25
26 August, 2024We welcome 3 new PhD students, and 2 new MS students to the lab!
4 August, 2024We presented our work and attended the eBPF workshop in Sydney