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