Files
2026-08-18 13:39:21 +00:00

98 lines
28 KiB
HTML
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
<!doctype html><html lang=en dir=auto data-theme=auto><head><meta charset=utf-8><meta http-equiv=X-UA-Compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1,shrink-to-fit=no"><meta name=robots content="index, follow"><title>Digests | Publish Assistant</title><meta name=keywords content><meta name=description content="tl;drs for the top papers."><meta name=author content="Publish Assistant"><link rel=canonical href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/><link crossorigin=anonymous href=/vincent/publish-assistant/assets/css/stylesheet.d72f07832e13c592b3edba91680bfe70f01daac396179bcace0ac36e8e0494c6.css integrity="sha256-1y8Hgy4TxZKz7bqRaAv+cPAdqsOWF5vKzgrDbo4ElMY=" rel="preload stylesheet" as=style><link rel=icon href=https://pub.sqrt.fr/vincent/publish-assistant/favicon.ico><link rel=icon type=image/png sizes=16x16 href=https://pub.sqrt.fr/vincent/publish-assistant/favicon-16x16.png><link rel=icon type=image/png sizes=32x32 href=https://pub.sqrt.fr/vincent/publish-assistant/favicon-32x32.png><link rel=apple-touch-icon href=https://pub.sqrt.fr/vincent/publish-assistant/apple-touch-icon.png><link rel=mask-icon href=https://pub.sqrt.fr/vincent/publish-assistant/safari-pinned-tab.svg><meta name=theme-color content="#2e2e33"><meta name=msapplication-TileColor content="#2e2e33"><link rel=alternate type=application/rss+xml href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/index.xml title=rss><link rel=alternate hreflang=en href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/><noscript><style>#theme-toggle,.top-link{display:none}</style><style>@media(prefers-color-scheme:dark){:root{--theme:rgb(29, 30, 32);--entry:rgb(46, 46, 51);--primary:rgb(218, 218, 219);--secondary:rgb(155, 156, 157);--tertiary:rgb(65, 66, 68);--content:rgb(196, 196, 197);--code-block-bg:rgb(46, 46, 51);--code-bg:rgb(55, 56, 62);--border:rgb(51, 51, 51);color-scheme:dark}.list{background:var(--theme)}.toc{background:var(--entry)}}</style></noscript><script>localStorage.getItem("pref-theme")==="dark"?document.querySelector("html").dataset.theme="dark":localStorage.getItem("pref-theme")==="light"?document.querySelector("html").dataset.theme="light":window.matchMedia("(prefers-color-scheme: dark)").matches?document.querySelector("html").dataset.theme="dark":document.querySelector("html").dataset.theme="light"</script><meta property="og:url" content="https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/"><meta property="og:site_name" content="Publish Assistant"><meta property="og:title" content="Digests"><meta property="og:description" content="tl;drs for the top papers."><meta property="og:locale" content="en_us"><meta property="og:type" content="website"><meta name=twitter:card content="summary"><meta name=twitter:title content="Digests"><meta name=twitter:description content="tl;drs for the top papers."><script type=application/ld+json>{"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Edge and Cloud Systems","item":"https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/"},{"@type":"ListItem","position":2,"name":"Digests","item":"https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/"}]}</script></head><body class=list id=top><header class=header><nav class=header-nav><div class=logo><a href=https://pub.sqrt.fr/vincent/publish-assistant/ accesskey=h title="Publish Assistant (Alt + H)">Publish Assistant</a>
<span class=logo-sep>/</span>
<a class=logo-topic href=/vincent/publish-assistant/cloud-edge/ title="Edge and Cloud Systems">Edge and Cloud Systems</a><div class=logo-switches><button id=theme-toggle class=theme-toggle accesskey=t title="(Alt + T)" aria-label="Toggle theme">
<svg class="moon" width="18" height="18" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M21 12.79A9 9 0 1111.21 3 7 7 0 0021 12.79z"/></svg>
<svg class="sun" width="18" height="18" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><circle cx="12" cy="12" r="5"/><line x1="12" y1="1" x2="12" y2="3"/><line x1="12" y1="21" x2="12" y2="23"/><line x1="4.22" y1="4.22" x2="5.64" y2="5.64"/><line x1="18.36" y1="18.36" x2="19.78" y2="19.78"/><line x1="1" y1="12" x2="3" y2="12"/><line x1="21" y1="12" x2="23" y2="12"/><line x1="4.22" y1="19.78" x2="5.64" y2="18.36"/><line x1="18.36" y1="5.64" x2="19.78" y2="4.22"/></svg></button></div></div><ul id=menu class=menu><li><a href=/vincent/publish-assistant/cloud-edge/venues/ title=Venues><span>Venues</span></a></li><li><a href=/vincent/publish-assistant/cloud-edge/calendar/ title=Calendar><span>Calendar</span></a></li><li><a href=/vincent/publish-assistant/cloud-edge/digests/ title=Digests><span class=active>Digests</span></a></li></ul></nav></header><main class=main><header class=page-header><h1>Digests</h1></header><div class="md-content page-intro"><p>tl;drs for the top papers.</p></div><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>HPDC 2025 Digest</h2></header><div class=entry-content><p>10 papers selected.
Parameterized Algorithms for Non-uniform All-to-all Ke Fan, Jens Domke, Seydou Ba, Sidharth Kumar
TL;DR — Introduces parameterized algorithms that adapt non-uniform all-to-all collective communication to heterogeneous network topologies, reducing message contention and improving throughput.
Why notable — Non-uniform all-to-all is a performance bottleneck in many HPC applications; topology-aware parameterization directly benefits MPI implementations on dragonfly and fat-tree networks at scale.
→ Read paper DPU-KV: On the Benefits of DPU Offloading for In-Memory Key-Value Stores at the Edge Arjun Kashyap, Yuke Li 0003, Xiaoyi Lu 0001
...</p></div><footer class=entry-footer><span title='2025-07-20 00:00:00 +0000 UTC'>July 20, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to HPDC 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/hpdc-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>ATC 2025 Digest</h2></header><div class=entry-content><p>13 papers selected.
ASTERINAS: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB Yuke Peng, Hongliang Tian, Junyang Zhang, Ruihan Li et al.
TL;DR — A production-grade OS kernel written in Rust that exposes a full Linux ABI while confining unsafe code to a small, formally-audited framekernel core.
Why notable — ASTERINAS demonstrates that Linux compatibility and memory-safety guarantees are not mutually exclusive — unsafe Rust is isolated to under 5 kloc of framework code, giving systems operators a credible path toward a safer Linux-compatible kernel without sacrificing application portability.
...</p></div><footer class=entry-footer><span title='2025-07-09 00:00:00 +0000 UTC'>July 9, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to ATC 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/atc-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>MobiSys 2025 Digest</h2></header><div class=entry-content><p>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.
...</p></div><footer class=entry-footer><span title='2025-06-23 00:00:00 +0000 UTC'>June 23, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to MobiSys 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/mobisys-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>IPDPS 2025 Digest</h2></header><div class=entry-content><p>12 papers selected.
Enhancing OmpSs-2 Suspendable Tasks by Combining Operating System and User-Level Threads with C++ Coroutines Arnau Cinca, Aleix Roca, Kevin Sala, Raúl Peñacoba Veigas et al.
TL;DR — Extends the OmpSs-2 task-based runtime with C++ coroutines to implement suspendable tasks that can yield while blocked on I/O or communication without stalling the OS thread.
Why notable — Suspendable tasks are a key missing primitive for overlapping computation and communication in task-graph runtimes; the hybrid OS/user-level thread design avoids the overhead of full context switches while remaining portable, with broad implications for OpenMP-style programming on modern heterogeneous nodes.
...</p></div><footer class=entry-footer><span title='2025-05-19 00:00:00 +0000 UTC'>May 19, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to IPDPS 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/ipdps-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>NSDI 2025 Digest</h2></header><div class=entry-content><p>13 papers selected.
PRED: Performance-oriented Random Early Detection for Consistently Stable Performance in Datacenters Xinle Du, Tong Li 0014, Guangmeng Zhou, Zhuotao Liu et al.
TL;DR — PRED redesigns AQM by making drop probability a direct function of per-flow performance targets rather than queue length, eliminating the instability of classic RED in modern datacenter workloads.
Why notable — RED has been a cornerstone of congestion control for decades; PREDs performance-centric reformulation challenges a long-held design axiom and demonstrates significantly lower tail latency at scale. It opens the door to intent-driven AQM as a first-class primitive in datacenter switches.
...</p></div><footer class=entry-footer><span title='2025-04-28 00:00:00 +0000 UTC'>April 28, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to NSDI 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/nsdi-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>EuroSys 2025 Digest</h2></header><div class=entry-content><p>13 papers selected.
Empowering WebAssembly with Thin Kernel Interfaces Arjun Ramesh, Tianshu Huang, Ben L. Titzer, Anthony Rowe 0001
TL;DR — A new OS interface design exposes thin, capability-based kernel primitives directly to WebAssembly modules, eliminating the POSIX translation layer.
Why notable — WebAssembly is increasingly used beyond the browser as a portable, sandboxed compute substrate; this work shows that rethinking the system interface from scratch yields significantly lower overhead and better safety properties than layering Wasm on top of POSIX.
...</p></div><footer class=entry-footer><span title='2025-03-30 00:00:00 +0000 UTC'>March 30, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to EuroSys 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/eurosys-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>FGCS 2025 Digest</h2></header><div class=entry-content><p>12 papers selected.
Multifacets of lossy compression for scientific data in the Joint-Laboratory of Extreme Scale Computing Franck Cappello, Mario C. Acosta, Emmanuel Agullo, Hartwig Anzt et al.
TL;DR — A joint JLESC survey covering error-bounded lossy compressors (SZ, ZFP, MGARD) across simulation, AI, and in-situ analytics use cases, with benchmarks on real scientific datasets at extreme scale.
Why notable — The most comprehensive cross-site evaluation of scientific data compression to date, providing actionable guidance on compressor selection for different numerical kernels and accuracy requirements.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to FGCS 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/fgcs-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>IC 2025 Digest</h2></header><div class=entry-content><p>10 papers selected.
Rethinking Computing Systems in the Era of Climate Crisis: A Call for a Sustainable Computing Continuum Ella Peltonen, Suzan Bayhan, David Bermbach, Sebastian Buschjäger et al.
TL;DR — A multi-author position paper calling for carbon-aware design principles across the cloud-to-edge computing continuum, surveying energy measurement, workload scheduling, and hardware lifecycle challenges.
Why notable — Establishes a community research agenda for sustainable computing infrastructure at a time when datacenter and edge energy consumption is under increasing regulatory and societal scrutiny.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to IC 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/ic-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>JPDC 2025 Digest</h2></header><div class=entry-content><p>12 papers selected.
Throughput of Byzantine Broadcast Ruomu Hou, Haifeng Yu, Prateek Saxena
TL;DR — Establishes tight throughput bounds for Byzantine broadcast protocols and constructs algorithms that saturate those bounds, separating throughput from latency in the fault-tolerant broadcast landscape.
Why notable — Provides the first rigorous throughput characterization of Byzantine broadcast, a fundamental primitive whose capacity limits were previously unquantified.
How to reduce the number of steps for (multi-valued validated) Byzantine agreement? Baohan Huang, Haibin Zhang, Chao Liu 0039, Shengli Liu 0001 et al.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to JPDC 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/jpdc-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>Middleware 2025 Digest</h2></header><div class=entry-content><p>12 papers selected.
Recipe: Hardware-Accelerated Replication Protocols: Rethinking Crash Fault Tolerance Protocols for Untrusted Cloud Environments Dimitra Giantsidi, Emmanouil Giortamis, Julian Pritzi, Maurice Bailleu et al.
TL;DR — Redesigns crash fault-tolerance protocols using hardware acceleration (TEEs/SmartNICs) to deliver replication with strong guarantees in untrusted cloud environments.
Efficient Performance Guarantees for Function-as-a-Service with Cloud Allocators Hai Duc Nguyen 0005, Andrew A. Chien
TL;DR — Introduces cloud-allocator abstractions that provide formal performance guarantees for serverless functions, addressing the unpredictability of shared FaaS infrastructure.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to Middleware 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/middleware-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>OSDI 2025 Digest</h2></header><div class=entry-content><p>13 papers selected.
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols Tony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos et al.
TL;DR — Automates the construction of correctness proofs for distributed protocols that were previously considered undecidable, advancing the state of the art in verified systems.
Mako: Speculative Distributed Transactions with Geo-Replication Weihai Shen, Yang Cui, Siddhartha Sen 0001, Sebastian Angel et al.
TL;DR — Combines speculative execution with geo-replication to deliver low-latency distributed transactions without sacrificing consistency, addressing a fundamental tension in wide-area systems.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to OSDI 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/osdi-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>SC 2025 Digest</h2></header><div class=entry-content><p>15 papers selected.
Cosmological Hydrodynamics at Exascale: A Trillion-Particle Leap in Capability Nicholas Frontiere, J. D. Emberson, Michael Buehlmann, Esteban M. Rangel et al.
TL;DR — Delivers the first trillion-particle cosmological hydrodynamics simulation on exascale hardware, demonstrating sustained petaflop-scale performance on a flagship scientific application.
Ab-initio Quantum Transport with the GW Approximation, 42, 240 Atoms, and Sustained Exascale Performance Nicolas Vetsch, Alexander Maeder, Vincent Maillou, Anders Winka et al.
TL;DR — Achieves sustained exascale performance for first-principles quantum transport at 42,240 atoms, establishing a new scale record for the GW many-body perturbation method.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to SC 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/sc-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>SEC 2025 Digest</h2></header><div class=entry-content><p>12 papers selected.
lm-Meter: Unveiling Runtime Inference Latency for On-Device Language Models Haoxin Wang 0003
TL;DR — Provides the first detailed runtime profiling framework for on-device LLM inference, revealing key latency bottlenecks across diverse edge hardware configurations.
SLED: A Speculative LLM Decoding Framework for Efficient Edge Serving Xiangchen Li
TL;DR — Adapts speculative decoding to edge serving constraints, reducing LLM token generation latency while respecting the tight memory and compute budgets of edge nodes.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to SEC 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/sec-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>SoCC 2025 Digest</h2></header><div class=entry-content><p>13 papers selected.
From Bottleneck to Breakthrough: Optimizing Scheduling for Hyperscale Containerized Clusters Bing Li, Yuquan Ren, Xinyi Song, Zhilei Liu et al.
TL;DR — Documents production-scale scheduling improvements at a hyperscale cloud provider, demonstrating how targeted optimizations reduce scheduling tail latency and increase cluster utilization in real containerized workloads.
CPU-Limits kill Performance: Time to rethink Resource Control Chirag C. Shetty, Sarthak Chakraborty, Hubertus Franke, Larisa Shwartz et al.
TL;DR — Challenges the conventional use of CPU cgroup limits in cloud environments, showing through production evidence that CFS bandwidth throttling degrades application QoS and proposing a rethink of resource control abstractions.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to SoCC 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/socc-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>SOSP 2025 Digest</h2></header><div class=entry-content><p>14 papers selected.
LithOS: An Operating System for Efficient Machine Learning on GPUs Patrick H. Coppock, Brian Zhang, Eliot H. Solomon, Vasilis Kypriotis et al.
TL;DR — Designs a dedicated OS for GPU ML workloads, rethinking scheduling and resource management at the kernel level for accelerator-centric computing.
CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices Saar Amar, Tony Chen, David Chisnall, Nathaniel Wesley Filardo et al.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to SOSP 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/sosp-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>TC 2025 Digest</h2></header><div class=entry-content><p>12 papers selected.
RV-CURE: A RISC-V Capability Architecture for Full Memory Safety Yonghae Kim, Anurag Kar, Jaewon Lee, Jaekyu Lee et al.
TL;DR — Extends the RISC-V ISA with hardware capabilities to enforce full memory safety—including bounds checking and pointer provenance—across the entire software stack.
Why notable — Demonstrates that capability-based memory safety can be integrated into an open ISA at low cost, with implications for deploying safe-by-default embedded and server systems.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to TC 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/tc-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>TCC 2025 Digest</h2></header><div class=entry-content><p>12 papers selected.
DRKC: Deep Reinforcement Learning Enhanced Microservice Scheduling on Kubernetes Clusters in Cloud-Edge Environment Jian Jiang, Qianmu Li, Pengchuan Wang, Yunhuai Liu
TL;DR — DRKC uses deep reinforcement learning to schedule microservices across Kubernetes clusters spanning cloud and edge nodes, optimizing latency and resource utilization.
Why notable — One of the few papers to tackle DRL-based microservice placement at the Kubernetes level in a real cloud-edge topology, making it directly actionable for practitioners.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to TCC 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/tcc-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>TOCS 2025 Digest</h2></header><div class=entry-content><p>10 papers selected.
Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel Mingkai Dong, Fangnuo Wu, Gequan Mo, Haibo Chen
TL;DR — A microkernel-based whole-system persistence scheme uses tree-structured incremental checkpointing to achieve low-overhead, crash-consistent snapshots of the entire OS state.
Why notable — Whole-system persistence is a foundational building block for reliable systems; this paper shows it can be done efficiently within a microkernel architecture.
XpuTEE: A High-Performance and Practical Heterogeneous Trusted Execution Environment for GPUs Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to TOCS 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/tocs-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>TPDS 2025 Digest</h2></header><div class=entry-content><p>12 papers selected.
HARMONIC: Uncertainty-Aware Multi-Objective Optimization for Energy-Efficient HPC Resource Management Kyrian Adimora, Hongyang Sun 0001
TL;DR — HARMONIC applies uncertainty-aware multi-objective optimization to jointly minimize energy consumption and maximize performance for HPC resource allocation.
Why notable — It directly addresses the growing demand for energy-proportional HPC scheduling with principled probabilistic models, making it relevant to both system designers and green-computing researchers.
MIST: Towards MPI Instant Startup and Termination on Tianhe HPC Systems Yiqin Dai, Ruibo Wang, Yong Dong, Min Xie et al.
...</p></div><footer class=entry-footer><span title='2025-01-01 00:00:00 +0000 UTC'>January 1, 2025</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to TPDS 2025 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/tpds-2025/></a></article><article class=post-entry><header class=entry-header><h2 class=entry-hint-parent>Middleware 2024 Digest</h2></header><div class=entry-content><p>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; Mercurys design demonstrates it is practically attainable. The result raises the bar for what production BFT middleware can deliver in geo-distributed deployments.
...</p></div><footer class=entry-footer><span title='2024-12-02 00:00:00 +0000 UTC'>December 2, 2024</span>&nbsp;·&nbsp;<span>Publish Assistant</span></footer><a class=entry-link aria-label="post link to Middleware 2024 Digest" href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/middleware-2024/></a></article><footer class=page-footer><nav class=pagination><a class=next href=https://pub.sqrt.fr/vincent/publish-assistant/cloud-edge/digests/page/2/>Next&nbsp;&nbsp;»</a></nav></footer></main><footer class=footer><span>&copy; 2026 <a href=https://pub.sqrt.fr/vincent/publish-assistant/>Publish Assistant</a></span> ·
<span>Powered by
<a href="https://gohugo.io/?utm_source=papermod" rel=noopener target=_blank>Hugo</a> &
<a href=https://github.com/adityatelange/hugo-PaperMod/ rel=noopener target=_blank>PaperMod</a></span></footer><a href=#top id=top-link class="top-link hidden" aria-label="go to top" title="Go to Top (Alt + G)" accesskey=g><svg viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-chevrons-up"><polyline points="17 11 12 6 7 11"/><polyline points="17 18 12 13 7 18"/></svg>
</a><script>let menu=document.getElementById("menu");if(menu){const e=localStorage.getItem("menu-scroll-position");e&&(menu.scrollLeft=parseInt(e,10)),menu.onscroll=function(){localStorage.setItem("menu-scroll-position",menu.scrollLeft)}}document.querySelectorAll('a[href^="#"]').forEach(e=>{e.addEventListener("click",function(e){e.preventDefault();var t=this.getAttribute("href").substr(1);window.matchMedia("(prefers-reduced-motion: reduce)").matches?document.querySelector(`[id='${decodeURIComponent(t)}']`).scrollIntoView():document.querySelector(`[id='${decodeURIComponent(t)}']`).scrollIntoView({behavior:"smooth"}),t==="top"?history.replaceState(null,null," "):history.pushState(null,null,`#${t}`)})})</script><script>var toplink=document.getElementById("top-link");window.onscroll=function(){const e=window.innerHeight;document.body.scrollTop>e||document.documentElement.scrollTop>e?toplink.classList.remove("hidden"):toplink.classList.add("hidden")}</script><script>document.getElementById("theme-toggle").addEventListener("click",()=>{const e=document.querySelector("html");e.dataset.theme==="dark"?(e.dataset.theme="light",localStorage.setItem("pref-theme","light")):(e.dataset.theme="dark",localStorage.setItem("pref-theme","dark"))})</script></body></html>