Results

Paper title	Avail.	Funct.	Repro.	Available At	Review Summary
Fast, Flexible, and Practical Kernel Extensions				GitHub	To be posted
Practical Verification of System-Software Components Written in Standard C				GitHub	To be posted
vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware				GitHub	To be posted
Verus: A Practical Foundation for Systems Verification				GitHub	To be posted
Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation				GitHub	To be posted
Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for Sustainability				GitHub	To be posted
Ozz: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering				GitHub	To be posted
Reducing Energy Bloat in Large Model Training				GitHub	To be posted
CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory				GitHub	To be posted
Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement Systems				GitHub	To be posted
LoongServe: Efficiently Serving Long-Context Large Language Models with Elastic Sequence Parallelism				GitHub	To be posted
LazyLog: A New Shared Log Abstraction for Low-Latency Applications				GitHub	To be posted
TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and Nodes				GitHub	To be posted
BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and Performance				GitHub	To be posted
Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value Stores				GitHub	To be posted
SWARM: Replicating Shared Disaggregated-Memory Data in No Time				GitHub	To be posted
Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor Collections				GitHub	To be posted
Autobahn: Seamless high speed BFT				GitHub	To be posted
Dirigent: Lightweight Serverless Orchestration				GitHub	To be posted
Skyloft: A General High-Efficient Scheduling Framework in User Space				GitHub	To be posted
Fast Core Scheduling with Userspace Process Abstraction				GitHub	To be posted
Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor				GitHub	To be posted
Tiered Memory Management: Access Latency is the Key!				GitHub	To be posted
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference				GitHub	To be posted
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs				GitHub	To be posted