Conferences · eligible papers
SOSP
2022–2026 LIVE
Operating & Distributed Systems
2024 · 43 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value Stores
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Autobahn: Seamless high speed BFT
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and Performance
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for Sustainability
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement Systems
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- DNS Congestion Control in Adversarial Settings
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Dirigent: Lightweight Serverless Orchestration
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Efficient file-lifetime redundancy management for cluster file systems
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Enabling Parallelism Hot Switching for Efficient Training of Large Language Models
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Fast & Safe IO Memory Protection
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Fast Core Scheduling with Userspace Process Abstraction
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Fast, Flexible, and Practical Kernel Extensions
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- If At First You Don’t Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Improving DNN Inference Throughput Using Practical, Per-Input Compute Adaptation
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- LoongServe: Efficiently Serving Long-Context Large Language Models with Elastic Sequence Parallelism
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- NOPE: Strengthening domain authentication with zero-knowledge proofs
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Practical Verification of System-Software Components Written in Standard C
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- ReCycle: Pipeline Adaptation for the Resilient Distributed Training of Large DNNs
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Reducing Energy Bloat in Large Model Training
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Reducing cross-cloud/region costs with the auto-configuring MACARON cache
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- SWARM: Replicating Shared Disaggregated-Memory Data in No Time
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Skyloft: A General High-Efficient Scheduling Framework in User Space
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor Collections
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Tiered Memory Management: Access Latency is the Key!
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and Nodes
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Unifying serverless and microservice workloads with SigmaOS
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- VPRI: Optimized I/O Page Fault in Public IaaS
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Verus: A Practical Foundation for Systems Verification
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware
Operating & Distributed Systems
日本大学: 関与なし(対象大学)