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