From a1b9d6234930e2923715f9c6c739656fa0a333cf Mon Sep 17 00:00:00 2001 From: Solal Pirelli Date: Wed, 16 Sep 2026 09:00:04 +0200 Subject: [PATCH 1/4] Create results.md --- _conferences/sosp2026/results.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 _conferences/sosp2026/results.md diff --git a/_conferences/sosp2026/results.md b/_conferences/sosp2026/results.md new file mode 100644 index 0000000..218a72b --- /dev/null +++ b/_conferences/sosp2026/results.md @@ -0,0 +1,20 @@ +--- +title: Results +order: 50 +layout: results + +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)" + +paper_base_url: "https://doi.org/" + +artifacts: +- title: "" + artifact_url: "" + badges: Available, Functional, Reproduced + paper_url: "" +--- From 7904750e22a9f5dc08b98714ffa11e8c5d330427 Mon Sep 17 00:00:00 2001 From: Solal Pirelli Date: Wed, 16 Sep 2026 09:55:17 +0200 Subject: [PATCH 2/4] up to #14 inclusive --- _conferences/sosp2026/results.md | 28 +++++++++++++++++++++++++++- 1 file changed, 27 insertions(+), 1 deletion(-) diff --git a/_conferences/sosp2026/results.md b/_conferences/sosp2026/results.md index 218a72b..1ec8118 100644 --- a/_conferences/sosp2026/results.md +++ b/_conferences/sosp2026/results.md @@ -13,8 +13,34 @@ reproduced_name: "Results Reproduced (v1.1)" paper_base_url: "https://doi.org/" artifacts: +- title: "XTRA: Unifying Cache Coherence and Concurrency Control for Distributed Transactions in a CXL Pod" + artifact_url: "https://doi.org/10.5281/zenodo.22090243" + badges: Available, Functional, Reproduced +- title: "DiFlow: A System for Micro-Serving Text-to-Image Diffusion Workflows" + artifact_url: "https://doi.org/10.5281/zenodo.22098454" + badges: Available, Functional, Reproduced +- title: "StarfishOS: Revisiting Single System Image on CXL with State-Partitioned Microkernel" + artifact_url: "https://doi.org/10.5281/zenodo.22096448" + badges: Available, Functional, Reproduced +- title: "Computation is Fast, Use Threadlet!" + artifact_url: "https://doi.org/10.5281/zenodo.22097300" + badges: Available, Functional +- title: "GAZE: Rearchitecting Log-Structured Filesystem for Garbage Collection on Zoned Namespace Flash Storage" + artifact_url: "https://doi.org/10.5281/zenodo.22119686" + badges: Available, Functional, Reproduced +- title: "Guiding Agentic GPU Kernel Optimization with Data Flow Invariants" + artifact_url: "https://doi.org/10.5281/zenodo.22133069" + badges: Available, Functional +- title: "Borges: A Low-Latency Distributed Shared Log on a CXL Memory/SSD Hybrid" + artifact_url: "https://doi.org/10.5281/zenodo.22100507" + badges: Available, Functional, Reproduced +- title: "Lion: Modular Verification of Async Runtime Liveness" + artifact_url: "https://doi.org/10.5281/zenodo.22061599" + badges: Available, Functional, Reproduced +- title: "Tamias: Feedback-Guided Systematic Concurrency Exploration for Transparent Distributed System Fuzzing" + artifact_url: "https://doi.org/10.5281/zenodo.22122309" + badges: Available, Functional - title: "" artifact_url: "" badges: Available, Functional, Reproduced - paper_url: "" --- From 56c70893fa2497f25dcbb415f06547eb30fe91b9 Mon Sep 17 00:00:00 2001 From: Solal Pirelli Date: Wed, 16 Sep 2026 11:06:50 +0200 Subject: [PATCH 3/4] up to #54 inclusive --- _conferences/sosp2026/results.md | 57 ++++++++++++++++++++++++++++++++ 1 file changed, 57 insertions(+) diff --git a/_conferences/sosp2026/results.md b/_conferences/sosp2026/results.md index 1ec8118..9fdab9e 100644 --- a/_conferences/sosp2026/results.md +++ b/_conferences/sosp2026/results.md @@ -40,6 +40,63 @@ artifacts: - title: "Tamias: Feedback-Guided Systematic Concurrency Exploration for Transparent Distributed System Fuzzing" artifact_url: "https://doi.org/10.5281/zenodo.22122309" badges: Available, Functional +- title: "Efficient GPU Multitasking with Morphable Kernels" + artifact_url: "https://doi.org/10.5281/zenodo.22104933" + badges: Available, Functional, Reproduced +- title: "Multi-LLM Serving at Production Scale" + artifact_url: "https://doi.org/10.5281/zenodo.22049568" + badges: Available, Functional +- title: "SANDHI: Fine-Grained Merging for Memory Efficient Multi-Model Serving" + artifact_url: "https://doi.org/10.5281/zenodo.22108093" + badges: Available, Functional, Reproduced +- title: "VoliStorM: A crash-consistent I/O cache with two kernels instead of two caches" + artifact_url: "https://doi.org/10.5281/zenodo.22132413" + badges: Available, Functional, Reproduced +- title: "Cohort: Decentralized PIR" + artifact_url: "https://doi.org/10.5281/zenodo.21929085" + badges: Available, Functional, Reproduced +- title: "PirateShip: Append-Only Ledgers for (Mostly) Trusted Execution Environments" + artifact_url: "https://doi.org/10.5281/zenodo.22117853" + badges: Available, Functional, Reproduced +- title: "TuxBot: Semantic-Aware Online OS Tuning with LLMs" + artifact_url: "https://doi.org/10.5281/zenodo.21285693" + badges: Available, Functional, Reproduced +- title: "Axiom: Achieving Determinism in LLM Inference" + artifact_url: "https://doi.org/10.5281/zenodo.22058709" + badges: Available, Functional, Reproduced +- title: "AgileLog: A Forkable Shared Log for Agents on Data Streams" + artifact_url: "https://doi.org/10.5281/zenodo.22102576" + badges: Available, Functional, Reproduced +- title: "It's the Kernel's Fault! Custom Page Fault Handling With bpf_fault" + artifact_url: "https://zenodo.org/records/22150443" + badges: Available, Functional, Reproduced +- title: "Ahead-of-time Analysis of Shell Program Effects" + artifact_url: "https://doi.org/10.5281/zenodo.22103126" + badges: Available, Functional, Reproduced +- title: "Compositional Verification of Cluster Control Planes" + artifact_url: "https://doi.org/10.5281/zenodo.21763916" + badges: Available, Functional, Reproduced +- title: "" + artifact_url: "" + badges: Available, Functional, Reproduced +- title: "" + artifact_url: "" + badges: Available, Functional, Reproduced +- title: "" + artifact_url: "" + badges: Available, Functional, Reproduced +- title: "" + artifact_url: "" + badges: Available, Functional, Reproduced +- title: "" + artifact_url: "" + badges: Available, Functional, Reproduced +- title: "" + artifact_url: "" + badges: Available, Functional, Reproduced +- title: "" + artifact_url: "" + badges: Available, Functional, Reproduced - title: "" artifact_url: "" badges: Available, Functional, Reproduced From 1af551e3bfcdf94f14fe9190cf7060c2245f973b Mon Sep 17 00:00:00 2001 From: Solal Pirelli Date: Thu, 17 Sep 2026 13:47:59 +0200 Subject: [PATCH 4/4] done --- _conferences/sosp2026/results.md | 65 ++++++++++++++++++++++++-------- 1 file changed, 49 insertions(+), 16 deletions(-) diff --git a/_conferences/sosp2026/results.md b/_conferences/sosp2026/results.md index 9fdab9e..ff92557 100644 --- a/_conferences/sosp2026/results.md +++ b/_conferences/sosp2026/results.md @@ -76,28 +76,61 @@ artifacts: - title: "Compositional Verification of Cluster Control Planes" artifact_url: "https://doi.org/10.5281/zenodo.21763916" badges: Available, Functional, Reproduced -- title: "" - artifact_url: "" +- title: "Big Bird: Resilient Privacy Budgeting Across Untrusted Web Domains" + artifact_url: "https://doi.org/10.5281/zenodo.21983297" badges: Available, Functional, Reproduced -- title: "" - artifact_url: "" +- title: "Testing Custom Control Planes Without the Cluster" + artifact_url: "https://doi.org/10.5281/zenodo.22109592" badges: Available, Functional, Reproduced -- title: "" - artifact_url: "" +- title: "Bug-finding and proofs for platform configurations and hardware based on reference manuals" + artifact_url: "https://doi.org/10.5281/zenodo.21976745" badges: Available, Functional, Reproduced -- title: "" - artifact_url: "" +- title: "M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification" + artifact_url: "https://doi.org/10.5281/zenodo.22106921" badges: Available, Functional, Reproduced -- title: "" - artifact_url: "" +- title: "DDB: Source-Level Interactive Debugging for Distributed Applications" + artifact_url: "https://doi.org/10.5281/zenodo.21971347" badges: Available, Functional, Reproduced -- title: "" - artifact_url: "" +- title: "Democratizing MoE LLM Decoding via Barrier-Free Expert Parallelism" + artifact_url: "https://doi.org/10.5281/zenodo.22100356" badges: Available, Functional, Reproduced -- title: "" - artifact_url: "" +- title: "Anchor: Mitigating Shallow Disruptions with Decoupled Memory" + artifact_url: "https://doi.org/10.5281/zenodo.22128753" badges: Available, Functional, Reproduced -- title: "" - artifact_url: "" +- title: "Scheduling Linux Threads under I/O Chiplet Wall Using cSwitch" + artifact_url: "https://doi.org/10.5281/zenodo.22097791" + badges: Available, Functional +- title: "CryptDough: A unified analytics engine for secure multiparty computation" + artifact_url: "https://zenodo.org/records/22077010" + badges: Available, Functional, Reproduced +- title: "Sintr: Safe Interactive Transactions in the Presence of Byzantine Clients" + artifact_url: "https://doi.org/10.5281/zenodo.22050053" + badges: Available, Functional, Reproduced +- title: "Information and Control in Agent-Native Filesystems" + artifact_url: "https://zenodo.org/records/21959241" + badges: Available, Functional, Reproduced +- title: "Cardamom: A Multi-GPU Framework For TB-Scale Encrypted Inference" + artifact_url: "https://doi.org/10.1184/R1/33340515" + badges: Available, Functional, Reproduced +- title: "Smaran: Serving Authenticated Time Travel Queries" + artifact_url: "https://doi.org/10.5281/zenodo.22106501" + badges: Available, Functional, Reproduced +- title: "Skill VM: Write Once, Run Everywhere Efficiently" + artifact_url: "https://doi.org/10.5281/zenodo.22113152" + badges: Available, Functional +- title: "TensorDex: A Compact, Tensor-Centric Storage System for Modern AI Models" + artifact_url: "https://doi.org/10.5281/zenodo.22133305" + badges: Available, Functional, Reproduced +- title: "MCon: Building an Elastic Cloud for Android Applications with Framework Consolidation" + artifact_url: "https://doi.org/10.5281/zenodo.22113077" + badges: Available, Functional +- title: "Beyond Utilization: Energy-Conscious GPU Sharing for Inference Serving" + artifact_url: "https://doi.org/10.5281/zenodo.22114792" + badges: Available, Functional, Reproduced +- title: "I3DP: Neuro-symbolic Inductive Invariant Inference for Distributed Protocols" + artifact_url: "https://doi.org/10.5281/zenodo.22025609" + badges: Available, Functional, Reproduced +- title: "Flux: Unleashing Linux as a High-Performance Application Kernel" + artifact_url: "https://doi.org/10.5281/zenodo.22124324" badges: Available, Functional, Reproduced ---