Results

Submissions: 34 (69% of accepted papers)

Evaluation Results:

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

Paper title	Awarded Badges	Available at
Data-flow Availability: Achieving Timing Assurance on Autonomous Systems	AVAILABLE FUNCTIONAL REPRODUCED	Github
Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve	AVAILABLE FUNCTIONAL REPRODUCED	Github
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation	AVAILABLE FUNCTIONAL REPRODUCED	Github
Caravan: Practical Online Learning of In-Network ML Models with Labeling Agents	AVAILABLE FUNCTIONAL REPRODUCED	Github
Automatic and Efficient Customization of Neural Networks for ML Applications	AVAILABLE FUNCTIONAL REPRODUCED	Github
Fairness in Serving Large Language Models	AVAILABLE FUNCTIONAL	Github
Anvil: Verifying Liveness of Cluster Management Controllers	AVAILABLE FUNCTIONAL REPRODUCED	Github
Managing Memory Tiers with CXL in Virtualized Environments	AVAILABLE	Bitbucket
Sabre: Improving Memory Prefetching in Serverless MicroVMs with Near-Memory Hardware-Accelerated Compression	AVAILABLE FUNCTIONAL REPRODUCED	Github
IronSpec: Increasing the Reliability of Formal Specifications	AVAILABLE FUNCTIONAL REPRODUCED	Github
VeriSMo: A Verified Security Module for Confidential VMs	AVAILABLE FUNCTIONAL	Github
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Systems Proofs	AVAILABLE FUNCTIONAL REPRODUCED	Github
Parrot: Efficient Serving of LLM-based Applications with Semantic Variable	AVAILABLE FUNCTIONAL REPRODUCED	Github
Anon: an FPGA-Based Collective Engine for Distributed Applications	AVAILABLE	Github
DSig: Breaking the Barrier of Signatures in Data Centers	AVAILABLE FUNCTIONAL REPRODUCED	Github
𝜇Slope: High Compression and Fast Search on Semi-Structured Logs	AVAILABLE FUNCTIONAL REPRODUCED	Zonodo
DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency	AVAILABLE FUNCTIONAL REPRODUCED	Github
Beaver: Practical Partial Snapshots for Distributed Cloud Services	AVAILABLE FUNCTIONAL REPRODUCED	Github
Llumnix: Dynamic Scheduling for Large Language Model Serving	AVAILABLE FUNCTIONAL REPRODUCED	Github
dLoRA: Dynamically Orchestrating Requests and Adapters for LoRA LLM Serving	AVAILABLE FUNCTIONAL REPRODUCED	Github
Performance Interfaces for Hardware Accelerators	AVAILABLE FUNCTIONAL REPRODUCED	Github
What will it take for Johnny to know when his Cloud job will finish? Towards providing reliable job completion time predictions using PCS	AVAILABLE FUNCTIONAL REPRODUCED	Github
Chop Chop: Byzantine Atomic Broadcast to the Network Limit	AVAILABLE FUNCTIONAL	Github
Secret Key Recovery in a Global-Scale End-to-End Encryption System	AVAILABLE FUNCTIONAL REPRODUCED	Github
SquirrelFS: using the Rust compiler to check file-system crash consistency	AVAILABLE FUNCTIONAL	Github
USHER: Holistic Interference Avoidance for Resource Optimized ML Inference	AVAILABLE	Github
Flock: A Framework for Deploying On-Demand Distributed Trust	AVAILABLE FUNCTIONAL REPRODUCED	Github
DistLLM: Disaggregating Prefill and Decoding for Goodput-optimized Large Language Model Serving	AVAILABLE FUNCTIONAL REPRODUCED	Github
Cuber: Constraint-Guided Parallelization Plan Generation for Deep Learning Training	AVAILABLE FUNCTIONAL	Github
Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning	AVAILABLE FUNCTIONAL REPRODUCED	Github
Bitter: Enabling Efficient Low-Precision Deep Learning Computing through Hardware-aware Tensor Transformation	AVAILABLE FUNCTIONAL REPRODUCED	Github
Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration	AVAILABLE FUNCTIONAL REPRODUCED	Github
InfiniGen: Efficient Generative Inference of Large Language Models with Dynamic KV Cache Management	AVAILABLE FUNCTIONAL REPRODUCED	Github
IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing	AVAILABLE FUNCTIONAL	Github