research
∙
09/17/2023
OSmosis: No more Déjà vu in OS isolation
Operating systems provide an abstraction layer between the hardware and ...
share
research
∙
12/01/2021
How Smart Guessing Strategies Can Yield Massive Scalability Improvements for Sparse Decision Tree Optimization
Sparse decision tree optimization has been one of the most fundamental p...
research
∙
09/06/2020
Secure Memory Management on Modern Hardware
Almost all modern hardware, from phone SoCs to high-end servers with acc...
research
∙
11/20/2019
CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer
We present CleanQ, a high-performance operating-system interface for des...
research
∙
11/19/2019
Cichlid: Explicit physical memory management for large machines
In this paper, we rethink how an OS supports virtual memory. Classical V...
research
∙
10/11/2019
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines
Multi-socket machines with 1-100 TBs of physical memory are becoming pre...
research
∙
08/23/2019
A Least-Privilege Memory Protection Model for Modern Hardware
We present a new least-privilege-based model of addressing on which to b...
research
∙
03/20/2017