MobiSys 2025 Digest

12 papers selected. Hopter: a Safe, Robust, and Responsive Embedded Operating System Zhiyao Ma, Guojun Chen, Zhuo Chen 0011, Lin Zhong 0001 TL;DR — Hopter is a new embedded OS that enforces memory safety and real-time responsiveness through a Rust-based task model with cooperative and preemptive scheduling co-designed from the ground up. Why notable — Building a ground-up safe embedded OS is a long-standing challenge; Hopter addresses it without sacrificing the determinism that IoT and robotics workloads demand, offering a credible alternative to unsafe C-based RTOSes. ...

June 23, 2025 · Publish Assistant

Middleware 2024 Digest

11 papers selected. Chasing Lightspeed Consensus: Fast Wide-Area Byzantine Replication with Mercury Christian Berger 0006, Lívio Rodrigues, Hans P. Reiser, Vinicius Vielmo Cogo et al. TL;DR — Mercury is a wide-area Byzantine fault-tolerant replication protocol that minimises latency by exploiting geographic locality and pipelining to approach the theoretical lightspeed bound. Why notable — Achieving near-lightspeed latency in Byzantine replication across wide-area networks has been a long-standing open challenge; Mercury’s design demonstrates it is practically attainable. The result raises the bar for what production BFT middleware can deliver in geo-distributed deployments. ...

December 2, 2024 · Publish Assistant