MobiSys 2025 Digest

Mon, 23 Jun 2025 00:00:00 +0000

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.

Middleware 2024 Digest

Mon, 02 Dec 2024 00:00:00 +0000

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.

Edge-Computing on Publish Assistant

MobiSys 2025 Digest

Hopter: a Safe, Robust, and Responsive Embedded Operating System

Middleware 2024 Digest

Chasing Lightspeed Consensus: Fast Wide-Area Byzantine Replication with Mercury