Conferences · eligible papers
OSDI
2021–2025 確定版
Operating & Distributed Systems
2025 · 53 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- Achieving Low-Latency Graph-Based Vector Search via Aligning Best-First Search Algorithm with SSD
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Bayesian Code Diffusion for Efficient Automatic Deep Learning Program Optimization
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Building Bridges: Safe Interactions with Foreign Languages through Omniglot
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Compass: Encrypted Semantic Search with High Accuracy
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- DecDEC: A Systems Approach to Advancing Low-Bit LLM Quantization
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Decouple and Decompose: Scaling Resource Allocation with DeDe
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Deterministic Client: Enforcing Determinism on Untrusted Machine Code
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Disentangling the Dual Role of NIC Receive Rings
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- EMT: An OS Framework for New Memory Translation Architectures
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Enabling Efficient GPU Communication over Multiple NICs with FuseLink
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Extending Applications Safely and Efficiently
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Fast and Synchronous Crash Consistency with Metadata Write-Once File System
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- FineMem: Breaking the Allocation Overhead vs. Memory Waste Dilemma in Fine-Grained Disaggregated Memory Management
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- KRR: Efficient and Scalable Kernel Record Replay
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Mako: Speculative Distributed Transactions with Geo-Replication
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- MettEagle: Costs and Benefits of Implementing Containers on Microkernels
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Mirage: A Multi-Level Superoptimizer for Tensor Programs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- NanoFlow: Towards Optimal Large Language Model Serving Throughput
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Neutrino: Fine-grained GPU Kernel Profiling via Programmable Probing
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Okapi: Decoupling Data Striping and Redundancy Grouping in Cluster File Systems
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Paralegal: Practical Static Analysis for Privacy Bugs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Picsou: Enabling Replicated State Machines to Communicate Efficiently
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- PipeThreader: Software-Defined Pipelining for Efficient DNN Execution
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Principles and Methodologies for Serial Performance Optimization
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- QOS: Quantum Operating System
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Quake: Adaptive Indexing for Vector Search
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Quantum Virtual Machines
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Scalio: Scaling up DPU-based JBOF Key-value Store with NVMe-oF Target Offload
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Skybridge: Bounded Staleness for Distributed Caches
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Stripeless Data Placement for Erasure-Coded In-Memory Storage
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Söze: One Network Telemetry Is All You Need for Per-flow Weighted Bandwidth Allocation at Scale
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Tiered Memory Management Beyond Hotness
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Tigon: A Distributed Database for a CXL Pod
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- To PRI or Not To PRI, That's the question
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Understanding Stragglers in Large Model Training Using What-if Analysis
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- WLB-LLM: Workload-Balanced 4D Parallelism for Large Language Model Training
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- WaferLLM: Large Language Model Inference at Wafer Scale
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Weave: Efficient and Expressive Oblivious Analytics at Scale
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- XSched: Preemptive Scheduling for Diverse XPUs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- ZEN: Empowering Distributed Training with Sparsity-driven Data Synchronization
Operating & Distributed Systems
日本大学: 関与なし（対象大学）