Add SOSP'25 results extracted manually

_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: "<could not be found when this was added, thus this entry is commented out>"
+#  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: "<the website explicitly says not available yet, thus this is commented out>"
+#  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"
+---
+
+<table>
+  <thead>
+    <tr>
+      <th>Paper title</th>
+      <th>Avail.</th>
+      <th>Funct.</th>
+      <th>Repro.</th>
+      <th>Available At</th>
+    </tr>
+  </thead>
+  <tbody>
+  {% for artifact in page.artifacts %}
+    <tr>
+      <td>
+        <a href="{{page.baseurl}}{{artifact.doi}}">{{artifact.title}}</a>
+      </td>
+      <td>
+        {% if artifact.badges contains "Available" %}
+          <img src="{{ site.baseurl }}/images/{{ page.available_img }}" alt="{{ page.available_name }}" width="50px">
+        {% endif %}
+      </td>
+      <td>
+        {% if artifact.badges contains "Functional" %}
+          <img src="{{ site.baseurl }}/images/{{ page.functional_img }}" alt="{{ page.functional_name }}" width="50px">
+        {% endif %}
+      </td>
+      <td>
+        {% if artifact.badges contains "Reproduced" %}
+          <img src="{{ site.baseurl }}/images/{{ page.reproduced_img }}" alt="{{ page.reproduced_name }}" width="50px">
+        {% endif %}
+      </td>
+      <td>
+        {% if artifact.repository_url %}
+          <a href="{{artifact.repository_url}}">Link</a><br>
+        {% endif %}
+      </td>
+    </tr>
+    {% endfor %}
+  </tbody>
+</table>