Conferences · eligible papers
OSDI
2022–2026 LIVE
Operating & Distributed Systems
2022 · 49 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- Alpa: Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Application-Informed Kernel Synchronization Primitives
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Automatic Reliability Testing For Cluster Management Controllers
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- BlockFlex: Enabling Storage Harvesting with Software-Defined Flash in Modern Cloud Platforms
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Blockaid: Data Access Policy Enforcement for Web Applications
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- CAP-VMs: Capability-Based Isolation and Sharing in the Cloud
Operating & Distributed Systems
日本大学: 東京大学
- Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Carbink: Fault-Tolerant Far Memory
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Debugging the OmniTable Way
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Demystifying and Checking Silent Semantic Violations in Large Distributed Systems
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Design and Verification of the Arm Confidential Compute Architecture
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Efficient and Scalable Graph Pattern Mining on GPUs
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Ekko: A Large-Scale Deep Learning Recommender System with Low-Latency Model Update
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- FAERY: An FPGA-accelerated Embedding-based Retrieval System
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- From Dynamic Loading to Extensible Transformation: An Infrastructure for Dynamic Library Transformation
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Groove: Flexible Metadata-Private Messaging
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Hubble: Performance Debugging with In-Production, Just-In-Time Method Tracing on Android
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Immortal Threads: Multithreaded Event-driven Intermittent Computing on Ultra-Low-Power Microcontrollers
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Jawa: Web Archival in the Era of JavaScript
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- KSplit: Automating Device Driver Isolation
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Looking Beyond GPUs for DNN Scheduling on Multi-Tenant Clusters
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Metastable Failures in the Wild
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- ODINFS: Scaling PM Performance with Opportunistic Delegation
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- ORION and the Three Rights: Sizing, Bundling, and Prewarming for Serverless DAGs
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Occualizer: Optimistic Concurrent Search Trees From Sequential Code
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Operating System Support for Safe and Efficient Auxiliary Execution
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Orca: A Distributed Serving System for Transformer-Based Generative Models
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Owl: Scale and Flexibility in Distribution of Hot Content
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Practically Correct, Just-in-Time Shell Script Parallelization
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- RESIN: A Holistic Service for Dealing with Memory Leaks in Production Cloud Infrastructure
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- ROLLER: Fast and Efficient Tensor Compilation for Deep Learning
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- SparTA: Deep-Learning Model Sparsity via Tensor-with-Sparsity-Attribute
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Tiger: Disk-Adaptive Redundancy Without Placement Restrictions
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Trinity: High-Performance Mobile Emulation through Graphics Projection
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Verifying Hardware Security Modules with Information-Preserving Refinement
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Walle: An End-to-End, General-Purpose, and Large-Scale Production System for Device-Cloud Collaborative Machine Learning
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- XRP: In-Kernel Storage Functions with eBPF
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- zIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO
Operating & Distributed Systems
日本大学: 関与なし(対象大学)