Results

Submissions: 32 (64% of accepted papers)

Evaluation Results:

• 14 Artifact Available
• 31 Artifact Functional
• 25 Results Reproduced

Paper title	Awarded Badges	Available at
Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit	AVAILABLE	Github
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud	AVAILABLE FUNCTIONAL	Github
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction	AVAILABLE FUNCTIONAL	Github Zenodo
EinNet: Optimizing Tensor Programs with Derivation-Based Transformations	AVAILABLE FUNCTIONAL REPRODUCED	Github
LVMT: An Efficient Authenticated Storage for Blockchain	AVAILABLE FUNCTIONAL REPRODUCED	Github
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems	AVAILABLE FUNCTIONAL REPRODUCED	Github
Ensō: A Streaming Interface for NIC-Application Communication	AVAILABLE FUNCTIONAL REPRODUCED	Ensō Repository Eval Docs
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing	FUNCTIONAL REPRODUCED
Cilantro: A Framework for Performance-Aware Resource Allocation for General Objectives via Online Feedback	AVAILABLE FUNCTIONAL	Github
Security and Performance in the Delegated User-level Virtualization	AVAILABLE FUNCTIONAL REPRODUCED	Github
Welder: Scheduling Deep Learning Memory Access via Tile-graph	AVAILABLE FUNCTIONAL REPRODUCED	Github
Accelerating Graph Neural Networks with Fine-grained intra-kernel Communication-Computation Pipelining on Multi-GPU Platforms	AVAILABLE FUNCTIONAL REPRODUCED	Github
Honeycomb: An Secure, Efficient GPU Execution Environment with Minimal TCB	AVAILABLE FUNCTIONAL REPRODUCED	Github
Accountable authentication with privacy protection: The Larch system for universal login	AVAILABLE FUNCTIONAL REPRODUCED	Github
Hydro: Surrogate-Based Hyperparameter Tuning Service in the Datacenter	AVAILABLE FUNCTIONAL REPRODUCED	Github
ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities	AVAILABLE FUNCTIONAL	Github
Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators	FUNCTIONAL REPRODUCED	Zenodo
Grinder: Analysis and Optimization for Dynamic Control Flow in Deep Learning	AVAILABLE FUNCTIONAL REPRODUCED	Github Zenodo
Encrypted Databases Made Secure Yet Maintainable	AVAILABLE FUNCTIONAL REPRODUCED	Github
ExoFlow: A Universal Workflow System for Exactly-Once DAGs	AVAILABLE FUNCTIONAL REPRODUCED	Github
Beta: Statistical Multiplexing with Model Parallelism for Deep Learning Serving	AVAILABLE FUNCTIONAL REPRODUCED	Github
AutoV: Scaling Machine-Checkable Verification for Large System Software	AVAILABLE FUNCTIONAL REPRODUCED	Github
RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks	FUNCTIONAL REPRODUCED
Relational Debugging — Pinpointing Root Causes of Performance Problems	AVAILABLE FUNCTIONAL REPRODUCED	Github
VBase: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity	AVAILABLE FUNCTIONAL REPRODUCED	Github
Optimizing Dynamic Neural Networks with Brainstorm	AVAILABLE FUNCTIONAL REPRODUCED	Github
Userspace Bypass: Accelerating Syscall-intensive Applications	AVAILABLE FUNCTIONAL REPRODUCED	Github
Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks	AVAILABLE FUNCTIONAL REPRODUCED	Github
SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory	AVAILABLE FUNCTIONAL REPRODUCED	Github
Pelton: Privacy-Compliant Storage For Web Applications By Construction	AVAILABLE FUNCTIONAL REPRODUCED	Github
SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory	AVAILABLE FUNCTIONAL REPRODUCED
Nimble: Rollback Protection for Confidential Cloud Services	AVAILABLE FUNCTIONAL REPRODUCED	Github