OSDI '23
56 videos • 3,350 views • by USENIX
1
USENIX ATC '23 and OSDI '23 Joint Keynote Address - Sky Computing
USENIX
Download
2
OSDI '23 - Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS
USENIX
Download
3
OSDI '23 - RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks
USENIX
Download
4
OSDI '23 - Userspace Bypass: Accelerating Syscall-intensive Applications
USENIX
Download
5
OSDI '23 - Triangulating Python Performance Issues with SCALENE
USENIX
Download
6
OSDI '23 - Relational Debugging --- Pinpointing Root Causes of Performance Problems
USENIX
Download
7
OSDI '23 - Accountable authentication with privacy protection: The Larch system for universal login
USENIX
Download
8
OSDI '23 - K9db: Privacy-Compliant Storage For Web Applications By Construction
USENIX
Download
9
OSDI '23 - Encrypted Databases Made Secure Yet Maintainable
USENIX
Download
10
OSDI '23 - LVMT: An Efficient Authenticated Storage for Blockchain
USENIX
Download
11
OSDI '23 - Honeycomb: Secure and Efficient GPU Executions via Static Validation
USENIX
Download
12
OSDI '23 - An Extensible Orchestration and Protection Framework for Confidential Cloud Computing
USENIX
Download
13
OSDI '23 - Nimble: Rollback Protection for Confidential Cloud Services
USENIX
Download
14
OSDI '23 - Kerveros: Efficient and Scalable Cloud Admission Control
USENIX
Download
15
OSDI '23 - Security and Performance in the Delegated User-level Virtualization
USENIX
Download
16
OSDI '23 - Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
USENIX
Download
17
OSDI '23 - ExoFlow: A Universal Workflow System for Exactly-Once DAGs
USENIX
Download
18
OSDI '23 - Hyrax: Fail-in-Place Server Operation in Cloud Platforms
USENIX
Download
19
OSDI '23 - NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the...
USENIX
Download
20
OSDI '23 - Conveyor: One-Tool-Fits-All Continuous Software Deployment at Meta
USENIX
Download
21
OSDI '23 - Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases
USENIX
Download
22
OSDI '23 - ScaleDB: A Scalable, Asynchronous In-Memory Database
USENIX
Download
23
OSDI '23 - VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed...
USENIX
Download
24
OSDI '23 - Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
USENIX
Download
25
OSDI '23 - Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate
USENIX
Download
26
OSDI '23 - Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction
USENIX
Download
27
OSDI '23 - eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs
USENIX
Download
28
OSDI '23 - SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory
USENIX
Download
29
OSDI '23 - No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing
USENIX
Download
30
OSDI '23 - Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)
USENIX
Download
31
OSDI '23 - TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and...
USENIX
Download
32
OSDI '23 - SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory
USENIX
Download
33
OSDI '23 - ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities
USENIX
Download
34
OSDI '23 - Global Capacity Management With Flux
USENIX
Download
35
OSDI '23 - Defcon: Preventing Overload with Graceful Feature Degradation
USENIX
Download
36
OSDI '23 - Cilantro: Performance-Aware Resource Allocation for General Objectives via Online...
USENIX
Download
37
OSDI '23 - Karma: Resource Allocation for Dynamic Demands
USENIX
Download
38
OSDI '23 - AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving
USENIX
Download
39
OSDI '23 - Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning
USENIX
Download
40
OSDI '23 - Welder: Scheduling Deep Learning Memory Access via Tile-graph
USENIX
Download
41
OSDI '23 - Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their...
USENIX
Download
42
OSDI '23 - EINNET: Optimizing Tensor Programs with Derivation-Based Transformations
USENIX
Download
43
OSDI '23 - Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters
USENIX
Download
44
OSDI '23 - MGG: Accelerating Graph Neural Networks with Fine-Grained Intra-Kernel Communication...
USENIX
Download
45
OSDI '23 - Optimizing Dynamic Neural Networks with Brainstorm
USENIX
Download
46
OSDI '23 - AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models
USENIX
Download
47
OSDI '23 - BWoS: Formally Verified Block-based Work Stealing for Parallel Processing
USENIX
Download
48
OSDI '23 - Spoq: Scaling Machine-Checkable Systems Verification in Coq
USENIX
Download
49
OSDI '23 - Verifying vMVCC, a high-performance transaction library using multi-version concurrency..
USENIX
Download
50
OSDI '23 - Automated Verification of Idempotence for Stateful Serverless Applications
USENIX
Download
51
OSDI '23 - Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent System
USENIX
Download
52
OSDI '23 - Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICs
USENIX
Download
53
OSDI '23 - ShRing: Networking with Shared Receive Rings
USENIX
Download
54
OSDI '23 - ServiceRouter: Hyperscale and Minimal Cost Service Mesh at Meta
USENIX
Download
55
OSDI '23 - Characterizing Off-path SmartNIC for Accelerating Distributed Systems
USENIX
Download
56
OSDI '23 - Ensō: A Streaming Interface for NIC-Application Communication
USENIX
Download