-
CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices.
-
Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest Delegation.
-
Device-Assisted Live Migration of RDMA Devices.
-
μFork: Supporting POSIX fork Within a Single-Address-Space OS.
-
LithOS: An Operating System for Efficient Machine Learning on GPUs.
-
Oasis: Pooling PCIe Devices Over CXL to Boost Utilization.
-
Proto: A Guided Journey through Modern OS Construction.
-
Robust LLM Training Infrastructure at ByteDance.
-
Sailor: Automating Distributed Training over Dynamic, Heterogeneous, and Geo-distributed Clusters.
-
Scalable Far Memory: Balancing Faults and Evictions.
-
Spirit: Fair Allocation of Interdependent Resources in Remote Memory Systems.
-
The Design and Implementation of a Virtual Firmware Monitor.
-
Tock: From Research To Securing 10 Million Computers.