OSDI '23

Watch and track your favorite playlist.

Curated by: USENIX (56 videos)

---

Tracks in this Playlist

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