diff --git a/_conferences/sosp2025/results.md b/_conferences/sosp2025/results.md new file mode 100644 index 0000000..61d49ba --- /dev/null +++ b/_conferences/sosp2025/results.md @@ -0,0 +1,239 @@ +--- +title: Results +order: 50 +available_img: "acm_available_1.1.png" +available_name: "Artifacts Available (v1.1)" +functional_img: "acm_functional_1.1.png" +functional_name: "Artifacts Evaluated - Functional (v1.1)" +reproduced_img: "acm_reproduced_1.1.png" +reproduced_name: "Results Reproduced (v1.1)" +baseurl: "https://dl.acm.org/doi/" +artifacts: +- title: "Proto: A Guided Journey through Modern OS Construction" + badges: Functional + doi: "10.1145/3731569.3764811" +- title: "CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices" + repository_url: "https://github.com/CHERIoT-Platform/cheriot-rtos" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764844" +- title: "The Design and Implementation of a Virtual Firmware Monitor" + repository_url: "https://github.com/epfl-dcsl/miralis-sosp25-artifact" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764826" +- title: "Oasis: Pooling PCIe Devices Over CXL to Boost Utilization" + repository_url: "https://bitbucket.org/yuhong_zhong/oasis" + badges: Available + doi: "10.1145/3731569.3764812" +- title: "Spirit: Fair Allocation of Interdependent Resources in Remote Memory Systems" + repository_url: "https://github.com/yale-nova/spirit" + badges: Available, Functional + doi: "10.1145/3731569.3764805" +- title: "Scalable Far Memory: Balancing Faults and Evictions" + repository_url: "https://github.com/rs3lab/mage-artifact" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764842" +#- title: "Device-Assisted Live Migration of RDMA Devices" +# repository_url: "" +# badges: Available +# doi: "10.1145/3731569.3764795" +- title: "Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest Delegation" + repository_url: "https://doi.org/10.5281/zenodo.16912877" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764801" +- title: "Sailor: Automating Distributed Training over Dynamic, Heterogeneous, and Geo-distributed Clusters" + repository_url: "https://github.com/eth-easl/sailor" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764839" +- title: "DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism" + repository_url: "https://doi.org/10.5281/zenodo.16921000" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764849" +- title: "TrainVerify: Equivalence-Based Verification for Distributed LLM Training" + repository_url: "https://github.com/verify-llm/TrainVerify" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764850" +- title: "Mitigating Application Resource Overload with Targeted Task Cancellation" + repository_url: "https://github.com/OrderLab/Atropos" + badges: Available + doi: "10.1145/3731569.3764835" +- title: "Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation" + repository_url: "https://github.com/ICTPLSys/Orthrus" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764832" +- title: "Optimistic Recovery for High-Availability Software via Partial Process State Preservation" + repository_url: "https://github.com/OrderLab/phoenix" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764858" +- title: "Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks" + repository_url: "https://github.com/dslab-epfl/NEXDSIM_AE" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764825" +- title: "PrefillOnly: An Inference Engine for Prefill-only Workloads in Large Language Model Applications" + repository_url: "https://doi.org/10.5281/zenodo.16972909" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764834" +- title: "Pie: A Programmable Serving System for Emerging LLM Applications" + repository_url: "https://github.com/pie-project/pie" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764814" +- title: "DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction" + repository_url: "https://github.com/zyqCSL/DiffKV" + badges: Available + doi: "10.1145/3731569.3764810" +- title: "Jenga: Effective Memory Management for Serving LLM with Heterogeneity" + repository_url: "https://github.com/heheda12345/Jenga-SOSP25-AE" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764823" +- title: "cache_ext: Customizing the Page Cache with eBPF" + repository_url: "https://github.com/cache-ext/cache_ext" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764820" +- title: "Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack" + repository_url: "https://github.com/TELOS-syslab/Aeolia" + badges: Available, Functional + doi: "10.1145/3731569.3764816" +- title: "Loom: Efficient Capture and Querying of High-Frequency Telemetry" + repository_url: "https://github.com/fsolleza/loom" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764853" +- title: "Pesto: Cooking up High Performance BFT Queries" + repository_url: "https://github.com/fsuri/Pequin-Artifact" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764799" +- title: "Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks" + repository_url: "https://github.com/New-Consensus-Concurrency-Control/Tiga" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764854" +- title: "Tempo: Compiled Dynamic Deep Learning with Symbolic Dependence Graphs" + repository_url: "https://github.com/LSDS/Tempo" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764840" +- title: "HedraRAG: Co-Optimizing Generation and Retrieval for Heterogeneous RAG Workflows" + repository_url: "https://github.com/Leo9660/HedraRAG_AE" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764806" +- title: "Coyote v2: Raising the Level of Abstraction for Data Center FPGAs" + repository_url: "https://github.com/fpgasystems/Coyote" + badges: Available + doi: "10.1145/3731569.3764845" +- title: "KNighter: Transforming Static Analysis with LLM-Synthesized Checkers" + repository_url: "https://github.com/ise-uiuc/KNighter" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764827" +- title: "eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle" + repository_url: "https://github.com/rs3lab/veritas" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764797" +- title: "WASIT: Deep and Continuous Differential Testing of WebAssembly System Interface Implementations" + repository_url: "https://github.com/yagehu/wasit" + badges: Available, Functional + doi: "10.1145/3731569.3764819" +- title: "Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement" + repository_url: "https://github.com/SunHao-0/BCF/tree/artifact-evaluation" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764796" +- title: "Atmosphere: Practical Verified Kernels with Rust and Verus" + repository_url: "https://github.com/mars-research/atmosphere-sosp25-artifact" + badges: Functional + doi: "10.1145/3731569.3764821" +- title: "AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations" + repository_url: "https://github.com/stonysystems/automan" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764822" +- title: "ORQ: Complex Analytics on Private Data with Strong Security Guarantees" + repository_url: "https://github.com/CASP-Systems-BU/orq" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764833" +- title: "TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral" + repository_url: "https://github.com/dedis/votegral" + badges: Available, Functional + doi: "10.1145/3731569.3764837" +- title: "Quilt: Resource-aware Merging of Serverless Workflows" + repository_url: "https://github.com/eniac/quilt" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764830" +- title: "Mantle: Efficient Hierarchical Metadata Management for Cloud Object Storage Services" + #repository_url: "???" # https://mantle-opensource.github.io/ just says it will be open sourced at some point + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764824" +- title: "Unlocking True Elasticity for the Cloud-Native Era with Dandelion" + repository_url: "https://github.com/eth-easl/dandelion" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764803" +- title: "Managing Scalable Direct Storage Accesses for GPUs with GoFS" + badges: Functional, Reproduced + doi: "10.1145/3731569.3764857" +- title: "KTransformers: Unleashing the Full Potential of CPU/GPU Hybrid Inference for MoE Models" + repository_url: "https://github.com/kvcache-ai/ktransformers" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764843" +#- title: "Aegaeon: Effective GPU Pooling for Concurrent LLM Serving on the Market" +# repository_url: "" +# badges: Available, Functional, Reproduced +# doi: "10.1145/3731569.3764815" +- title: "Mercury: Unlocking Multi-GPU Operator Optimization for LLMs via Remote Memory Scheduling" + repository_url: "https://github.com/ChandlerGuan/mercury_artifact" + badges: Available, Functional + doi: "10.1145/3731569.3764798" +- title: "How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service" + repository_url: "https://github.com/SJTU-IPADS/Copier" + badges: Available, Functional + doi: "10.1145/3731569.3764800" +- title: "CortenMM: Efficient Memory Management with Strong Correctness Guarantees" + repository_url: "https://github.com/TELOS-syslab/CortenMM-Artifact" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764836" +- title: "FlexGuard: Fast Mutual Exclusion Independent of Subscription" + repository_url: "https://gitlab.inria.fr/flexguard/flexguard" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764852" +- title: "Scalable Address Spaces using Concurrent Interval Skiplist" + repository_url: "https://github.com/kaist-cp/interval-vm.git" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3764807" +- title: "Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation" + repository_url: "https://github.com/vmexit/trio-sosp23-ae/tree/sosp25ae-snapshot" + badges: Available, Functional, Reproduced + doi: "10.1145/3731569.3768291" +--- + + + + + + + + + + + + + {% for artifact in page.artifacts %} + + + + + + + + {% endfor %} + +
Paper titleAvail.Funct.Repro.Available At
+ {{artifact.title}} + + {% if artifact.badges contains "Available" %} + {{ page.available_name }} + {% endif %} + + {% if artifact.badges contains "Functional" %} + {{ page.functional_name }} + {% endif %} + + {% if artifact.badges contains "Reproduced" %} + {{ page.reproduced_name }} + {% endif %} + + {% if artifact.repository_url %} + Link
+ {% endif %} +