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