2 papers
cs.DC2026
Knox: Fortifying Smart Spaces With Safety Guarantees
Rishabh Menezes, Jadon T. Schuler, Kaimeng Zhu +2
Internet of Things (IoT) devices in smart spaces and buildings are an emerging class of distributed systems with critical safety requirements. This paper presents Knox, the first s…
cs.DC2026
RASC: Enhancing Observability & Programmability in Smart Spaces
Anna Karanika, Kai-Siang Wang, Han-Ting Liang +2
While RPCs form the bedrock of systems stacks, we posit that IoT device collections in smart spaces like homes, warehouses, and office buildings--which are all "user-facing"--requi…