Results
- 33 available artifacts
- 40 functional artifacts
- 40 reproduced artifacts
| AgileLog: A Forkable Shared Log for Agents on Data Streams |
|
Artifact | |
| Ahead-of-time Analysis of Shell Program Effects |
|
Artifact | |
| Anchor: Mitigating Shallow Disruptions with Decoupled Memory |
|
Artifact | |
| Axiom: Achieving Determinism in LLM Inference |
|
Artifact | |
| Beyond Utilization: Energy-Conscious GPU Sharing for Inference Serving |
|
Artifact | |
| Big Bird: Resilient Privacy Budgeting Across Untrusted Web Domains |
|
Artifact | |
| Borges: A Low-Latency Distributed Shared Log on a CXL Memory/SSD Hybrid |
|
Artifact | |
| Bug-finding and proofs for platform configurations and hardware based on reference manuals |
|
Artifact | |
| Cardamom: A Multi-GPU Framework For TB-Scale Encrypted Inference |
|
Artifact | |
| Cohort: Decentralized PIR |
|
Artifact | |
| Compositional Verification of Cluster Control Planes |
|
Artifact | |
| CryptDough: A unified analytics engine for secure multiparty computation |
|
Artifact | |
| DDB: Source-Level Interactive Debugging for Distributed Applications |
|
Artifact | |
| Democratizing MoE LLM Decoding via Barrier-Free Expert Parallelism |
|
Artifact | |
| DiFlow: A System for Micro-Serving Text-to-Image Diffusion Workflows |
|
Artifact | |
| Efficient GPU Multitasking with Morphable Kernels |
|
Artifact | |
| Flux: Unleashing Linux as a High-Performance Application Kernel |
|
Artifact | |
| GAZE: Rearchitecting Log-Structured Filesystem for Garbage Collection on Zoned Namespace Flash Storage |
|
Artifact | |
| I3DP: Neuro-symbolic Inductive Invariant Inference for Distributed Protocols |
|
Artifact | |
| Information and Control in Agent-Native Filesystems |
|
Artifact | |
| It's the Kernel's Fault! Custom Page Fault Handling With bpf_fault |
|
Artifact | |
| Lion: Modular Verification of Async Runtime Liveness |
|
Artifact | |
| M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification |
|
Artifact | |
| PirateShip: Append-Only Ledgers for (Mostly) Trusted Execution Environments |
|
Artifact | |
| SANDHI: Fine-Grained Merging for Memory Efficient Multi-Model Serving |
|
Artifact | |
| Sintr: Safe Interactive Transactions in the Presence of Byzantine Clients |
|
Artifact | |
| Smaran: Serving Authenticated Time Travel Queries |
|
Artifact | |
| StarfishOS: Revisiting Single System Image on CXL with State-Partitioned Microkernel |
|
Artifact | |
| TensorDex: A Compact, Tensor-Centric Storage System for Modern AI Models |
|
Artifact | |
| Testing Custom Control Planes Without the Cluster |
|
Artifact | |
| TuxBot: Semantic-Aware Online OS Tuning with LLMs |
|
Artifact | |
| VoliStorM: A crash-consistent I/O cache with two kernels instead of two caches |
|
Artifact | |
| XTRA: Unifying Cache Coherence and Concurrency Control for Distributed Transactions in a CXL Pod |
|
Artifact | |
| Computation is Fast, Use Threadlet! |
|
Artifact | |
| Guiding Agentic GPU Kernel Optimization with Data Flow Invariants |
|
Artifact | |
| MCon: Building an Elastic Cloud for Android Applications with Framework Consolidation |
|
Artifact | |
| Multi-LLM Serving at Production Scale |
|
Artifact | |
| Scheduling Linux Threads under I/O Chiplet Wall Using cSwitch |
|
Artifact | |
| Skill VM: Write Once, Run Everywhere Efficiently |
|
Artifact | |
| Tamias: Feedback-Guided Systematic Concurrency Exploration for Transparent Distributed System Fuzzing |
|
Artifact |