Results 32 available artifacts 40 functional artifacts 41 reproduced artifacts Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation Artifact AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations Artifact CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices Artifact CortenMM: Efficient Memory Management with Strong Correctness Guarantees Artifact DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism Artifact Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest Delegation Artifact Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks Artifact FlexGuard: Fast Mutual Exclusion Independent of Subscription Artifact HedraRAG: Co-Optimizing Generation and Retrieval for Heterogeneous RAG Workflows Artifact Jenga: Effective Memory Management for Serving LLM with Heterogeneity Artifact KNighter: Transforming Static Analysis with LLM-Synthesized Checkers Artifact KTransformers: Unleashing the Full Potential of CPU/GPU Hybrid Inference for MoE Models Artifact Loom: Efficient Capture and Querying of High-Frequency Telemetry Artifact ORQ: Complex Analytics on Private Data with Strong Security Guarantees Artifact Optimistic Recovery for High-Availability Software via Partial Process State Preservation Artifact Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation Artifact Pesto: Cooking up High Performance BFT Queries Artifact Pie: A Programmable Serving System for Emerging LLM Applications Artifact PrefillOnly: An Inference Engine for Prefill-only Workloads in Large Language Model Applications Artifact Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement Artifact Quilt: Resource-aware Merging of Serverless Workflows Artifact Sailor: Automating Distributed Training over Dynamic, Heterogeneous, and Geo-distributed Clusters Artifact Scalable Address Spaces using Concurrent Interval Skiplist Artifact Scalable Far Memory: Balancing Faults and Evictions Artifact Tempo: Compiled Dynamic Deep Learning with Symbolic Dependence Graphs Artifact The Design and Implementation of a Virtual Firmware Monitor Artifact Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks Artifact TrainVerify: Equivalence-Based Verification for Distributed LLM Training Artifact Unlocking True Elasticity for the Cloud-Native Era with Dandelion Artifact cache_ext: Customizing the Page Cache with eBPF Artifact eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle Artifact Managing Scalable Direct Storage Accesses for GPUs with GoFS Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack Artifact How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service Artifact Mercury: Unlocking Multi-GPU Operator Optimization for LLMs via Remote Memory Scheduling Artifact Spirit: Fair Allocation of Interdependent Resources in Remote Memory Systems Artifact TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral Artifact WASIT: Deep and Continuous Differential Testing of WebAssembly System Interface Implementations Artifact Atmosphere: Practical Verified Kernels with Rust and Verus Artifact Proto: A Guided Journey through Modern OS Construction Coyote v2: Raising the Level of Abstraction for Data Center FPGAs Artifact DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction Artifact Mitigating Application Resource Overload with Targeted Task Cancellation Artifact Oasis: Pooling PCIe Devices Over CXL to Boost Utilization Artifact
