Conferences · eligible papers
SOSP
2022–2026 LIVE
Operating & Distributed Systems
2026 · 62 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- A Few GPUs, A Whole Lotta Scale: Faithful LLM Training Emulation with CrystalLLM
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- AgileLog: A Forkable Shared Log for Agents on Data Streams
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Ahead-of-time Analysis of Shell Program Effects
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Anchor: Mitigating GPU Shallow Disruptions with Decoupled Memory
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Ave: Guiding Agentic GPU Optimization Using Data-Flow Invariants
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Batched in Back: Characterizing and Optimizing Offline LLM Inference in Production with ACDC
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Beyond Utilization: Energy-Conscious GPU Sharing for Inference Serving
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Big Bird: Resilient Privacy Budgeting Across Untrusted Web Domains
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Borges: A Low-Latency Distributed Shared Log on a CXL Memory/SSD Hybrid
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Cerium: A Multi-GPU Framework for Terabyte-Scale Encrypted Inference
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Cohort: Decentralized PIR
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Computation Is Fast, Use Threadlet!: Efficient Threading for μs-Scale Computing via OS/Hardware Co-Design
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- CryptDough: A unified analytics engine for secure multiparty computation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- DDB: Source-Level Interactive Debugging for Distributed Applications
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- DISCO*: DIstributed and SCalable Oblivious Joins and Oblivious Primitives
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- DiFlow: A System for Micro-Serving Text-to-Image Diffusion Workflows
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Disk-Based LSMs: An Unexpectedly Good Index for Partly Coherent CXL Memory
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Don't Let AI Agents YOLO Your Files: Information and Control in Agent-Native Filesystems
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Efficient GPU Multitasking with Morphable Kernels
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- GAZE: Rearchitecting Log-Structured Filesystem for Garbage Collection on Zoned Namespace Flash Storage
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- I3DP: Neuro-symbolic Inductive Invariant Inference for Distributed Protocols
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- It's the Kernel's Fault! Custom Page Fault Handling With bpf_fault
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Janus: Multi-LLM Serving at Production Scale
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- LLM-42: Enabling Determinism in LLM Inference with Verified Speculation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- LMTracer: Fine-Grained and Real-Time Performance Profiling for Production LLM Systems
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Linux AGX: An Adaptive GPU eXtension to Linux Fair Scheduling for Physical AI and Robotic Systems
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Lion: Modular Verification of Async Runtime Liveness
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- MCon: Building an Elastic Cloud for Android Applications with Framework Consolidation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- MeshRT: Compile-Time Governed Wafer-Scale Runtime for Low-Latency High-Throughput Inference
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- On-site, Non-speculative Failure Diagnosis with CLODS
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- PirateShip: Append-Only Ledgers for (Mostly) Trusted Execution Environments
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- ProbeFS: Hierarchical DNA File Systems via Biochemical Content Addressability and Parallelism
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- QProf: Fleetwide Transitive Cost Profiling of Warehouse-Scale Services
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- RPCShield: Defending Microservices Against Cascading Failures
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- SANDHI: Fine-grained Merging for Memory Efficient Multi-Model Serving
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Scalable Context Orchestration for Serving LLMs Over Voice
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Scheduling Linux Threads under I/O Chiplet Wall Using cSwitch
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Sintr: Safe Interactive Transactions in the Presence of Byzantine Clients
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Skill VM: Write Once, Run Everywhere Efficiently
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Smaran: Serving Authenticated Time Travel Queries
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Sockeye: Bug-finding and proofs for platform configurations and hardware based on reference manuals
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- StarfishOS: Revisiting Single System Image on CXL with State-partitioned Microkernel
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- State-Aware Fuzzing of JavaScript Engines with LLM-Guided Instrumentation
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- StreamEP: Straggler-Tolerant MoE Decoding without Communication Barriers
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Tamias: Feedback-Guided Systematic Concurrency Exploration for Transparent Distributed System Fuzzing
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Taming Dynamism on GPUs: Cross-SM Kernel Fusion via SM Cooperation and Just-in-Time Reduction
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Taming Inference Workloads at Global Scale: Foundation Model Serving in Amazon Bedrock
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- TensorDex: A Compact, Tensor-Centric Storage System for Modern AI Models
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- TensorHub: Scalable and Elastic Weight Transfer for LLM RL Training
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Testing Custom Control Planes Without the Cluster
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Tierce: Observability-Driven Tiered Memory Management for Colocated Workloads
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Turning Linux into a High-Performance Library OS with Flux
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- TuxBot: Semantic-Aware Online OS Tuning with LLMs
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Validating Rust Compilers with Trait-Type Constraint Graph
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Validating a High-Performance Cloud Object Store with Lightweight Formal Methods
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Verifying a high-performance distributed transaction system using permissioned state machines
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- VoliStorM: A Crash-Consistent I/O Cache with Two Kernels Instead of Two Caches
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Wavel: A Fast and Efficient Compilation System for Wafer-Scale Accelerators
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- Welder: Compositional Liveness Verification of Cluster Control Planes
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- XTRA: Unifying Cache Coherence and Concurrency Control for Distributed Transactions in a CXL Pod
Operating & Distributed Systems
日本大学: 関与なし（対象大学）
- You Can Always Get What You Want: CPU Virtualization Made Fast and Free
Operating & Distributed Systems
日本大学: 関与なし（対象大学）