From f90111a025bacd170aded1cbc0a5d0b1994aae36 Mon Sep 17 00:00:00 2001 From: Solal Pirelli Date: Sun, 28 Jun 2026 08:57:17 +0200 Subject: [PATCH 1/3] Skeleton --- _conferences/sosp2025/results.md | 71 ++++++++++++++++++++++++++++++++ 1 file changed, 71 insertions(+) create mode 100644 _conferences/sosp2025/results.md diff --git a/_conferences/sosp2025/results.md b/_conferences/sosp2025/results.md new file mode 100644 index 0000000..407d417 --- /dev/null +++ b/_conferences/sosp2025/results.md @@ -0,0 +1,71 @@ +--- +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: "" + repository_url: "" + badges: Available, Functional, Reproduced + doi: "" +--- + + + + + + + + + + + + + {% for artifact in page.artifacts %} + + + + + + + + {% endfor %} + +
Paper titleAvail.Funct.Repro.Available At
+ {% if artifact.url %} + [{{artifact.title}}]({{artifact.url}}) + {% elsif artifact.doi %} + {{artifact.title}} + {% else %} + {{ artifact.title }} + {% endif %} + + {% 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 %} + GitHub
+ {% endif %} {% if artifact.cloudlab_url %} + CloudLab Profile
+ {% endif %} {% if artifact.scripts_url %} + Scripts
+ {% endif %} {% if artifact.additional_urls %} + {% for url in artifact.additional_urls %} + Additional Resources
+ {% endfor %} + {% endif %} +
From f95a5f18a1f7b280a959139aa852575b8c0b55c7 Mon Sep 17 00:00:00 2001 From: Solal Pirelli Date: Sun, 28 Jun 2026 10:15:18 +0200 Subject: [PATCH 2/3] Done --- _conferences/sosp2025/results.md | 206 ++++++++++++++++++++++++++++--- 1 file changed, 187 insertions(+), 19 deletions(-) diff --git a/_conferences/sosp2025/results.md b/_conferences/sosp2025/results.md index 407d417..c759b09 100644 --- a/_conferences/sosp2025/results.md +++ b/_conferences/sosp2025/results.md @@ -9,10 +9,192 @@ reproduced_img: "acm_reproduced_1.1.png" reproduced_name: "Results Reproduced (v1.1)" baseurl: "https://dl.acm.org/doi/" artifacts: -- title: "" - repository_url: "" +- 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: "" + 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" --- @@ -29,13 +211,7 @@ artifacts: {% for artifact in page.artifacts %} From 8b7935ca02de7cb5baddba03313024f431d6698d Mon Sep 17 00:00:00 2001 From: Solal Pirelli Date: Sun, 28 Jun 2026 17:31:33 +0200 Subject: [PATCH 3/3] Comment out problematic entries --- _conferences/sosp2025/results.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/_conferences/sosp2025/results.md b/_conferences/sosp2025/results.md index c759b09..61d49ba 100644 --- a/_conferences/sosp2025/results.md +++ b/_conferences/sosp2025/results.md @@ -32,10 +32,10 @@ artifacts: 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: "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 @@ -167,10 +167,10 @@ artifacts: 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: "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
- {% if artifact.url %} - [{{artifact.title}}]({{artifact.url}}) - {% elsif artifact.doi %} - {{artifact.title}} - {% else %} - {{ artifact.title }} - {% endif %} + {{artifact.title}} {% if artifact.badges contains "Available" %} @@ -54,15 +230,7 @@ artifacts: {% if artifact.repository_url %} - GitHub
- {% endif %} {% if artifact.cloudlab_url %} - CloudLab Profile
- {% endif %} {% if artifact.scripts_url %} - Scripts
- {% endif %} {% if artifact.additional_urls %} - {% for url in artifact.additional_urls %} - Additional Resources
- {% endfor %} + Link
{% endif %}