https://arxiv.org/api/kHCcQ6mfIwNoqyVT3QxBTyUCQgc2026-07-18T22:05:11Z53901515http://arxiv.org/abs/2606.16924v2Single-Connection Mixed-Criticality Transport with CATS: Bounded Guarantees, Three Structural Limits, and a QUIC Escape2026-07-13T06:24:09ZMixed-criticality applications, such as satellite terminals, industrial telemetry-and-control, embedded systems, tactical, and other constrained mixed-criticality links, often multiplex a small, latency-critical message class and bulk traffic over a single commodity transport connection. A single FIFO connection can starve the critical class under load. The obvious alternative, parallel connections, requires an additional five-tuple (often blocked by carrier-grade NAT, port budgets, or operator policy) and is not always available; when the critical class is light, fairness is only aggregate, not single-flow. We present CATS (Conductor-driven Asymmetric Transport Scheme), a sender-side, receiver-transparent priority scheme over commodity TCP: a Conductor assigns each message a priority class and just-in-time sequence numbers, governed by a credit-based shaper. CATS provides the one combination its alternatives cannot: deterministic non-starvation together with single-flow fairness, plus a provable bounded per-class delay.
We then show CATS-over-TCP is not a tail-latency mechanism, and why. Three structural barriers bound single-connection in-band priority: the in-order sequence space (head-of-line blocking), the shared congestion window (cross-class coupling), and the per-flow granularity of network QoS (in-band priority is invisible to it). The same barriers explain why neither fair queuing nor L4S can help a single connection, and why two parallel connections reduce the latency tail only by adding another flow. We give CATS-over-QUIC as the principled escape: independent streams with per-stream isolation under aggregate-coupled congestion control attain these guarantees on one fair flow. An ns-3 evaluation across loss, contention, and handover regimes, and a QUIC proof-of-concept, support every claim, including the negative ones.2026-06-15T16:27:07Z10 pages, 4 figures, 1 tableSyed Muhammad Aqdas Rizvihttp://arxiv.org/abs/2607.11087v1Energy Calculus: A Compositional Algebra of Energy in Computational Systems2026-07-13T04:55:40ZEnergy is a binding constraint for AI scaling, yet it lacks the formal treatment that computation, communication, and learning have long enjoyed. Recent systems demonstrate large energy savings, but each targets a specific granularity and structure; one cannot combine frequency scaling from one system with critical-path analysis from another and reason about their joint effect on total energy. Energy remains a monolithic scalar that is measured after the fact and optimized with point solutions that do not generalize.
We propose energy calculus, a compositional algebra that treats energy as a first-class primitive. It builds on energy elements, units of computation whose energy we can reliably measure, each carrying an energy signature that comprises its time, its static and dynamic energy, the hardware operating point and execution context under which we measured it, and the associated measurement uncertainty. Three operators (sequential, same-device parallel, and cross-device parallel) compose signatures along the same structure as the computation itself, covering arbitrary DAG-structured executions. The algebra rests on seven axioms that capture how hardware consumes energy, and it exhibits two properties distinctive to energy among computing resources: sequential composition commutes only when elements are mutually context-insensitive, and sequential composition does not distribute over parallel composition. We also present a Reduction Theorem that recovers simple context-independent algebra whenever interactions fall below measurement uncertainty, so practitioners pay for context dependence only where the physics demands it. Uncertainty propagates through every composition, so each prediction carries an error bound. Finally, we show that the same operators extend from energy totals to time--energy Pareto frontiers, so reasoning about tradeoffs composes with the same algebra.2026-07-13T04:55:40ZMosharaf ChowdhuryJae-Won ChungJeff J. MaNishil TalatiRuofan Wuhttp://arxiv.org/abs/2607.10771v1Lightning Fast Matching Dependency Discovery with Desbordante2026-07-12T13:59:54ZMatching dependency is a generalization of the functional dependency concept, which allows users to apply custom similarity functions for matching individual attributes. Matching dependencies have a wide range of applications for solving various data quality problems, such as entity resolution, data deduplication, data integration, schema matching, and many more. However, their discovery is a very computationally intensive problem, which limits their practical application.
In this paper, we describe a number of optimization techniques for HyMD - currently the state-of-the-art algorithm for the discovery of matching dependencies. These optimizations belong to both technical and scientific domains. The most important of them are: 1) a new sampling technique, 2) a faster generalization lookup technique, and 3) an improved representation of a dependency. The first one aims to raise the efficiency of inference from record pairs, while the last two are designed to speed up lattice-related operations.
To evaluate our optimizations, we implemented our version of HyMD in Desbordante, an open-source high-performance data profiler. Experiments demonstrated that they allow for a speedup of more than 40x over the state-of-the-art implementation on average, reaching a speedup greater than 170x in some cases.
Finally, the improved version of HyMD is ready to use by anyone. It comes with bidirectional Python integration, which allows calling the C++ algorithm implementation from Python programs while allowing users to supply their custom matching functions.2026-07-12T13:59:54Z2024 36th Conference of Open Innovations Association (FRUCT), Lappeenranta, Finland, 2024, pp. 729-740Alexey ShlyonskikhMichael SinelnikovDaniil NikolaevYurii LitvinovGeorge Chernishev10.23919/FRUCT64283.2024.10749955http://arxiv.org/abs/2607.09882v1Benchmarking Zero-Setup Quantum Circuit Simulators2026-07-10T18:15:12ZPractitioners increasingly rely on hosted simulation environments, but their performance characteristics remain poorly documented. We present a systematic benchmarking study of GPU-accelerated approximate quantum simulation across two widely used methods: matrix product states (MPS) and Pauli path simulation (PPS), comparing BlueQubit (a hosted tool that handles hardware provisioning, simulator configuration, and job orchestration) against AWS Braket, Quantum Rings, PPS-Qiskit, and PauliPropagation.jl. For MPS, we find that GPU runtime yields sub-quadratic scaling with bond dimension, with a growing advantage over CPU at increasing scale. For Pauli path simulation on IBM's 127-qubit kicked Ising benchmark, GPUs deliver up to $1{,}400\times$ speedup at fine truncation thresholds ($δ= 2.5 \times 10^{-5}$, 27.6M Pauli terms), and are the only backends that reach accuracy regimes below $δ= 10^{-5}$, which remained inaccessible to the commodity CPU-based implementations and self-contained SDKs evaluated here. We also provide a reproducible characterization of these simulators across regimes, including tradeoffs that isolated evaluations do not show. To support transparency and reuse, we provide a public GitHub repository containing all benchmarking code and configurations.2026-07-10T18:15:12Z12 pages, 12 figuresArul Rhik MazumderMohammed Zuhair MullathHayk Tepanyanhttp://arxiv.org/abs/2607.09400v1On-Device Adaptive Battery Power Prediction for Electric Vehicles2026-07-10T13:24:34ZAdaptive power management in Electric Vehicles (EVs) requires accurate power prediction. Although deep learning models have emerged as highly effective for time-series forecasting in this domain, their performance is prone to degradation when exposed to data with distributions different from the training data. We introduce a novel approach that enables on-device learning in resource-constrained EV systems to continuously adapt pretrained battery prediction models to new, unseen data. We leverage existing pretrained models by transforming them into adaptable versions that retain critical hyperparameter knowledge from their initial training. We comprehensively investigate both online and offline model adaptation strategies. Our results demonstrate significant improvements in forecasting performance across various models and time horizons, achieving mean absolute error reductions of up to 7.49\% and 14.88\% with online and offline adaptation techniques, respectively. This study highlights the substantial benefit of on-device adaptation, resulting in enhanced battery power predictions than unadapted model deployments in real-world EV scenarios.2026-07-10T13:24:34Z6 pages, 3 tables, 5 figures; Accepted to IEEE EdgeCom 2025Avik BhatnagarAnton PauleTobias SchuermannSebastian ReiterOliver Bringmann10.1109/EdgeCom66327.2025.00026http://arxiv.org/abs/2607.09385v1STEEL: Sparsity-Aware Fused Attention for Energy-Efficient Long-Sequence Inference on AMD's XDNA NPU2026-07-10T13:09:47ZThe growing adoption of large language model-based agents within operating system workflows has increased the importance of energy-efficient inference on laptop-class systems-on-chip (SoCs). While cloud offloading remains common, it introduces reliability and privacy concerns that are particularly problematic for agentic workloads. Recent laptop SoCs, therefore, incorporate neural processing engines (NPUs) optimized for energy efficiency; however, effectively mapping attention mechanisms onto NPUs remains challenging due to architectural diversity and explicit data-movement programming models. In this work, we present STEEL, the first open-source implementation of FlashAttention targeting XDNA-like NPUs. STEEL introduces a dataflow formulation of prefill attention, enabling efficient exploitation of spatial parallelism and on-chip memory. Furthermore, STEEL addresses the load imbalance induced by the causal mask by leveraging a sparsity-aware pipeline placement onto the NPU array, reducing synchronization overhead and improving utilization. We evaluate STEEL on the AMD Ryzen AI 9 HX 370 SoC and compare its performance against optimized CPU and GPU implementations. Experimental results show that STEEL reduces energy consumption by an average of 9.17x and 1.75x relative to CPU and GPU baselines, respectively. On XDNA 1, STEEL achieves an average 9.6x latency reduction over the prior state of the art, and delivers a 22.8x speedup on average compared to a layer-by-layer attention implementation on XDNA 2.2026-07-10T13:09:47ZAccepted at IEEE COINS 2026Victor J. B. JungGagandeep SinghJoseph MelberKristof DenolfFrancesco ContiLuca Beninihttp://arxiv.org/abs/2607.09172v1Attention to Detail: Evaluating Energy, Performance, and Accuracy Trade-offs Across vLLM Configurations2026-07-10T08:04:19ZLarge Language Models are reshaping how software is developed and maintained. They are typically deployed in production using inference engines such as vLLM, which can efficiently serve pre-trained, highly configurable models. While prior work has focused on model architectures and hardware acceleration, the impact of inference engine configuration on energy consumption, performance, and output quality remains poorly understood.
In this paper, we present a large-scale controlled study of three selected vLLM configuration options: attention kernel type, prefix caching, and chunked prefill. We evaluate all combinations of these configurations across 5 open-weight LLMs and 5 diverse inference tasks, totaling $9,000$ runs and $93,600$ measures. We analyze energy consumption, latency, and accuracy, and examine both main effects and interaction effects between configuration options and tasks.
Our results show that the studied configuration options significantly impact energy and performance, mainly driven by attention type and prefix caching, while chunked prefill has a limited effect under the default vLLM serving configuration and evaluated workloads. These effects are highly model- and workload-dependent, and no configuration is universally optimal. We further show that model choice dominates global trade-offs, while configuration tuning provides local improvements along the Pareto frontier. Unexpectedly, inference options can also affect model accuracy.2026-07-10T08:04:19ZSubmitted at a conferenceNada ZineTristan CoignionVincenzo StoicoClément QuintonRomain RouvoyPatricia Lagohttp://arxiv.org/abs/2607.08999v1Pareto-Optimal Scheduling in the Half-batch Multiserver-job Model2026-07-10T00:01:51ZIn large-scale computing systems, jobs often demand heterogeneous server allocations: large jobs that occupy a substantial fraction of the servers are of high importance and are thus latency-sensitive, while small jobs fill in the remaining capacity to maintain throughput. To model this dynamic, we introduce the half-batch multiserver-job (MSJ) framework, a queueing model in which large jobs arrive according to a Poisson process and require all servers simultaneously, while small jobs, each needing only one server, are always available.
We prove that, in the half-batch MSJ model, the Pareto frontier for large-job mean response time and small-job throughput admits a simple and exact characterization. It is generated by a family of convoy policies, under which the system serves small jobs until $k$ large jobs have arrived and then switches to serving large jobs, together with convex combinations of neighboring convoy policies. Our result is fully general and non-asymptotic, holding for every stable arrival rate $λ$, every number of servers $n$, and every large-job size distribution $S$.2026-07-10T00:01:51ZZiyuan WangIzzy Grosofhttp://arxiv.org/abs/2606.23969v2The Serialized Bridge: Understanding and Recovering LLM Serving Performance under Blackwell GPU Confidential Computing2026-07-09T21:35:14ZGPU Confidential Computing (GPU-CC) now preserves GPU-local performance: on NVIDIA B300, BF16 matmul runs at 0.998x of non-confidential performance. Yet LLM serving under Intel TDX plus GPU-CC still loses 13-27% of throughput, and KV-cache restore latency can more than double. This paper studies that gap on two Blackwell platforms, RTX Pro 6000 and B300 HGX, and identifies its dominant cause: the confidential VM-GPU bridge, not GPU compute.
We find that GPU-CC turns host/device movement into a serialized, high-setup-cost channel. Secure copies do not gain CUDA-stream concurrency within a context, asynchronous transfers block at the runtime boundary, and small crossings pay a fixed toll. This violates the assumptions of modern inference runtimes, where DMA is expected to be cheap, concurrent, and asynchronous. In vLLM dense decode, the gap closes around 44x-slower small alloc-and-copy operations; targeted patches reject alternative explanations. A scheduling flag recovers 57% of the gap, while a worker-thread drain recovers up to 92% in qualified high-concurrency runs. The same bridge model explains a +131% KV-restore penalty and a 34x model-load slowdown.
Blackwell also changes the confidential tenancy unit. We qualify confidential multi-GPU NVSwitch tenants on B300, including 510 GB/s NVLink P2P inside a CVM and concurrent isolated tenants, and identify the remaining fabric-attestation gap for production confidential AI platforms.2026-06-22T21:48:53ZHang YinKevin Wanghttp://arxiv.org/abs/2606.21428v3Does Mixture-of-Experts Actually Help Inference on Consumer and Edge Hardware? An Empirical Study2026-07-09T17:35:35ZMixture-of-Experts (MoE) language models are often described as ideal for resource-constrained inference. Each token activates only a small subset of experts, so the per-token compute cost, in floating-point operations (FLOPs), resembles that of a much smaller dense model. Whether that FLOP advantage survives in practice is far less clear. We ask whether MoE models actually run faster and cheaper than comparable dense models on consumer-grade and edge hardware. We benchmark OLMoE-1B-7B (1.3 B active of 6.9 B total) against three dense baselines on an Apple M2 Pro and an NVIDIA Jetson Orin Nano 8 GB through llama$.$cpp, measuring throughput, memory, and on-device energy. The answer is device-dependent: OLMoE's active-parameter advantage is only partly realised on the laptop (~10% behind the same-active Llama-3.2-1B) and erodes on the edge device (~31% behind, at 2.1$\times$ the energy per token, with peak memory at the 8 GB ceiling). Patching llama$.$cpp to time the decode graph node-by-node shows routing accounts for under 9% of MoE-block compute on the cleaner edge backend, so the gap reflects total-parameter memory footprint, expert dispatch, and KV-cache pressure rather than routing. The implication is that on bandwidth-bound edge hardware, inference cost tracks total parameters, not active ones, and sparse activation does not buy back what the device is constrained on. These findings are bounded to one MoE model at this parameter scale and two devices, and we release the full measurement harness and per-run data.2026-06-19T13:45:45Z18 pages, 7 tables, 4 figures. Submitted to FAIEMA 2026. Code available at https://github.com/Analytics-Everywhere-Lab/edge-moeAlfarizy AlfarizyHung Truong Thanh NguyenRené RichardRoozbeh Razavi-FarHung Caohttp://arxiv.org/abs/2607.08526v1A Quantized Native Runtime for On-Device Semantic Audio Generation2026-07-09T14:21:34ZSemantic audio applications increasingly require controllable generation on commodity and embedded hardware rather than through framework-heavy datacenter stacks. We present \textit{aria}, a dependency-free native runtime that runs the complete text-to-music pipeline of Stable Audio~3 (SA3) on ordinary GPUs, CPU-only machines, and a Raspberry~Pi~5, with no Python or deep-learning framework underneath. Our main contribution is a study of quantization: running the model at lower numerical precision to fit tight memory budgets, saving memory in place rather than adding to it. Because the runtime owns every internal tensor, it also exposes activation steering, a low-cost way to steer what the model generates. We judge the quality cost with three independent measures of the output (prompt adherence, overall audio quality, taste preservation), each compared against the ordinary variation between random seeds. Eight-bit precision shows no measurable quality loss on any measure while sharply cutting memory, and it is the fastest mode on the GPU; four-bit adds a small, bounded cost but shrinks the footprint enough to run the $1.2$-billion-parameter model on an $8$\,GB Pi. Against the official implementation, aria matches or exceeds generation speed and starts about seven times faster. A case study of the steering interface generates music carrying taste associations (\emph{sonic seasoning}), with genuine but bounded control for a subset of attributes. These results make a compact, quantized runtime with built-in control a practical basis for on-device semantic audio in Internet-of-Sounds settings. The \textit{aria} runtime is released at https://github.com/matteospanio/aria.2026-07-09T14:21:34ZUnder review at International Symposium on the Internet of Sounds (IS2)Matteo SpanioAntonio Rodàhttp://arxiv.org/abs/2607.08386v1Parallel QEC Decoding Applied to Distributed Quantum Computing2026-07-09T12:05:00ZA novel parallel approach is proposed for QEC decoding based on Belief Propagation with Ordered Statistics Decoding. The main idea is to pre-process the error vectors obtained from Belief Propagation by applying Singular Value Decomposition locally to sub-regions of the lattice. The proposed approach is applied to distributed quantum computers and evaluated in terms of complexity, accuracy, and scalability.2026-07-09T12:05:00ZGabriele IncardonaDavide FerrariMichele Amorettihttp://arxiv.org/abs/2606.15137v2uringscope: Portable, Low-Overhead Observability for io_uring2026-07-09T00:47:13Zio_uring moves I/O submission and completion into shared-memory rings. This makes it fast, and it also makes it invisible. strace sees only the ring setup, and the kernel tracepoints that expose the request flow are not stable ABI, so the few tools built on them work only on narrow kernel ranges. We present uringscope, a single-binary, language-agnostic observability tool for io_uring built on CO-RE (Compile Once, Run Everywhere) eBPF. uringscope makes four contributions. The first is a precise model of the request lifecycle and a method to reconstruct per-request flows from kernel events. The second is a technique for attaching portably to an unstable tracepoint surface, using BTF-probed program variants, CO-RE field flavors, and position-independent reads. The third is an evaluation of the tradeoff between overhead and fidelity: on device-bound NVMe workloads uringscope's aggregate mode costs 0.7 to 9.9% of throughput, which is cheaper than every full-fidelity alternative we measured. The fourth is a lightweight correctness mode that reuses the same reconstruction to detect submission-boundary hazards, together with a built-in doctor that turns the measurements into named pathologies with evidence, for operators who are debugging a tail-latency incident rather than browsing histograms.2026-06-13T05:55:07Z8 pages, 6 figures, 5 tablesRajarshi Chowdhuryhttp://arxiv.org/abs/2605.03713v3SPEC CPU2026: Characterization, Representativeness, and Cross-Suite Comparison2026-07-09T00:37:24ZSpecialized accelerators dominate AI workloads, but CPUs remain critical for orchestrating accelerators and running daily services. CPU performance therefore shapes end-to-end system efficiency, making benchmarks reflect modern workloads and bottlenecks. Yet it remains unclear whether the newest general-purpose CPU benchmark suite changes the architectural conclusions drawn from prior SPEC CPU generations. We present the first comprehensive characterization of SPEC CPU2026 across nine recent Intel, AMD, Ampere, and Nvidia platforms. Compared with SPEC CPU2017, SPEC CPU2026 increases instruction volume and memory footprint and shifts pressure toward emerging bottlenecks, especially instruction-cache stress.
These shifts raise two practical questions: how much of the new suite is needed to preserve behavioral coverage, and how should that coverage be interpreted relative to modern domain-specific suites? Using clustering-based representativeness analysis, we identify compact subsets of 4-5 workloads per group that preserve 96.4-99.9% of full-suite behavior. We then compare SPEC CPU2026 against SPEC CPU2017, DCPerf, and MLPerf using cross-suite microarchitectural metrics. SPEC CPU2026 remains a complementary general-purpose suite: it moves closer to datacenter-like frontend pressure than prior SPEC CPU generations, while remaining less vector-intensive than MLPerf and less frontend-extreme than DCPerf. Finally, case studies on page sizes and allocators, prefetching, compiler optimizations, ISA sensitivity, many-core scaling, and rolling round-robin proxy workloads show that SPEC CPU2026 supports architectural studies beyond aggregate scores. Overall, SPEC CPU2026 updates the standardized general-purpose CPU baseline for the next decade of architecture evaluation.2026-05-05T13:02:55ZRuihao LiAndrew JacobNeeraja J. YadwadkarLizy K. Johnhttp://arxiv.org/abs/2605.27147v2Virtual-Memory Powersort2026-07-08T16:18:01ZWe give a more space-efficient implementation of adaptive mergesort: Virtual-Memory Powersort. Using internal buffering techniques, we significantly reduce the memory consumption of the algorithm; specifically, for sorting $n$ objects the required buffer area is reduced from space for $n/2$ objects to $O(\sqrt{n \log n})$ objects. While this space-efficiency can be achieved (indeed reduced to $O(1)$) conceptually very easily with known inplace merging algorithms, using these as a drop-in replacement for the standard merge algorithm incurs a substantial slow-down. Virtual-Memory Powersort, by contrast, uses the same number of moves and comparisons as previous Powersort implementations up to an additive $O(n)$ term. We report on an empirical running-time study comparing our implementation against other Powersort variants and state-of-the-art stable sorting methods, demonstrating that almost in-place stable sorting can be achieved with negligible overhead in many scenarios.2026-05-26T15:10:06ZESA 2026Finn MoltmannTamio-Vesa NakajimaSebastian Wild