Results

Submissions: 49 (70% of accepted papers)

Evaluation Results:

47 Artifact Available
46 Artifact Functional
39 Results Reproduced

Distinguished Artifact Award:

“Testing Database Engines via Pivoted Query Synthesis” by Manuel Rigger and Zhendong Su (ETH Zurich)
“Serving DNNs like Clockwork: Performance Predictability from the Bottom Up”
by Arpan Gujarati (MPI-SWS), Reza Karimi (Emory University), Safya Alzayat (MPI-SWS), Wei Hao (MPI-SWS), Antoine Kaufmann (MPI-SWS), Ymir Vigfusson (Emory University), and Jonathan Mace (MPI-SWS)

Paper title	Awarded Badges	Available at
Testing Database Engines via Pivoted Query Synthesis Distinguished Artifact Award	AVAILABLE FUNCTIONAL REPRODUCED	DOI
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel	AVAILABLE FUNCTIONAL REPRODUCED	Github
RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers	AVAILABLE FUNCTIONAL REPRODUCED	Github
Overload Control for µs-scale RPCs with Breakwater	AVAILABLE FUNCTIONAL REPRODUCED	Github
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing	AVAILABLE FUNCTIONAL REPRODUCED	Github
AGAMOTTO: How Persistent is your Persistent Memory Application?	AVAILABLE FUNCTIONAL REPRODUCED	Github
FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-Oriented Microservices	AVAILABLE FUNCTIONAL REPRODUCED	Gitlab
SafetyPin: Encrypted Backups with Human-Memorable Secrets	AVAILABLE FUNCTIONAL REPRODUCED	Github
DORY: An Encrypted Search System with Distributed Trust	AVAILABLE FUNCTIONAL REPRODUCED	Github
A Unified Architecture for Accelerating Distributed DNN Training in Heterogeneous GPU/CPU Clusters	AVAILABLE FUNCTIONAL REPRODUCED	Github
hXDP: Efficient Software Packet Processing on FPGA NICs	AVAILABLE FUNCTIONAL REPRODUCED	Github
Fault-tolerant and transactional stateful serverless workflows	AVAILABLE FUNCTIONAL REPRODUCED	Github
From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees	AVAILABLE FUNCTIONAL REPRODUCED	Bitbucket
AIFM: High-Performance, Application-Integrated Far Memory	AVAILABLE FUNCTIONAL REPRODUCED	Github
Toward a Generic Fault Tolerance Technique for Partial Network Partitioning	AVAILABLE FUNCTIONAL REPRODUCED	Github
Achieving 100Gbps Intrusion Prevention on a Single Server	AVAILABLE FUNCTIONAL REPRODUCED	Github
Serving DNNs like Clockwork: Performance Predictability from the Bottom Up Distinguished Artifact Award	AVAILABLE FUNCTIONAL REPRODUCED	Gitlab Gitlab
Storage Systems are Distributed Systems (So Verify Them That Way!)	AVAILABLE FUNCTIONAL REPRODUCED	Github
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories	AVAILABLE FUNCTIONAL REPRODUCED	Github
Byzantine Ordered Consensus without Byzantine Oligarchy	AVAILABLE FUNCTIONAL REPRODUCED	Github
Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks	AVAILABLE FUNCTIONAL REPRODUCED	Github
A Simpler and Faster NIC Driver Model for Network Functions	AVAILABLE FUNCTIONAL REPRODUCED	Github
Caladan: Mitigating Interference at Microsecond Timescales	AVAILABLE FUNCTIONAL REPRODUCED	Github
Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract	AVAILABLE FUNCTIONAL REPRODUCED	Github
PANIC: A High-Performance Programmable NIC for Multi-tenant Networks	AVAILABLE FUNCTIONAL REPRODUCED	Bitbucket
Performance-Optimal Read-Only Transactions	AVAILABLE FUNCTIONAL REPRODUCED	Github Github
Retiarii: A Deep Learning Exploratory-Training Framework	AVAILABLE FUNCTIONAL REPRODUCED	Github
Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache	AVAILABLE FUNCTIONAL REPRODUCED	Github
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer	AVAILABLE FUNCTIONAL REPRODUCED	Github Docker
PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancy	AVAILABLE FUNCTIONAL REPRODUCED	Github
Ansor: Generating High-Performance Tensor Programs for Deep Learning	AVAILABLE FUNCTIONAL REPRODUCED	Bitbucket
Do OS abstractions make sense on FPGAs?	AVAILABLE FUNCTIONAL REPRODUCED	Github
Orchard: Differentially Private Analytics at Scale	AVAILABLE FUNCTIONAL REPRODUCED	Github
A Tensor Compiler for Unified Machine Learning Prediction Serving	AVAILABLE FUNCTIONAL REPRODUCED	Github
Building Scalable and Flexible Cluster Managers Using Declarative Programming	AVAILABLE FUNCTIONAL REPRODUCED	Github
Theseus: an Experiment in Operating System Structure and State Management	AVAILABLE FUNCTIONAL REPRODUCED	Github
A large scale analysis of hundreds of in-memory cache clusters at Twitter	AVAILABLE FUNCTIONAL REPRODUCED	Github
Cobra: Making Transactional Key-Value Stores Verifiably Serializable	AVAILABLE REPRODUCED	Github
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries	FUNCTIONAL REPRODUCED	Zeppelin
Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads	AVAILABLE FUNCTIONAL	Github
Microsecond Consensus for Microsecond Applications	AVAILABLE FUNCTIONAL	Github
Semeru: A Memory-Disaggregated Managed Runtime	AVAILABLE FUNCTIONAL	Github
KungFu: Making Training in Distributed Machine Learning Adaptive	AVAILABLE FUNCTIONAL	Github
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution	AVAILABLE FUNCTIONAL	Github
Aragog: Scalable Runtime Verification of Shardable Networked Systems	AVAILABLE FUNCTIONAL	Github
CrossFS: A Cross-layered Direct-Access File System	AVAILABLE FUNCTIONAL	Gitlab
Assise: Performance and Availability via Client-local NVM in a Distributed File System	AVAILABLE FUNCTIONAL	Bitbucket
LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network	AVAILABLE	Chameleon