Systems

Heuristic Analysis from Source Code via Symbolic-Guided Optimization NSDI 2026 Hierarchical Integration of WebAssembly in Serverless for Efficiency and Interoperability NSDI 2026 High Fidelity Models for Large Scale Stateful Services (Operational Systems) OSDI 2026 hS: Speculative Script Reordering at Subprocess Granularity OSDI 2026 HybridMesh: A Hardware-software Hybrid Approach for Accelerating Service Mesh Ingress NSDI 2026 HydraServe: Minimizing Cold Start Latency for Serverless LLM Serving in Public Clouds NSDI 2026 HyperEdge: An Edge CDN Infrastructure for Cost Efficient Video Streaming NSDI 2026 Ichnaea: A Framework for Precise Tracking of Memory Objects OSDI 2026 iLand: An Instruction-Level Dynamic Binary Instrumentation Framework for iOS OSDI 2026 Incr: Faster Re-Execution via Bolt-On Incrementalization OSDI 2026 Inference in the Shadows: Taming Memory Bandwidth Contention in Mobile LLM Inference with Sereno OSDI 2026 In Link We Trust: BFT at the Speed of CFT using Switches NSDI 2026 Inside Out: A Paradigm Shift in VM Introspection OSDI 2026 Iris: Expressive Traffic Analysis for the Modern Internet NSDI 2026 JANUS: Cross-World, Cooperative Nested Virtualization for Secure Containers OSDI 2026 Jetpack: Consensus Made Generally Fast OSDI 2026 JITServe: SLO-aware LLM Serving with Imprecise Request Information NSDI 2026 jwmalloc: A Verified Memory Allocator for Mobile Devices OSDI 2026 Kareus: Joint Reduction of Dynamic and Static Energy in Large Model Training OSDI 2026 KeepON: Supporting Deterministic Traffic on Standard NICs NSDI 2026 KRAKENGUARD: Towards Fine-Grained eBPF Isolation NSDI 2026 kSTEP: Characterization and Deterministic Testing of Linux CPU Scheduler Bugs OSDI 2026 KUBEDIRECT: Unleashing the Full Power of the Cluster Manager for Serverless Computing NSDI 2026 Latency-Aware Caching with Delayed Hits: From Bursty Traffic to Pipeline Architectures NSDI 2026 Law: Towards Consistent Low Latency in 802.11 Home Networks NSDI 2026