OSDI '20 - RedLeaf: Isolation and Communication in a Safe Operating System

(21:37)

OSDI '20 - Theseus: an experiment in operating system structure and state management

(20:26)

OSDI '20 - Automated Reasoning and Detection of Specious Configuration in Large Systems with...

(18:44)

OSDI '20 - Storage Systems are Distributed Systems (So Verify Them That Way!)

(18:50)

OSDI '20 - PANIC: A High-Performance Programmable NIC for Multi-tenant Networks

(20:7)

OSDI '20 - Virtual Consensus in Delos

(17:49)

OSDI '20 - Microsecond Consensus for Microsecond Applications

(20:12)

OSDI '20 - KungFu: Making Training in Distributed Machine Learning Adaptive

(20:14)

OSDI '20 - A Simpler and Faster NIC Driver Model for Network Functions

(15:25)

OSDI '20 - Write Dependency Disentanglement with HORAE

(19:24)

OSDI '20 - Do OS abstractions make sense on FPGAs?

(17:35)

OSDI '20 - Protean: VM Allocation Service at Scale

(19:6)

OSDI '20 - Serving DNNs like Clockwork: Performance Predictability from the Bottom Up

(20:17)

OSDI '20 - PACEMAKER: avoiding HeART attacks in storage clusters with disk-adaptive redundancy

(19:8)

OSDI '20 - Byzantine ordered consensus without Byzantine oligarchy

(19:20)

OSDI '20 - Specification, implementation, and verification of just-in-time compilers for...

(10:6)

OSDI '20 - Achieving 100Gbps Intrusion Prevention on a Single Server

(19:15)

OSDI '20 - PipeSwitch: Fast Pipelined Context Switching for Deep Learning Applications

(19:44)

OSDI '20 - From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes

(18:59)