research
∙
08/15/2022
ECI: a Customizable Cache Coherency Stack for Hybrid FPGA-CPU Architectures
Unlike other accelerators, FPGAs are capable of supporting cache coheren...
share
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
∙
12/04/2018
Megaphone: Live state migration for distributed streaming dataflows
We design and implement Megaphone, a data migration mechanism for statef...
research
∙
08/21/2018
DeltaPath: dataflow-based high-performance incremental routing
Routing controllers must react quickly to failures, reconfigurations and...
research
∙
03/20/2017