Conferences · eligible papers
SOSP
2021–2025 確定版
Operating & Distributed Systems
2025 · 66 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- Aegaeon: Effective GPU Pooling for Concurrent LLM Serving on the Market
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Atmosphere: Practical Verified Kernels with Rust and Verus
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Characterizing Mobile SoC for Accelerating Heterogeneous LLM Inference
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- CortenMM: Efficient Memory Management with Strong Correctness Guarantees
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Coyote v2: Raising the Level of Abstraction for Data Center FPGAs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest Delegation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Device-Assisted Live Migration of RDMA Devices
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- FlexGuard: Fast Mutual Exclusion Independent of Subscription
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- HedraRAG: Co-Optimizing Generation and Retrieval for Heterogeneous RAG Workflows
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- IC-Cache: Efficient Large Language Model Serving via In-context Caching
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Jenga: Effective Memory Management for Serving LLM with Heterogeneity
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- KTransformers: Unleashing the Full Potential of CPU/GPU Hybrid Inference for MoE Models
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- LithOS: An Operating System for Efficient Machine Learning on GPUs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Loom: Efficient Capture and Querying of High-Frequency Telemetry
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Managing Scalable Direct Storage Accesses for GPUs with GoFS
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Mantle: Efficient Hierarchical Metadata Management for Cloud Object Storage Services
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Mercury: Unlocking Multi-GPU Operator Optimization for LLMs via Remote Memory Scheduling
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Mitigating Application Resource Overload with Targeted Task Cancellation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Moirai: Optimizing Placement of Data and Compute in Hybrid Clouds
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- ORQ: Complex Analytics on Private Data with Strong Security Guarantees
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Oasis: Pooling PCIe Devices Over CXL to Boost Utilization
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Optimistic Recovery for High-Availability Software via Partial Process State Preservation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Pesto: Cooking up High Performance BFT Queries
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Pie: A Programmable Serving System for Emerging LLM Applications
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- PrefillOnly: An Inference Engine for Prefill-only Workloads in Large Language Model Applications
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Proto: A Guided Journey through Modern OS Construction
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Quilt: Resource-aware Merging of Serverless Workflows
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Rearchitecting the Thread Model of In-Memory Key-Value Stores with μTPS
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Robust LLM Training Infrastructure at ByteDance
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Running Consistent Applications Closer to Users with Radical for Lower Latency
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- SAND: A New Programming Abstraction for Video-based Deep Learning
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Sailor: Automating Distributed Training over Dynamic, Heterogeneous, and Geo-distributed Clusters
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Scalable Address Spaces using Concurrent Interval Skiplist
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Scalable Far Memory: Balancing Faults and Evictions
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Sleeping with One Eye Open: Fast, Sustainable Storage with Sandman
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Spirit: Fair Allocation of Interdependent Resources in Remote Memory Systems
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Tai Chi: A General High-Efficiency Scheduling Framework for SmartNICs in Hyperscale Clouds
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Tempo: Compiled Dynamic Deep Learning with Symbolic Dependence Graphs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- The Design and Implementation of a Virtual Firmware Monitor
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- TickTock: Verified Isolation in a Production Embedded OS
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Tock: From Research To Securing 10 Million Computers
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Unlocking True Elasticity for the Cloud-Native Era with Dandelion
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- WASIT: Deep and Continuous Differential Testing of WebAssembly System Interface Implementations
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- cache_ext: Customizing the Page Cache with eBPF
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- μFork: Supporting POSIX fork Within a Single-Address-Space OS
Operating & Distributed Systems
日本大学: 関与なし（対象大学）