_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > USENIX

USENIX	37400 subscribers    RSS
View channel on YouTube Videos Playlists

YT 20 minutes 26 seconds USENIX OSDI '20 - Theseus: an experiment in operating system structure and state management YT 21 minutes 37 seconds USENIX OSDI '20 - RedLeaf: Isolation and Communication in a Safe Operating System YT 10 minutes 6 seconds USENIX OSDI '20 - Specification, implementation, and verification of just-in-time compilers for...

YT 18 minutes 25 seconds USENIX OSDI '20 - Cobra: Making Transactional Key-Value Stores Verifiably Serializable YT 19 minutes 48 seconds USENIX OSDI '20 - Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer YT 18 minutes 50 seconds USENIX OSDI '20 - Storage Systems are Distributed Systems (So Verify Them That Way!)

YT 18 minutes 58 seconds USENIX OSDI '20 - Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache YT 19 minutes 45 seconds USENIX OSDI '20 - CrossFS: A Cross-layered Direct-Access File System YT 19 minutes 4 seconds USENIX OSDI '20 - From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees

YT 20 minutes 11 seconds USENIX OSDI '20 - LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network YT 18 minutes 5 seconds USENIX OSDI '20 - A large scale analysis of hundreds of in-memory cache clusters at Twitter YT 19 minutes 5 seconds USENIX OSDI '20 - Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries

YT 15 minutes 25 seconds USENIX OSDI '20 - A Simpler and Faster NIC Driver Model for Network Functions YT 20 minutes 7 seconds USENIX OSDI '20 - PANIC: A High-Performance Programmable NIC for Multi-tenant Networks YT 18 minutes 4 seconds USENIX OSDI '20 - Semeru: A Memory-Disaggregated Managed Runtime

YT 20 minutes 7 seconds USENIX OSDI '20 - Caladan: Mitigating Interference at Microsecond Timescales YT 20 minutes 4 seconds USENIX OSDI '20 - Overload Control for µs-scale RPCs with Breakwater YT 20 minutes 13 seconds USENIX OSDI '20 - AIFM: High-Performance, Application-Integrated Far Memory

YT 20 minutes 14 seconds USENIX OSDI '20 - Performance-Optimal Read-Only Transactions YT 18 minutes 11 seconds USENIX OSDI '20 - Toward a Generic Fault Tolerance Technique for Partial Network Partitioning YT 19 minutes 8 seconds USENIX OSDI '20 - PACEMAKER: avoiding HeART attacks in storage clusters with disk-adaptive redundancy

YT 17 minutes 53 seconds USENIX OSDI '20 - Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence... YT 17 minutes 57 seconds USENIX OSDI '20 - FlightTracker: Consistency across Read-Optimized Online Stores at Facebook YT 15 minutes 15 seconds USENIX OSDI '20 - Kvell+: Snapshot Isolation without Snapshots

YT 20 minutes 17 seconds USENIX OSDI '20 - Serving DNNs like Clockwork: Performance Predictability from the Bottom Up YT 19 minutes 36 seconds USENIX OSDI '20 - A Unified Architecture for Accelerating Distributed DNN Training in Heterogeneous... YT 20 minutes 14 seconds USENIX OSDI '20 - Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads

YT 19 minutes 44 seconds USENIX OSDI '20 - PipeSwitch: Fast Pipelined Context Switching for Deep Learning Applications YT 18 minutes 16 seconds USENIX OSDI '20 - HiveD: Sharing a GPU Cluster for Deep Learning with Guarantees YT 18 minutes 14 seconds USENIX OSDI '20 - AntMan: Dynamic Scaling on GPU Cluster for Deep Learning

YT 19 minutes 24 seconds USENIX OSDI '20 - Write Dependency Disentanglement with HORAE YT 18 minutes 56 seconds USENIX OSDI '20 - Blockene: A High-throughput Blockchain Over Mobile Devices YT 20 minutes 4 seconds USENIX OSDI '20 - Tolerating Slowdowns in Replicated State Machines using Copilots

YT 20 minutes 12 seconds USENIX OSDI '20 - Microsecond Consensus for Microsecond Applications YT 17 minutes 49 seconds USENIX OSDI '20 - Virtual Consensus in Delos YT 19 minutes 20 seconds USENIX OSDI '20 - Byzantine ordered consensus without Byzantine oligarchy

