Results

Submissions: 35 (71% of accepted papers)

Evaluation Results:

• 33 Artifact Available
• 31 Artifact Functional
• 27 Results Reproduced

Paper title	Awarded Badges	Available at
Demystifying and Checking Silent Semantic Violations in Large Distributed Systems	AVAILABLE FUNCTIONAL REPRODUCED	Github
KSplit: Automating Device Driver Isolation	AVAILABLE FUNCTIONAL REPRODUCED	Github1 Github2
ORION and the Three Rights: Sizing, Bundling, and Prewarming for Serverless DAGs	AVAILABLE FUNCTIONAL REPRODUCED	Github
Time-Transcendent Debugging the OmniTable Way	AVAILABLE	Github
Achieving μs-scale Preemption for Concurrent GPU-accelerated DNN Inferences	AVAILABLE FUNCTIONAL REPRODUCED	Github
BlackBox: Secure Containers on Untrusted Operating Systems using Arm Virtualization Hardware	AVAILABLE FUNCTIONAL	Github
Trinity: Desirable Mobile Emulation through Graphics Projection	AVAILABLE FUNCTIONAL REPRODUCED	Github
TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs	AVAILABLE FUNCTIONAL REPRODUCED	Github
FAERY: An FPGA-accelerated Embedding-based Retrieval System	FUNCTIONAL
Coffers: Capability-Based Isolation and Sharing for Microservices	AVAILABLE FUNCTIONALREPRODUCED	Github
zIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO	AVAILABLE	Github
UPGRADVISOR: Early Adopting Dependency Updates Using Production Traces	AVAILABLE FUNCTIONAL REPRODUCED	Github
SparTA: Deep-Learning Model Sparsity via Tensor-with-Sparsity-Attribute	AVAILABLE FUNCTIONAL REPRODUCED	Github
Enabling Storage Harvesting for Improved Storage Utilization in Cloud Platforms	AVAILABLE FUNCTIONAL REPRODUCED	Github
Practically Correct, Just-in-Time Shell Script Parallelization	AVAILABLE FUNCTIONAL REPRODUCED	Github
Application-Informed Kernel Synchronization Primitives	AVAILABLE FUNCTIONAL REPRODUCED	Github
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning	AVAILABLE	Github
Operating System Support for Safe and Efficient Auxiliary Executions	AVAILABLE FUNCTIONAL REPRODUCED	Github
Efficient and Scalable Graph Pattern Mining on GPUs	AVAILABLE FUNCTIONAL REPRODUCED	Github
Odinfs: Scaling PM performance with Opportunistic Delegation	AVAILABLE FUNCTIONAL REPRODUCED	Github
Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization	AVAILABLE FUNCTIONAL	Github
Metastable Failures in the Wild	AVAILABLE FUNCTIONAL REPRODUCED	Github
Looking Beyond GPUs for DNN Scheduling on Multi-Tenant Clusters	AVAILABLE	Github
Cancel Culture in Systems: An Empirical Study of Task Cancellation Patterns and Failures	AVAILABLE FUNCTIONAL REPRODUCED	Github
Roller: Fast and Efficient Tensor Compilation for Deep Learning	AVAILABLE FUNCTIONAL REPRODUCED	Github
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime	AVAILABLE FUNCTIONAL REPRODUCED	Github
Design and Verification of the Arm Confidential Compute Architecture	FUNCTIONAL REPRODUCED	Github
Shortstack: Scalable & Fault-tolerant Noise-Injection	AVAILABLE FUNCTIONAL REPRODUCED	Github
Jawa: Web Archival in the Era of JavaScript	AVAILABLE FUNCTIONAL REPRODUCED	Github
Parax: Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning	AVAILABLE FUNCTIONAL REPRODUCED	Github
Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols	AVAILABLE FUNCTIONAL REPRODUCED	Github
Immortal Threads: Multithreaded Event-driven Intermittent Computing on Ultra-Low-Power Microcontrollers	AVAILABLE FUNCTIONAL	Github
XRP: In-Kernel Storage Functions with eBPF	AVAILABLE FUNCTIONAL REPRODUCED	Github
Embargo: Data Access Policy Enforcement for Web Applications	AVAILABLE FUNCTIONAL REPRODUCED	Docker
Automatic Reliability Testing For Cluster Management Controllers	AVAILABLE FUNCTIONAL REPRODUCED	Github