- Total submissions: 23 (61% of the accepted SOSP papers)
- Evaluation results: 21 (Artifact Available), 19 (Artifact Functional), 12 (Results Replicated)
- Distinguished artifact award: Three recipients are
- 1. Lineage Stash: Fault Tolerance Off the Critical Path
- 2. Risk-based planning for evolving data-center networks
- 3. Scaling Symbolic Evaluation for Automated Verification of Systems Code with Serval
List of Papers with Awarded Badges
|Badges (AA, AF, RR)||Paper|
|Verifying concurrent, crash-safe systems with Perennial.
|Risk-based planning for evolving data-center networks.
|Scaling symbolic evaluation for automated verification of systems code with Serval.
|RECIPE: Converting Concurrent DRAM Indexes to Persistent-Memory Indexes.
|File Systems Unfit as Distributed Storage Backends: Lessons from 10 Years of Ceph Evolution.
|SplitFS: Reducing Software Overhead in File Systems for Persistent Memory.
|Lineage Stash: Fault Tolerance Off the Critical Path.
|Verifying Software Network Functions with No Verification Expertise.
|I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols.
|An Analysis of Performance Evolution of Linux's Core Operations.
|Optimizing Deep Learning Computation with Automated Generation of Graph Substitutions.
|Efficient and Scalable Thread-Safety Violation Detection --- Finding thousands of concurrency bugs during testing.
|Optimizing Data Intensive Computations in Existing Libraries with Split Annotations.
|Parity Models: Erasure-Coded Resilience for Prediction Serving Systems.
|Teechain: A Secure Payment Network with Asynchronous Blockchain Access.
|Scalable and Practical Locking with Shuffling.
|Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework.
|Generalized Pipeline Parallelism for DNN Training.
|AutoMine: Harmonizing High-Level Abstraction and High Performance for Graph Mining|
|ShortCut: Accelerating Mostly-Deterministic Code Regions.
|Replication in the era of microservices.
|Nexus: A GPU Cluster Engine for Accelerating Neural Networks Based Video Analysis.