Conferences · eligible papers
OSDI
2022–2026 LIVE
Operating & Distributed Systems
2024 · 53 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- ACCL+: an FPGA-Based Collective Engine for Distributed Applications
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Anvil: Verifying Liveness of Cluster Management Controllers
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Automatically Reasoning About How Systems Code Uses the CPU Cache
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Beaver: Practical Partial Snapshots for Distributed Cloud Services
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Burstable Cloud Block Storage with Data Processing Units
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Caravan: Practical Online Learning of In-Network ML Models with Labeling Agents
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- ChameleonAPI: Automatic and Efficient Customization of Neural Networks for ML Applications
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Chop Chop: Byzantine Atomic Broadcast to the Network Limit
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- DSig: Breaking the Barrier of Signatures in Data Centers
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Data-flow Availability: Achieving Timing Assurance in Autonomous Systems
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- DistServe: Disaggregating Prefill and Decoding for Goodput-optimized Large Language Model Serving
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Fairness in Serving Large Language Models
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- FairyWREN: A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Fast and Scalable In-network Lock Management Using Lock Fission
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Flock: A Framework for Deploying On-Demand Distributed Trust
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Harvesting Memory-bound CPU Stall Cycles in Software with MSH
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- High-throughput and Flexible Host Networking for Accelerated Computing
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Identifying On-/Off-CPU Bottlenecks Together with Blocked Samples
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- InfiniGen: Efficient Generative Inference of Large Language Models with Dynamic KV Cache Management
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- IronSpec: Increasing the Reliability of Formal Specifications
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Ladder: Enabling Efficient Low-Precision Deep Learning Computing through Hardware-aware Tensor Transformation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Llumnix: Dynamic Scheduling for Large Language Model Serving
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at Hyperscale
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Managing Memory Tiers with CXL in Virtualized Environments
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Massively Parallel Multi-Versioned Transaction Processing
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- MonoNN: Enabling a New Monolithic Optimization Space for Neural Network Inference Tasks on Modern GPU-Centric Architectures
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Optimizing Resource Allocation in Hyperscale Datacenters: Scalability, Usability, and Experiences
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Parrot: Efficient Serving of LLM-based Applications with Semantic Variable
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Performance Interfaces for Hardware Accelerators
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Ransom Access Memories: Achieving Practical Ransomware Protection in Cloud with DeftPunk
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Sabre: Hardware-Accelerated Snapshot Compression for Serverless MicroVMs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Secret Key Recovery in a Global-Scale End-to-End Encryption System
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- ServerlessLLM: Low-Latency Serverless Inference for Large Language Models
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- SquirrelFS: using the Rust compiler to check file-system crash consistency
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- USHER: Holistic Interference Avoidance for Resource Optimized ML Inference
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Using Dynamically Layered Definite Releases for Verifying the RefFS File System
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Validating the eBPF Verifier via State Embedding
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- VeriSMo: A Verified Security Module for Confidential VMs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- When will my ML Job finish? Toward providing Completion Time Estimates through Predictability-Centric Scheduling
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- dLoRA: Dynamically Orchestrating Requests and Adapters for LoRA LLM Serving
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- nnScaler: Constraint-Guided Parallelization Plan Generation for Deep Learning Training
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- μSlope: High Compression and Fast Search on Semi-Structured Logs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）