OSDI '20
70 videos • 2,202 views • by USENIX
1
OSDI '20 - Theseus: an experiment in operating system structure and state management
USENIX
Download
2
OSDI '20 - RedLeaf: Isolation and Communication in a Safe Operating System
USENIX
Download
3
OSDI '20 - Specification, implementation, and verification of just-in-time compilers for...
USENIX
Download
4
OSDI '20 - Cobra: Making Transactional Key-Value Stores Verifiably Serializable
USENIX
Download
5
OSDI '20 - Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer
USENIX
Download
6
OSDI '20 - Storage Systems are Distributed Systems (So Verify Them That Way!)
USENIX
Download
7
OSDI '20 - Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache
USENIX
Download
8
OSDI '20 - CrossFS: A Cross-layered Direct-Access File System
USENIX
Download
9
OSDI '20 - From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees
USENIX
Download
10
OSDI '20 - LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network
USENIX
Download
11
OSDI '20 - A large scale analysis of hundreds of in-memory cache clusters at Twitter
USENIX
Download
12
OSDI '20 - Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
USENIX
Download
13
OSDI '20 - A Simpler and Faster NIC Driver Model for Network Functions
USENIX
Download
14
OSDI '20 - PANIC: A High-Performance Programmable NIC for Multi-tenant Networks
USENIX
Download
15
OSDI '20 - Semeru: A Memory-Disaggregated Managed Runtime
USENIX
Download
16
OSDI '20 - Caladan: Mitigating Interference at Microsecond Timescales
USENIX
Download
17
OSDI '20 - Overload Control for µs-scale RPCs with Breakwater
USENIX
Download
18
OSDI '20 - AIFM: High-Performance, Application-Integrated Far Memory
USENIX
Download
19
OSDI '20 - Performance-Optimal Read-Only Transactions
USENIX
Download
20
OSDI '20 - Toward a Generic Fault Tolerance Technique for Partial Network Partitioning
USENIX
Download
21
OSDI '20 - PACEMAKER: avoiding HeART attacks in storage clusters with disk-adaptive redundancy
USENIX
Download
22
OSDI '20 - Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence...
USENIX
Download
23
OSDI '20 - FlightTracker: Consistency across Read-Optimized Online Stores at Facebook
USENIX
Download
24
OSDI '20 - Kvell+: Snapshot Isolation without Snapshots
USENIX
Download
25
OSDI '20 - Serving DNNs like Clockwork: Performance Predictability from the Bottom Up
USENIX
Download
26
OSDI '20 - A Unified Architecture for Accelerating Distributed DNN Training in Heterogeneous...
USENIX
Download
27
OSDI '20 - Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads
USENIX
Download
28
OSDI '20 - PipeSwitch: Fast Pipelined Context Switching for Deep Learning Applications
USENIX
Download
29
OSDI '20 - HiveD: Sharing a GPU Cluster for Deep Learning with Guarantees
USENIX
Download
30
OSDI '20 - AntMan: Dynamic Scaling on GPU Cluster for Deep Learning
USENIX
Download
31
OSDI '20 - Write Dependency Disentanglement with HORAE
USENIX
Download
32
OSDI '20 - Blockene: A High-throughput Blockchain Over Mobile Devices
USENIX
Download
33
OSDI '20 - Tolerating Slowdowns in Replicated State Machines using Copilots
USENIX
Download
34
OSDI '20 - Microsecond Consensus for Microsecond Applications
USENIX
Download
35
OSDI '20 - Virtual Consensus in Delos
USENIX
Download
36
OSDI '20 - Byzantine ordered consensus without Byzantine oligarchy
USENIX
Download
37
OSDI '20 - From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes
USENIX
Download
38
OSDI '20 - Testing Database Engines via Pivoted Query Synthesis
USENIX
Download
39
OSDI '20 - Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
USENIX
Download
40
OSDI '20 - Aragog: Scalable Runtime Verification of Distributed Middleboxes
USENIX
Download
41
OSDI '20 - Automated Reasoning and Detection of Specious Configuration in Large Systems with...
USENIX
Download
42
OSDI '20 - Testing Configuration Changes in Context to Prevent Production Failures
USENIX
Download
43
OSDI '20 - Providing SLOs for Resource-Harvesting VMs in Cloud Platforms
USENIX
Download
44
OSDI '20 - The CacheLib Caching Engine: Design and Experiences at Scale
USENIX
Download
45
OSDI '20 - Twine: a Unified Cluster Management System for Shared Infrastructure
USENIX
Download
46
OSDI '20 - FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-oriented...
USENIX
Download
47
OSDI '20 - Building Scalable and Flexible Cluster Managers Using Declarative Programming
USENIX
Download
48
OSDI '20 - Protean: VM Allocation Service at Scale
USENIX
Download
49
OSDI '20 - Ansor: Generating High-Performance Tensor Programs for Deep Learning
USENIX
Download
50
OSDI '20 - Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks
USENIX
Download
51
OSDI '20 - A Tensor Compiler Approach for One-size-fits-all ML Prediction Serving
USENIX
Download
52
OSDI '20 - Retiarii: A Deep Learning Exploratory-Training Framework
USENIX
Download
53
OSDI '20 - KungFu: Making Training in Distributed Machine Learning Adaptive
USENIX
Download
54
OSDI '20 - FVM: FPGA-assisted Virtual Device Emulation for Fast, Scalable, and Flexible Storage...
USENIX
Download
55
OSDI '20 - hXDP: Efficient Software Packet Processing on FPGA NICs
USENIX
Download
56
OSDI '20 - Do OS abstractions make sense on FPGAs?
USENIX
Download
57
OSDI '20 - Assise: Performance and Availability via NVM Colocation in a Distributed File System
USENIX
Download
58
OSDI '20 - Persistent State Machines for Recoverable In-memory Storage Systems with NVRam
USENIX
Download
59
OSDI '20 - AGAMOTTO: How Persistent is your Persistent Memory Application?
USENIX
Download
60
OSDI '20 - Orchard: Differentially Private Analytics at Scale
USENIX
Download
61
OSDI '20 - Achieving 100Gbps Intrusion Prevention on a Single Server
USENIX
Download
62
OSDI '20 - DORY: An Encrypted Search System with Distributed Trust
USENIX
Download
63
OSDI '20 - SafetyPin: Encrypted Backups with Human-Memorable Secrets
USENIX
Download
64
OSDI '20 - Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation...
USENIX
Download
65
OSDI '20 - Predictive and Adaptive Failure Mitigation to Avert Production Cloud VM Interruptions
USENIX
Download
66
OSDI '20 - Sundial: Fault-tolerant Clock-synchronization for Datacenters
USENIX
Download
67
OSDI '20 - Fault-tolerant and transactional stateful serverless workflows
USENIX
Download
68
OSDI '20 - Unearthing inter-job dependencies for better cluster scheduling
USENIX
Download
69
OSDI '20 - RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers
USENIX
Download
70
OSDI '20 - Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale
USENIX
Download