Yamlfying OSDI 20-24 and ATC 21-24, and simplifying SOSP 21/23 and SC21

_conferences/osdi2024/results.md

@@ -0,0 +1,210 @@
+---
+title: Results
+order: 40
+available_img: "usenix_available.svg"
+available_name: "Artifacts Available"
+functional_img: "usenix_functional.svg"
+functional_name: "Artifacts Evaluated - Functional"
+reproduced_img: "usenix_reproduced.svg"
+reproduced_name: "Results Reproduced"
+
+artifacts:
+
+  - title: "Data-flow Availability: Achieving Timing Assurance on Autonomous Systems"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/WUSTL-CSPL/Shore-Userspace"
+
+  - title: "Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://anonymous.4open.science/r/sarathi-serve-osdi-artifact-5EB8/"
+
+  - title: "Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/JZuming/EET"
+
+  - title: "Caravan: Practical Online Learning of In-Network ML Models with Labeling Agents"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/Per-Packet-AI/Caravan-Artifact-OSDI24"
+
+  - title: "Automatic and Efficient Customization of Neural Networks for ML Applications"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/UChi-JCL/chameleonAPI"
+
+  - title: "Fairness in Serving Large Language Models"
+    badges: "Available,Functional"
+    repository_url: "https://github.com/Ying1123/VTC-artifact"
+
+  - title: "Anvil: Verifying Liveness of Cluster Management Controllers"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/vmware-research/verifiable-controllers"
+
+  - title: "Managing Memory Tiers with CXL in Virtualized Environments"
+    badges: "Available"
+    repository_url: "https://bitbucket.org/yuhong_zhong/memstrata/src/master/"
+
+  - title: "Sabre: Improving Memory Prefetching in Serverless MicroVMs with Near-Memory Hardware-Accelerated Compression"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/barabanshek/sabre"
+
+  - title: "IronSpec: Increasing the Reliability of Formal Specifications"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/GLaDOS-Michigan/IronSpec"
+
+  - title: "VeriSMo: A Verified Security Module for Confidential VMs"
+    badges: "Available,Functional"
+    repository_url: "https://github.com/microsoft/verismo"
+
+  - title: "Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Systems Proofs"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/GLaDOS-Michigan/Kondo-Artifact-OSDI24"
+
+  - title: "Parrot: Efficient Serving of LLM-based Applications with Semantic Variable"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/microsoft/ParrotServe/tree/artifact"
+
+  - title: "Anon: an FPGA-Based Collective Engine for Distributed Applications"
+    badges: "Available"
+    repository_url: "https://github.com/Xilinx/ACCL/tree/dev"
+
+  - title: "DSig: Breaking the Barrier of Signatures in Data Centers"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/LPD-EPFL/dsig-artifacts"
+
+  - title: "𝜇Slope: High Compression and Fast Search on Semi-Structured Logs"
+    badges: "Available,Functional,Reproduced"
+    artifact_url: "https://zenodo.org/records/11069592"
+
+  - title: "DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/uclasystem/DRust"
+
+  - title: "Beaver: Practical Partial Snapshots for Distributed Cloud Services"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/eniac/Beaver"
+
+  - title: "Llumnix: Dynamic Scheduling for Large Language Model Serving"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/alibaba/llm-scheduling-artifact"
+
+  - title: "dLoRA: Dynamically Orchestrating Requests and Adapters for LoRA LLM Serving"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/LLMServe/dLoRA-artifact"
+
+  - title: "Performance Interfaces for Hardware Accelerators"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/dslab-epfl/lpn"
+
+  - title: "What will it take for Johnny to know when his Cloud job will finish? Towards providing reliable job completion time predictions using PCS"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/abdullahfsm/PCS/tree/osdi2024-artifact"
+
+  - title: "Chop Chop: Byzantine Atomic Broadcast to the Network Limit"
+    badges: "Available,Functional"
+    repository_url: "https://github.com/Distributed-EPFL/chop-chop-osdi24?tab=readme-ov-file"
+
+  - title: "Secret Key Recovery in a Global-Scale End-to-End Encryption System"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/vivi/SecureValueRecovery2/tree/artifact/paper_experiments#readme"
+
+  - title: "SquirrelFS: using the Rust compiler to check file-system crash consistency"
+    badges: "Available,Functional"
+    repository_url: "https://github.com/hayley-leblanc/squirrelfs"
+
+  - title: "USHER: Holistic Interference Avoidance for Resource Optimized ML Inference"
+    badges: "Available"
+    repository_url: "https://github.com/ss7krd/Usher"
+
+  - title: "Flock: A Framework for Deploying On-Demand Distributed Trust"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/flock-org/flock"
+
+  - title: "DistLLM: Disaggregating Prefill and Decoding for Goodput-optimized Large Language Model Serving"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/LLMServe/DistServe/blob/camera-ready/distserve/evaluation/docs/README-AE.md"
+
+  - title: "Cuber: Constraint-Guided Parallelization Plan Generation for Deep Learning Training"
+    badges: "Available,Functional"
+    repository_url: "http://github.com/microsoft/nnscaler"
+
+  - title: "Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/zhaiyi000/tlm"
+
+  - title: "Bitter: Enabling Efficient Low-Precision Deep Learning Computing through Hardware-aware Tensor Transformation"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/microsoft/BitBLAS/tree/osdi24_ladder_artifact"
+
+  - title: "Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/lingfenghsiang/Nomad"
+
+  - title: "InfiniGen: Efficient Generative Inference of Large Language Models with Dynamic KV Cache Management"
+    badges: "Available,Functional,Reproduced"
+    repository_url: "https://github.com/snu-comparch/InfiniGen"
+
+  - title: "IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing"
+    badges: "Available,Functional"
+    repository_url: "https://github.com/yiluwusbu/IntOS"
+
+---
+
+**Submissions**: 34 (69% of accepted papers)
+
+**Evaluation Results**:
+
+* 34 Artifact Available
+* 31 Artifact Functional
+* 25 Results Reproduced
+
+<table>
+  <thead>
+    <tr>
+      <th>Paper</th>
+      <th width="75px">Avail.</th>
+      <th width="75px">Funct.</th>
+      <th width="75px">Repro.</th>
+      <th>Available At</th>
+    </tr>
+  </thead>
+  <tbody>
+  {% assign sorted_artifacts = page.artifacts | sort: "title" %}
+  {% for artifact in sorted_artifacts %}
+    <tr>
+      <td>
+        {% if artifact.doi %}
+            <a href="{{artifact.doi}}" target="_blank">{{artifact.title}}</a>
+        {% else %}
+            {{ artifact.title }}
+        {% endif %}
+        {% if artifact.award %}
+          <br><b>{{ artifact.award }}</b>
+        {% endif %}
+      </td>
+      <td width="75px">
+        {% if artifact.badges contains "Available" %}
+          <img src="{{ site.baseurl }}/images/{{ page.available_img }}" alt="{{ page.available_name }}">
+        {% endif %}
+      </td>
+      <td width="75px">
+        {% if artifact.badges contains "Functional" %}
+          <img src="{{ site.baseurl }}/images/{{ page.functional_img }}" alt="{{ page.functional_name }}">
+        {% endif %}
+      </td>
+      <td width="75px">
+        {% if artifact.badges contains "Reproduced" %}
+          <img src="{{ site.baseurl }}/images/{{ page.reproduced_img }}" alt="{{ page.reproduced_name }}">
+        {% endif %}
+      </td>
+      <td width="120px">
+        {% if artifact.artifact_url %}
+          <a href="{{artifact.artifact_url}}" target="_blank">Artifact</a><br>
+        {% endif %} {% if artifact.repository_url %}
+          <a href="{{artifact.repository_url}}" target="_blank">Repository</a><br>
+        {% endif %} {% if artifact.appendix_url %}
+          <a href="{{artifact.appendix_url}}" target="_blank">Appendix</a><br>
+        {% endif %}
+      </td>
+    </tr>
+  {% endfor %}
+  </tbody>
+</table>