Conferences · eligible papers
SOSP
2021–2025 確定版
Operating & Distributed Systems
2021 · 54 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- Automated SmartNIC Offloading Insights for Network Functions
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- BIDL: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Basil: Breaking up BFT with ACID (transactions)
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Birds of a Feather Flock Together : Scaling RDMA RPCs with FLOCK
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Bladerunner: Stream Processing at Scale for a Live View of Backend Data Mutations at the Edge
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Boki: Stateful Serverless Computing with Shared Logs
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- CLoF: A Compositional Lock Framework for Multi-level NUMA Systems
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Caracal: Contention Management with Deterministic Concurrency Control
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Coeus: A system for oblivious document ranking and retrieval
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Crash Consistent Non-Volatile Memory Express
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Cuckoo Trie: Exploiting Memory-Level Parallelism for Efficient DRAM Indexing
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Exploiting Nil-Externality for Fast Replicated Storage
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Faster and Cheaper Serverless Computing on Harvested Resources
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- FragPicker: A New Defragmentation Tool for Modern Storage Devices
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Geometric Partitioning: Explore the Boundary of Optimal Erasure Code Repair
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Gradient Compression Supercharged High-Performance Data Parallel DNN Training
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- HEALER: Relation Learning Guided Kernel Fuzzing
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- HeMem: Scalable Tiered Memory Management for Big Data Applications and Real NVM
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- IODA: A Host/Device Co-Design for Strong Predictability Contract on Modern Flash Storage
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- J-NVM: Off-heap Persistent Objects in Java
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Kangaroo: Caching Billions of Tiny Objects on Flash
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Log-structured Protocols in Delos
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- MIND: In-Network Memory Management for Disaggregated Data Centers
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- PACTree: A High Performance Persistent Range Index Using PAC Guidelines
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- PRISM: Rethinking the RDMA Interface for Distributed Systems
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- RAS: Continuously Optimized Region-Wide Datacenter Resource Allocation
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Rabia: Simplifying State-Machine Replication Through Randomization
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Random Walks on Huge Graphs at Cache Efficiency
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Regular Sequential Serializability and Regular Sequential Consistency
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Scale and Performance in a Filesystem Semi-Microkernel
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Shard Manager: A Generic Shard Management Framework for Geo-distributed Applications
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Snoopy: Surpassing the Scalability Bottleneck of Oblivious Storage
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Syrup: User-Defined Scheduling across the Stack
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- The Aurora Single Level Store Operating System
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- The Demikernel Library OS Architecture for Microsecond, Kernel-Bypass Datacenter Systems
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Understanding and Detecting Software Upgrade Failures in Distributed Systems
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- When Idling is Ideal: Optimizing Tail-Latency for Highly-Dispersed Datacenter Workloads with Perséphone
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- WineFS: a hugepage-aware file system for persistent memory that ages gracefully
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- Xenic: SmartNIC-Accelerated Distributed Transactions
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- dSpace: Composable Abstractions for Smart Spaces
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- ghOSt: Fast & Flexible User-Space Delegation of Linux Scheduling
Operating & Distributed Systems
日本大学: 関与なし(対象大学)
- iGUARD: In-GPU Advanced Race Detection
Operating & Distributed Systems
日本大学: 関与なし(対象大学)