YT 18 minutes 59 seconds USENIX OSDI '20 - From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes YT 19 minutes 42 seconds USENIX OSDI '20 - Testing Database Engines via Pivoted Query Synthesis YT 20 minutes 9 seconds USENIX OSDI '20 - Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing

YT 18 minutes 49 seconds USENIX OSDI '20 - Aragog: Scalable Runtime Verification of Distributed Middleboxes YT 18 minutes 44 seconds USENIX OSDI '20 - Automated Reasoning and Detection of Specious Configuration in Large Systems with... YT 19 minutes 9 seconds USENIX OSDI '20 - Testing Configuration Changes in Context to Prevent Production Failures

YT 17 minutes 53 seconds USENIX OSDI '20 - Providing SLOs for Resource-Harvesting VMs in Cloud Platforms YT 18 minutes 30 seconds USENIX OSDI '20 - The CacheLib Caching Engine: Design and Experiences at Scale YT 18 minutes 52 seconds USENIX OSDI '20 - Twine: a Unified Cluster Management System for Shared Infrastructure

YT 18 minutes 36 seconds USENIX OSDI '20 - FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-oriented... YT 18 minutes 32 seconds USENIX OSDI '20 - Building Scalable and Flexible Cluster Managers Using Declarative Programming YT 19 minutes 6 seconds USENIX OSDI '20 - Protean: VM Allocation Service at Scale

YT 20 minutes 10 seconds USENIX OSDI '20 - Ansor: Generating High-Performance Tensor Programs for Deep Learning YT 16 minutes 30 seconds USENIX OSDI '20 - Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks YT 19 minutes 56 seconds USENIX OSDI '20 - A Tensor Compiler Approach for One-size-fits-all ML Prediction Serving

YT 20 minutes 5 seconds USENIX OSDI '20 - Retiarii: A Deep Learning Exploratory-Training Framework YT 20 minutes 14 seconds USENIX OSDI '20 - KungFu: Making Training in Distributed Machine Learning Adaptive YT 19 minutes 20 seconds USENIX OSDI '20 - FVM: FPGA-assisted Virtual Device Emulation for Fast, Scalable, and Flexible Storage...

YT 15 minutes 33 seconds USENIX OSDI '20 - hXDP: Efficient Software Packet Processing on FPGA NICs YT 17 minutes 35 seconds USENIX OSDI '20 - Do OS abstractions make sense on FPGAs? YT 20 minutes 41 seconds USENIX OSDI '20 - Assise: Performance and Availability via NVM Colocation in a Distributed File System

YT 20 minutes 4 seconds USENIX OSDI '20 - Persistent State Machines for Recoverable In-memory Storage Systems with NVRam YT 18 minutes 32 seconds USENIX OSDI '20 - AGAMOTTO: How Persistent is your Persistent Memory Application? YT 19 minutes 37 seconds USENIX OSDI '20 - Orchard: Differentially Private Analytics at Scale

YT 19 minutes 15 seconds USENIX OSDI '20 - Achieving 100Gbps Intrusion Prevention on a Single Server YT 19 minutes 28 seconds USENIX OSDI '20 - DORY: An Encrypted Search System with Distributed Trust YT 18 minutes 27 seconds USENIX OSDI '20 - SafetyPin: Encrypted Backups with Human-Memorable Secrets

YT 20 minutes 14 seconds USENIX OSDI '20 - Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation... YT 18 minutes 4 seconds USENIX OSDI '20 - Predictive and Adaptive Failure Mitigation to Avert Production Cloud VM Interruptions YT 19 minutes 22 seconds USENIX OSDI '20 - Sundial: Fault-tolerant Clock-synchronization for Datacenters

YT 18 minutes 14 seconds USENIX OSDI '20 - Fault-tolerant and transactional stateful serverless workflows YT 18 minutes 45 seconds USENIX OSDI '20 - Unearthing inter-job dependencies for better cluster scheduling YT 18 minutes 47 seconds USENIX OSDI '20 - RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers

YT 19 minutes 41 seconds USENIX OSDI '20 - Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale