Tootfinder

Apple releases version 26.1 of its full family of OSes, including a "tinted" option for the Liquid Glass design to reduce transparency and increase contrast (John Voorhees/MacStories)
https://www.macstories.net/news/apple-releases-26-1-updates-…

Apple Releases 26.1 Updates to Its Operating Systems
Today, Apple released version 26.1 of its full family of OSes. Every platform received attention, including the proverbial “bug fixes and feature enhancements,” but it was iOS 26.1 and iPadOS 26.1 that received the most changes that are likely to be noticed by users. Liquid Glass: Tinted Let’s start with iOS 26.1 because most of

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
Pol Mestres, Blake Werner, Ryan K. Cosner, Aaron D. Ames
https://arxiv.org/abs/2510.01501

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
Control systems operating in the real world face countless sources of unpredictable uncertainties. These random disturbances can render deterministic guarantees inapplicable and cause catastrophic safety failures. To overcome this, this paper proposes a method for designing safe controllers for discrete-time stochastic systems that retain probabilistic guarantees of safety. To do this we modify the traditional notion of a control barrier function (CBF) to explicitly account for these stochastic…

Calendar.txt by Tero Karvinen is a plain text file calendar that's versionable, supports all operating systems, is future-proof, easily syncs with Android, etc: #TextFiles

Honestly, equating "#PC" = #Windows today is just shameful. Not only because everyone and their psychologist realized that there are other operating systems by now, but simply because modern Windows versions are nowhere near what "PC" used to signify.

Doubly-Dispersive Continuous MIMO Systems: Channel Modeling and Beamforming Design
Kuranage Roche Rayan Ranasinghe, Zhaolin Wang, Hyeon Seok Rou, Giuseppe Thadeu Freitas de Abreu, Emil Bj\"ornson
https://arxiv.org/abs/2509.00964

Doubly-Dispersive Continuous MIMO Systems: Channel Modeling and Beamforming Design
We address the modeling and optimal beamforming (BF) design for multiple-input multiple-output (MIMO) continuous aperture array (CAPA) systems operating over doubly-dispersive (DD) channels. First, a comprehensive DD continuous MIMO (DDC MIMO) channel model that incorporates CAPAs at both the transmitter (TX) and receiver (RX) is derived, which is used to obtain explicit input-output (I/O) relations for various waveforms well suited to integrated sensing and communications (ISAC) and robust to …

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
Xingda Wei, Zhuobin Huang, Tianle Sun, Yingyi Hao, Rong Chen, Mingcong Han, Jinyu Gu, Haibo Chen

The Command Line GUIde: Graphical Interfaces from Man Pages via AI
Saketh Ram Kasibatla, Kiran Medleri Hiremath, Raven Rothkopf, Sorin Lerner, Haijun Xia, Brian Hempel
https://arxiv.org/abs/2510.01453 …

The Command Line GUIde: Graphical Interfaces from Man Pages via AI
Although birthed in the era of teletypes, the command line shell survived the graphical interface revolution of the 1980's and lives on in modern desktop operating systems. The command line provides access to powerful functionality not otherwise exposed on the computer, but requires users to recall textual syntax and carefully scour documentation. In contrast, graphical interfaces let users organically discover and invoke possible actions through widgets and menus. To better expose the power of…

Measuring the measurement problem: controlling decoherence with measurement duration in molecular MCB junctions
C. J. Muller
https://arxiv.org/abs/2510.01945 https://

Measuring the measurement problem: controlling decoherence with measurement duration in molecular MCB junctions
We investigate the influence of the measurement duration on quantum coherence in molecular mechanically controlled break junctions operating in a tetrahydrofuran (THF) partially wet phase. These systems represent a distinct class of enclosed open quantum systems with unusually long decoherence times at ambient conditions, on the order of 1-20 ms. By tuning the integration time of the current measurement in current-voltage (IV) characteristics, relative to the decoherence time, we observe a tran…

A Review of Software for Designing and Operating Quantum Networks
Robert J. Hayek, Joaquin Chung, Rajkumar Kettimuthu
https://arxiv.org/abs/2510.00203 https://

A Review of Software for Designing and Operating Quantum Networks
Quantum network protocol development is crucial to realizing a production-grade network that can support distributed sensing, secure communication, and utility-scale quantum computation. However, the transition from laboratory demonstration to deployable networks requires software implementations of architectures and protocols tailored to the unique constraints of quantum systems. This paper reviews the current state of software implementations for quantum networks, organized around the three-p…

A queuing theory-based operating capacity model for multi-modal port operations
Debojjal Bagchi, Kyle Bathgate, Stephen D. Boyles, Kenneth N. Mitchell, Magdalena I. Asborno, Marin M. Kress
https://arxiv.org/abs/2509.22961

A queuing theory-based operating capacity model for multi-modal port operations
This paper investigates how "operating capacity" can be meaningfully defined in multi-modal maritime freight systems with limited data. Shipping channels and ports are complex systems that interact deeply, and the capacities of individual components may differ from the overall capacity of these systems. Traditional methods for port capacity assessment often rely on data-driven simulations, which can be difficult to calibrate due to complex interactions among port systems and the large volume of…

Boundaries Program Deformation in Isolated Active Networks
Zixiang Lin, Shichen Liu, Shahriar Shadkhoo, Jialong Jiang, Heun Jin Lee, David Larios, Chunhe Li, Hongyi Bian, Anqi Li, Rob Phillips, Matt Thomson, Zijie Qu
https://arxiv.org/abs/2510.01713

Boundaries Program Deformation in Isolated Active Networks
Cellular structures must organize themselves within strict physical constraints, operating with finite resources and well-defined boundaries. Classical systems demonstrate only passive responses to boundaries, from surface energy minimization in soap films to strain distributions in elastic networks. Active matter fundamentally alters this paradigm - internally generated stresses create a bidirectional coupling between boundary geometry and mass conservation that enables dynamic control over ne…

NIR/VIS dual-comb spectroscopy comparing high and low repetition rate regimes
Alexander Eber, Mithun Pal, Lukas F\"urst, Emily Hruska, Christoph Gruber, Marcus Ossiander, Birgitta Bernhardt
https://arxiv.org/abs/2509.02159

NIR/VIS dual-comb spectroscopy comparing high and low repetition rate regimes
Dual-comb spectroscopy enables broadband analysis of key molecules with unparalleled frequency resolution and exceptional signal-to-noise ratios across various spectral regions. However, fully harnessing its potential for broadband spectroscopy with high sensitivity and spectral resolution depends critically on selecting the appropriate frequency combs with optimized (comb) parameters tailored to specific applications. This study compares dual-comb spectroscopy systems operating at 80 MHz and 1…

Gain-Scheduled Data-Enabled Predictive Control: A DeePC Approach for Nonlinear Systems
Margarita A. Guerrero, Braghadeesh Lakshminarayanan, Cristian R. Rojas
https://arxiv.org/abs/2509.26334

Gain-Scheduled Data-Enabled Predictive Control: A DeePC Approach for Nonlinear Systems
Model predictive control is a well established control technology for trajectory tracking. Its use requires the availability of an accurate model of the plant, but obtaining such a model is often time consuming and costly. Data-Enabled Predictive Control (DeePC) addresses this shortcoming in the linear time-invariant setting, by skipping the model building step and instead relying directly on input-output data. Unfortunately, many real systems are nonlinear and exhibit strong operating-point de…

Universally Composable Termination Analysis of Tendermint
Zhixin Dong, Xian Xu, Yuhang Zeng, Mingchao Wan, Chunmiao Li
https://arxiv.org/abs/2510.01097 https://

Universally Composable Termination Analysis of Tendermint
Modern blockchain systems operating in adversarial environments require robust consensus protocols that guarantee both safety and termination under network delay attacks. Tendermint, a widely adopted consensus protocol in consortium blockchains, achieves high throughput and finality. However, previous analysis of the safety and termination has been done in a standalone fashion, with no consideration of the composition with other protocols interacting with it in a concurrent manner. Moreover, th…

Crosslisted article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
Yusheng Zheng, Yanpeng Hu, Wei Zhang, Andi Quinn

Finite-blocklength Fluid Antenna Systems With Spatial Block-Correlation Channel Model
Zhentian Zhang, Kai-Kit Wong, David Morales-Jimenez, Hao Jiang, Pablo Ram\'irez-Espinosa, Chan-Byoung Chae, Christos Masouros
https://arxiv.org/abs/2509.24333

Finite-blocklength Fluid Antenna Systems With Spatial Block-Correlation Channel Model
Massive connectivity with ultra-low latency and high reliability necessitates fundamental advances in future communication networks operating under finite-blocklength (FBL) transmission. Fluid antenna systems (FAS) have emerged as a promising enabler, offering superior spectrum and energy efficiency in short-packet/FBL scenarios. In this work, by leveraging the simplicity and accuracy of block-correlation channel modeling, we rigorously bound the performance limits of FBL-FAS from a statistical…

Ubuntu Touch is an important project for a freer future for mobile platforms, but current alternative operating systems are simpler to use at the moment.
https://theprivacydad.com/using-ubuntu-touch-on-a-pixel-3a-phone/

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
Yusheng Zheng, Yanpeng Hu, Wei Zhang, Andi Quinn

https://infosec.exchange/@BleepingComputer/115293538758414769
quick. let's rewrite sudo in rust, memsafety will save us all! checks notes, uh. hmmm. nothing to see here, move along.

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli
https://arxiv.org/abs/2508.18820

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
Designing robotic systems to act autonomously in unforeseen environments is a challenging task. This work presents a novel approach to use formal verification, specifically Statistical Model Checking (SMC), to verify system properties of autonomous robots at design-time. We introduce an extension of the SCXML format, designed to model system components including both Robot Operating System 2 (ROS 2) and Behavior Tree (BT) features. Further, we contribute Autonomous Systems to Formal Models (AS2…

Low-Complexity Receiver Design for Multicarrier CAPA-based Systems in Doubly-Dispersive Channels
Kuranage Roche Rayan Ranasinghe, Giuseppe Thadeu Freitas de Abreu, Emil Bj\"ornson
https://arxiv.org/abs/2509.24941

Low-Complexity Receiver Design for Multicarrier CAPA-based Systems in Doubly-Dispersive Channels
We propose a novel low-complexity receiver design for multicarrier continuous aperture array (CAPA) systems operating over doubly-dispersive (DD) channels. The receiver leverages a Gaussian Belief Propagation (GaBP)-based framework that hinges only on element-wise scalar operations for the detection of the transmitted symbols. Simulation results for the orthogonal frequency division multiplexing (OFDM), orthogonal time frequency space (OTFS), and affine frequency division multiplexing (AFDM) wa…

[2025-08-04 Mon (UTC), 1 new article found for cs.OS Operating Systems]
toXiv_bot_toot

Invited Paper: FEMU: An Open-Source and Configurable Emulation Framework for Prototyping TinyAI Heterogeneous Systems
Simone Machetti, Deniz Kasap, Juan Sapriza, Rub\'en Rodr\'iguez \'Alvarez, Hossein Taji, Jos\'e Miranda, Miguel Pe\'on-Quir\'os, David Atienza
https://arxiv.org/abs/2508.16981

Invited Paper: FEMU: An Open-Source and Configurable Emulation Framework for Prototyping TinyAI Heterogeneous Systems
In this paper, we present the new FPGA EMUlation (FEMU), an open-source and configurable emulation framework for prototyping and evaluating TinyAI heterogeneous systems (HS). FEMU leverages the capability of system-on-chip (SoC)-based FPGAs to combine the under-development HS implemented in a reconfigurable hardware region (RH) for quick prototyping with a software environment running under a standard operating system in a control software region (CS) for supervision and communication. To evalu…

[2025-09-04 Thu (UTC), 1 new article found for cs.OS Operating Systems]
toXiv_bot_toot

Ich wurde gebeten, über meine Erfahrungen mit dem Umstieg auf ein Fairphone mit einem von Google unabhängigen Android-Derivat, /e/OS ( https://e.foundation/de/e-os/ ) zu berichten.
Das Fairphone traf heute ein und ich habe erst mal vorwiegend ausprobiert, ob, für mich wichtige Sachen funktionieren.
A…

Monitoring Machine Learning Systems: A Multivocal Literature Review
Hira Naveed, Scott Barnett, Chetan Arora, John Grundy, Hourieh Khalajzadeh, Omar Haggag
https://arxiv.org/abs/2509.14294

Monitoring Machine Learning Systems: A Multivocal Literature Review
Context: Dynamic production environments make it challenging to maintain reliable machine learning (ML) systems. Runtime issues, such as changes in data patterns or operating contexts, that degrade model performance are a common occurrence in production settings. Monitoring enables early detection and mitigation of these runtime issues, helping maintain users' trust and prevent unwanted consequences for organizations. Aim: This study aims to provide a comprehensive overview of the ML monitoring…

[2025-09-03 Wed (UTC), 1 new article found for cs.OS Operating Systems]
toXiv_bot_toot

Parametrized topological complexity of bundles of real projective spaces, I
Michael Farber, Amit Kumar Paul, Lucile Vandembroucq
https://arxiv.org/abs/2509.17839 https://…

Parametrized topological complexity of bundles of real projective spaces, I
Analysis of motion algorithms for autonomous systems operating under variable external conditions leads to the concept of parametrized topological complexity \cite{CFW}. In \cite{CFW}, \cite{CFW2} the parametrized topological complexity was computed in the case of the Fadell - Neuwirth bundle which is pertinent to algorithms of collision free motion of many autonomous systems in ${\Bbb R}^d$ avoiding collisions with multiple obstacles. The parametrized topological complexity of sphere bundles w…

The Use of the Simplex Architecture to Enhance Safety in Deep-Learning-Powered Autonomous Systems
Federico Nesti, Niko Salamini, Mauro Marinoni, Giorgio Maria Cicero, Gabriele Serra, Alessandro Biondi, Giorgio Buttazzo
https://arxiv.org/abs/2509.21014

The Use of the Simplex Architecture to Enhance Safety in Deep-Learning-Powered Autonomous Systems
Recently, the outstanding performance reached by neural networks in many tasks has led to their deployment in autonomous systems, such as robots and vehicles. However, neural networks are not yet trustworthy, being prone to different types of misbehavior, such as anomalous samples, distribution shifts, adversarial attacks, and other threats. Furthermore, frameworks for accelerating the inference of neural networks typically run on rich operating systems that are less predictable in terms of tim…

[2025-10-03 Fri (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

SoK: Cybersecurity Assessment of Humanoid Ecosystem
Priyanka Prakash Surve, Asaf Shabtai, Yuval Elovici
https://arxiv.org/abs/2508.17481 https://arxiv.org/…

SoK: Cybersecurity Assessment of Humanoid Ecosystem
Humanoids are progressing toward practical deployment across healthcare, industrial, defense, and service sectors. While typically considered cyber-physical systems (CPSs), their dependence on traditional networked software stacks (e.g., Linux operating systems), robot operating system (ROS) middleware, and over-the-air update channels, creates a distinct security profile that exposes them to vulnerabilities conventional CPS models do not fully address. Prior studies have mainly examined specif…

Adaptive Network Selection for Latency-Aware V2X Systems under Varying Network and Vehicle Densities
Muhammad Z. Haq, Nadia N. Qadri, Omer Chughtai, Sadiq A. Ahmad, Waqas Khalid, Heejung Yu
https://arxiv.org/abs/2508.14471

Adaptive Network Selection for Latency-Aware V2X Systems under Varying Network and Vehicle Densities
This paper presents ANS-V2X, an Adaptive Network Selection framework tailored for latency-aware V2X systems operating under varying vehicle densities and heterogeneous network conditions. Modern vehicular environments demand low-latency and high-throughput communication, yet real-time network selection is hindered by diverse application requirements and the coexistence of multiple Radio Access Technologies (RATs) such as 4G, 5G, and ad hoc links. ANS-V2X employs a heuristic-driven approach to a…

MedicalOS: An LLM Agent based Operating System for Digital Healthcare
Jared Zhu, Junde Wu
https://arxiv.org/abs/2509.11507 https://arxiv.org/pdf/2509.11507…

MedicalOS: An LLM Agent based Operating System for Digital Healthcare
Decades' advances in digital health technologies, such as electronic health records, have largely streamlined routine clinical processes. Yet, most these systems are still hard to learn and use: Clinicians often face the burden of managing multiple tools, repeating manual actions for each patient, navigating complicated UI trees to locate functions, and spending significant time on administration instead of caring for patients. The recent rise of large language model (LLM) based agents demonstr…

What is digital about abstraction?
Bernhard Rieder
https://arxiv.org/abs/2508.18181 https://arxiv.org/pdf/2508.18181

What is digital about abstraction?
This chapter examines abstraction as a central principle of computing, not merely as a cognitive skill or epistemological category, but as a material and organizational practice that structures how software is built, used, and embedded in society. By tracing abstraction through historical developments in programming, operating systems, and networking, the text highlights its dual role in enabling modularity and layering while simultaneously shaping cultural, economic, and organizational forms. …

Denoising by neural network for muzzle blast detection
Hadrien Pujol, Matteo Bevillacqua, Christophe Thirard, Thierry Mazoyer
https://arxiv.org/abs/2508.14919 https://

Denoising by neural network for muzzle blast detection
Acoem develops gunshot detection systems, consisting of a microphone array and software that detects and locates shooters on the battlefield. The performance of such systems is obviously affected by the acoustic environment in which they are operating: in particular, when mounted on a moving military vehicle, the presence of noise reduces the detection performance of the software. To limit the influence of the acoustic environment, a neural network has been developed. Instead of using a heavy …

AI-Powered Machine Learning Approaches for Fault Diagnosis in Industrial Pumps
Khaled M. A. Alghtus, Ayad Gannan, Khalid M. Alhajri, Ali L. A. Al Jubouri, Hassan A. I. Al-Janahi
https://arxiv.org/abs/2508.15550

AI-Powered Machine Learning Approaches for Fault Diagnosis in Industrial Pumps
This study presents a practical approach for early fault detection in industrial pump systems using real-world sensor data from a large-scale vertical centrifugal pump operating in a demanding marine environment. Five key operational parameters were monitored: vibration, temperature, flow rate, pressure, and electrical current. A dual-threshold labeling method was applied, combining fixed engineering limits with adaptive thresholds calculated as the 95th percentile of historical sensor values. …

I really hate being back in the territory of having any sort of opinions on operating systems and wasting my keystrokes on posting them online.
That being said, upgrading to iOS 26 was a mistake.
And I should have trusted my first impressions months back, when this pile of nonsense was still in beta testing.

COCO: Cognitive Operating System with Continuous Oversight for Multi-Agent Workflow Reliability
Churong Liang, Jinling Gan, Kairan Hong, Qiushi Tian, Zongze Wu, Runnan Li
https://arxiv.org/abs/2508.13815

COCO: Cognitive Operating System with Continuous Oversight for Multi-Agent Workflow Reliability
Large-scale multi-agent workflows exhibit inherent vulnerability to error propagation and quality degradation, where downstream agents compound upstream failures without corrective mechanisms. We introduce COCO (Cognitive Operating System with Continuous Oversight), a theoretically-grounded framework that implements asynchronous self-monitoring and adaptive error correction in multi-agent driven systems. COCO addresses the fundamental trade-off between quality assurance and computational effici…

Interesting observation by Langdon Winner regarding technological transformation: “by the time the issue of ‘use’ comes up for consideration at all, many of the most interesting questions involved in how technologies are constituted and how they affect what we do are settled or sub-merged.”
This is happening right now with #GenAI .

The ngscopeclient team is excited to announce our first official release, version 0.1, after many years of development.
This release includes contributions from 77 people across the globe and supports instruments from 23 vendors, running on all major operating systems.
https://www.ngscopec…

Radio-PPG: photoplethysmogram digital twin synthesis using deep neural representation of 6G/WiFi ISAC signals
Israel Jesus Santos Filho, Muhammad Mahboob Ur Rahman, Taous-Meriem Laleg-Kirati, Tareq Al-Naffouri
https://arxiv.org/abs/2509.22326

Radio-PPG: photoplethysmogram digital twin synthesis using deep neural representation of 6G/WiFi ISAC signals
Digital twins for 1D bio-signals enable real-time monitoring of physiological processes of a person, which enables early disease diagnosis and personalized treatment. This work introduces a novel non-contact method for digital twin (DT) photoplethysmogram (PPG) signal synthesis under the umbrella of 6G/WiFi integrated sensing and communication (ISAC) systems. We employ a software-defined radio (SDR) operating at 5.23 GHz that illuminates the chest of a nearby person with a wideband 6G/WiFi sign…

It's true. The Xbox app for PC is a joke. Steam, Epic, and GOG are making fun of it behind its back.

ScaleCUA: Scaling Open-Source Computer Use Agents with Cross-Platform Data
Zhaoyang Liu, JingJing Xie, Zichen Ding, Zehao Li, Bowen Yang, Zhenyu Wu, Xuehui Wang, Qiushi Sun, Shi Liu, Weiyun Wang, Shenglong Ye, Qingyun Li, Zeyue Tian, Gen Luo, Xiangyu Yue, Biqing Qi, Kai Chen, Bowen Zhou, Yu Qiao, Qifeng Chen, Wenhai Wang
https://arxiv.org/…

ScaleCUA: Scaling Open-Source Computer Use Agents with Cross-Platform Data
Vision-Language Models (VLMs) have enabled computer use agents (CUAs) that operate GUIs autonomously, showing great potential, yet progress is limited by the lack of large-scale, open-source computer use data and foundation models. In this work, we introduce ScaleCUA, a step toward scaling open-source CUAs. It offers a large-scale dataset spanning 6 operating systems and 3 task domains, built via a closed-loop pipeline uniting automated agents with human experts. Trained on this scaled-up data,…

Learning Reaction-Diffusion Kinetics from Mechanical Information
Royal C. Ihuaenyi, Hongbo Zhao, Ruqing Fang, Ruobing Bai, Martin Z. Bazant, Juner Zhu
https://arxiv.org/abs/2508.17523

Learning Reaction-Diffusion Kinetics from Mechanical Information
A central challenge in materials science is characterizing chemical processes that are elusive to direct measurement, particularly in functional materials operating under realistic conditions. Here, we demonstrate that mechanical strain fields contain sufficient information to reconstruct hidden chemical kinetics in coupled chemomechanical systems. Our partial differential equation-constrained learning framework decodes concentration-dependent diffusion kinetics, thermodynamic driving forces, a…

BladderFormer: A Streaming Transformer for Real-Time Urological State Monitoring
Chengwei Zhou, Steve Majerus, Gourav Datta
https://arxiv.org/abs/2509.24178 https://

BladderFormer: A Streaming Transformer for Real-Time Urological State Monitoring
Bladder pressure monitoring systems are increasingly vital in diagnosing and managing urinary tract dysfunction. Existing solutions rely heavily on hand-crafted features and shallow classifiers, limiting their adaptability to complex signal dynamics. We propose a one-layer streaming transformer model for real-time classification of bladder pressure states, operating on wavelet-transformed representations of raw time-series data. Our model incorporates temporal multi-head self-attention and stat…

Joint Contact Planning for Navigation and Communication in GNSS-Libration Point Systems
Huan Yan, Juan A. Fraire, Ziqi Yang, Kanglian Zhao, Wenfeng Li, Xiyun Hou, Haohan Li, Yuxuan Miao, Jinjun Zheng, Chengbin Kang, Huichao Zhou, Xinuo Chang, Lu Wang, Linshan Xue
https://arxiv.org/abs/2508.20479

Joint Contact Planning for Navigation and Communication in GNSS-Libration Point Systems
Deploying satellites at Earth-Moon Libration Points (LPs) addresses the inherent deep-space coverage gaps of low-altitude GNSS constellations. Integrating LP satellites with GNSS into a joint constellation enables a more robust and comprehensive Positioning, Navigation, and Timing (PNT) system, while also extending navigation and communication services to spacecraft operating in cislunar space (i.e., users). However, the long propagation delays between LP satellites, users, and GNSS satellites …

Microscopic Theory of Squeezed Light in Quantum Dot Systems
Sahil Patel, Sean Doan, Chen Shang, Frederic Grillot, Frank Jahnke, John Bowers, Galan Moody, Weng Chow
https://arxiv.org/abs/2508.15114

Microscopic Theory of Squeezed Light in Quantum Dot Systems
We present a cavity-QED theory for generating squeezed light from semiconductor quantum dots (QDs) integrated in microcavities. We formulate equations of motion for an inhomogeneously broadened QD ensemble that is incoherently pumped and simultaneously driven by a coherent seed field, solve for steady states, and compute the output-field quadrature variances. The analysis identifies operating conditions that yield amplitude-quadrature squeezing, with photon-number fluctuations reduced below the…

ListenToJESD204B: A Lightweight Open-Source JESD204B IP Core for FPGA-Based Ultrasound Acquisition systems
Soumyo Bhattacharjee, Federico Villani, Christian Vogt, Andrea Cossettini, Luca Benini
https://arxiv.org/abs/2508.14798

ListenToJESD204B: A Lightweight Open-Source JESD204B IP Core for FPGA-Based Ultrasound Acquisition systems
The demand for hundreds of tightly synchronized channels operating at tens of MSPS in ultrasound systems exceeds conventional low-voltage differential signaling links' bandwidth, pin count, and latency. Although the JESD204B serial interface mitigates these limitations, commercial FPGA IP cores are proprietary, costly, and resource-intensive. We present ListenToJESD204B, an open-source receiver IP core released under a permissive Solderpad 0.51 license for AMD Xilinx Zynq UltraScale+ devices. W…

Recommending With, Not For: Co-Designing Recommender Systems for Social Good
Michael D. Ekstrand, Afsaneh Razi, Aleksandra Sarcevic, Maria Soledad Pera, Robin Burke, Katherine Landau Wright
https://arxiv.org/abs/2508.03792

Recommending With, Not For: Co-Designing Recommender Systems for Social Good
Recommender systems are usually designed by engineers, researchers, designers, and other members of development teams. These systems are then evaluated based on goals set by the aforementioned teams and other business units of the platforms operating the recommender systems. This design approach emphasizes the designers' vision for how the system can best serve the interests of users, providers, businesses, and other stakeholders. Although designers may be well-informed about user needs through…

Characterizing Trust Boundary Vulnerabilities in TEE Containers
Weijie Liu, Hongbo Chen, Shuo Huai, Zhen Xu, Wenhao Wang, Zhi Li, Zheli Liu
https://arxiv.org/abs/2508.20962 http…

Characterizing Trust Boundary Vulnerabilities in TEE Containers
Trusted Execution Environments (TEEs) have emerged as a cornerstone of confidential computing, garnering significant attention from both academia and industry. To enable the secure development, execution, and deployment, of applications on TEE platforms, TEE containers have been introduced as middleware solutions. These containers aim to shield applications from potentially malicious operating systems and orchestration interfaces while maintaining usability and reliability. In this paper, we an…

[2025-09-02 Tue (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Autonomous driving using an optimized neural network based adaptive LPV-MPC controller
Yassine Kebbati, Naima Ait-Oufroukh, Vicen\c{c} Puig, Vincent Vigneron, Dalil Ichalal
https://arxiv.org/abs/2509.19523

Autonomous driving using an optimized neural network based adaptive LPV-MPC controller
Driverless vehicles are complex systems operating in constantly changing environments. Automated driving is achieved by controlling the coupled longitudinal and lateral vehicle dynamics. Model predictive control is one of the most promising tools for this type of application due to its optimal performance and ability to handle constraints. This paper addresses autonomous driving with an adaptive linear parameter varying model predictive controller (LPV-MPC), which is adapted by a neural network…

The DISTANT Design for Remote Transmission and Steering Systems for Planetary Robotics
Cristina Luna, Alba Guerra, Almudena Moreno, Manuel Esquer, Willy Roa, Mateusz Krawczak, Robert Popela, Piotr Osica, Davide Nicolis
https://arxiv.org/abs/2510.05981

The DISTANT Design for Remote Transmission and Steering Systems for Planetary Robotics
Planetary exploration missions require robust locomotion systems capable of operating in extreme environments over extended periods. This paper presents the DISTANT (Distant Transmission and Steering Systems) design, a novel approach for relocating rover traction and steering actuators from wheel-mounted positions to a thermally protected warm box within the rover body. The design addresses critical challenges in long-distance traversal missions by protecting sensitive components from thermal c…

MobileUPReg: Identifying User-Perceived Performance Regressions in Mobile OS Versions
Wei Liu (Peter), Yi Wen Heng (Peter), Feng Lin (Peter), Tse-Hsun (Peter), Chen, Ahmed E. Hassan
https://arxiv.org/abs/2509.16864

MobileUPReg: Identifying User-Perceived Performance Regressions in Mobile OS Versions
Mobile operating systems (OS) are frequently updated, but such updates can unintentionally degrade user experience by introducing performance regressions. Existing detection techniques often rely on system-level metrics (e.g., CPU or memory usage) or focus on specific OS components, which may miss regressions actually perceived by users -- such as slower responses or UI stutters. To address this gap, we present MobileUPReg, a black-box framework for detecting user-perceived performance regressi…

[2025-10-02 Thu (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Linear Power System Modeling and Analysis Across Wide Operating Ranges: A Hierarchical Neural State-Space Equation Approach
Weicheng Liu, Di Liu, Songyan Zhang, Chao Lu
https://arxiv.org/abs/2508.17774

Linear Power System Modeling and Analysis Across Wide Operating Ranges: A Hierarchical Neural State-Space Equation Approach
Developing a unified small-signal model for modern, large-scale power systems that remains accurate across a wide range of operating ranges presents a formidable challenge. Traditional methods, spanning mechanistic modeling, modal identification, and deep learning, have yet to fully overcome persistent limitations in accuracy, universal applicability, and interpretability. In this paper, a novel hierarchical neural state-space equation approach is proposed to overcome these obstacles, achieving…

New on #Quansight PBC blog: Python Wheels: from Tags to Variants
#Python distributions are uniform across different Python versions and platforms. For these distributions, it is sufficient to publish a single wheel that can be installed everywhere. However, some packages are more complex than that; they include compiled Python extensions or binaries. In order to robustly deploy these software on different platforms, you need to publish multiple binary packages, and the installers need to select the one that fits the platform used best.
For a long time, Python wheels made do with a relatively simple mechanism to describe the needed variance: Platform compatibility tags. These tags identified different Python implementations and versions, operating systems, and CPU architectures. Over time, they were extended to facilitate new use cases. To list a couple: PEP 513 added manylinux tags to standardize the core library dependencies on GNU/Linux systems, and PEP 656 added musllinux tags to facilitate Linux systems with musl libc.
However, not all new use cases can be handled effectively within the framework of tags. To list a few:
• The advent of GPU-backed computing made distinguishing different acceleration frameworks such as NVIDIA CUDA or AMD ROCm important.
• As the compatibility with older CPUs became less desirable, many distributions have set baselines for their binary packages to x86-64-v2 microarchitecture level, and Python packages need to be able to express the same requirement.
• Numerical libraries support different BLAS/LAPACK, MPI, OpenMP providers, and wish to enable the users to choose the build matching their desired provider.
While tags could technically be bent to facilitate all these use cases, they would grow quite baroque, and, critically, every change to tags needs to be implemented in all installers and package-related tooling separately, making the adoption difficult.
Facing these limitations, software vendors have employed different solutions to work around the lack of an appropriate mechanism. Eventually, the #WheelNext initiative took up the challenge to design a more robust solution.
"""
#packaging

A Deep Neural Network Codebook Approach for Near-Field Nulling Control Beam Focusing
Mohammadhossein Karimi, Yuanzhe Gong, Tho Le-Ngoc
https://arxiv.org/abs/2509.22204 https://

A Deep Neural Network Codebook Approach for Near-Field Nulling Control Beam Focusing
This paper proposes a deep neural network (DNN) codebook approach for multi-user interference (MUI) mitigation in extremely large multiple-input multiple-output (XL-MIMO) systems operating in the near-field region. Unlike existing DNN-based nulling control beamforming (NCBF) methods that face scalability and complexity challenges, the proposed framework partitions the Fresnel region using correlation-based sampling and assigns a lightweight fully connected DNN model to each subsection. Each mod…

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
Yusheng Zheng, Yanpeng Hu, Wei Zhang, Andi Quinn

Securing Operating Systems Through Fine-grained Kernel Access Limitation for IoT Systems
Dongyang Zhan (Harbin Institute of Technology), Zhaofeng Yu (Harbin Institute of Technology), Xiangzhan Yu (Harbin Institute of Technology), Hongli Zhang (Harbin Institute of Technology), Lin Ye (Harbin Institute of Technology), Likun Liu (Harbin Institute of Technology)
ht…

Securing Operating Systems Through Fine-grained Kernel Access Limitation for IoT Systems
With the development of Internet of Things (IoT), it is gaining a lot of attention. It is important to secure the embedded systems with low overhead. The Linux Seccomp is widely used by developers to secure the kernels by blocking the access of unused syscalls, which introduces less overhead. However, there are no systematic Seccomp configuration approaches for IoT applications without the help of developers. In addition, the existing Seccomp configuration approaches are coarse-grained, which c…

Hi-DARTS: Hierarchical Dynamically Adapting Reinforcement Trading System
Hoon Sagong, Heesu Kim, Hanbeen Hong
https://arxiv.org/abs/2509.12048 https://arxi…

Hi-DARTS: Hierarchical Dynamically Adapting Reinforcement Trading System
Conventional autonomous trading systems struggle to balance computational efficiency and market responsiveness due to their fixed operating frequency. We propose Hi-DARTS, a hierarchical multi-agent reinforcement learning framework that addresses this trade-off. Hi-DARTS utilizes a meta-agent to analyze market volatility and dynamically activate specialized Time Frame Agents for high-frequency or low-frequency trading as needed. During back-testing on AAPL stock from January 2024 to May 2025, H…

Crosslisted article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- ASIC-based Compression Accelerators for Storage Systems: Design, Placement, and Profiling Insights
Tao Lu, Jiapin Wang, Yelin Shan, Xiangping Zhang, Xiang Chen

Mitigation of Active Power Oscillation in Multi-VSG Grids: An Impedance-Based Perspective
Junjie Xiao, Lu Wang, Xiong Du, Pedro Rodriguez, Zian Qin
https://arxiv.org/abs/2509.21642

Mitigation of Active Power Oscillation in Multi-VSG Grids: An Impedance-Based Perspective
Active power oscillations frequently arise in inverter-dominated power systems with multiple converters operating under Virtual Synchronous Generator control, posing risks to system stability and protection coordination. While various mitigation strategies have been proposed, many rely on prior knowledge of system parameters, offer limited damping performance, or involve complex models that lack physical interpretability, making them difficult to apply in practice. To address these challenges, …

Energy Efficiency for Massive MIMO Integrated Sensing and Communication Systems
Huy T. Nguyen, Van-Dinh Nguyen, Nhan Thanh Nguyen, Nguyen Cong Luong, Vo-Nguyen Quoc Bao, Hien Quoc Ngo, Dusit Niyato, Symeon Chatzinotas
https://arxiv.org/abs/2509.10290

Energy Efficiency for Massive MIMO Integrated Sensing and Communication Systems
This paper explores the energy efficiency (EE) of integrated sensing and communication (ISAC) systems employing massive multiple-input multiple-output (mMIMO) techniques to leverage spatial beamforming gains for both communication and sensing. We focus on an mMIMO-ISAC system operating in an orthogonal frequency-division multiplexing setting with a uniform planar array, zero-forcing downlink transmission, and mono-static radar sensing to exploit multi-carrier channel diversity. By deriving clos…

Exploring the potential resource integration under passenger-freight shared mobility: collaborative optimization of multi-type bus scheduling and dynamic vehicle capacity allocation for urban-rural bus routes
Jiabin Wu, Zijian Huang, Linhong Wang, Yiming Bie, Yuting Ji, Jun Gong
https://arxiv.org/abs/2509.20017

Exploring the potential resource integration under passenger-freight shared mobility: collaborative optimization of multi-type bus scheduling and dynamic vehicle capacity allocation for urban-rural bus routes
Under the global background of developing urban-rural travel patterns, traditional urban-rural public transport systems are generally faced with the serious challenges of passenger loss and operating deficit, leading to a reduction in the bus frequency and service reliability. In order to break the vicious circle of demand decline-supply shrinkage, passenger-freight shared mobility (PFSM), an innovative operation mode, can achieve synergies between urban-rural logistics and public transport ser…

Industrial Robot Motion Planning with GPUs: Integration of cuRobo for Extended DOF Systems
Luai Abuelsamen, Harsh Rana, Ho-Wei Lu, Wenhan Tang, Swati Priyadarshini, Gabriel Gomes
https://arxiv.org/abs/2508.04146

Industrial Robot Motion Planning with GPUs: Integration of cuRobo for Extended DOF Systems
Efficient motion planning remains a key challenge in industrial robotics, especially for multi-axis systems operating in complex environments. This paper addresses that challenge by integrating GPU-accelerated motion planning through NVIDIA's cuRobo library into Vention's modular automation platform. By leveraging accurate CAD-based digital twins and real-time parallel optimization, our system enables rapid trajectory generation and dynamic collision avoidance for pick-and-place tasks. We demon…

[2025-09-01 Mon (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Demonstrator Testbed for Effective Precoding in MEO Multibeam Satellites
Jorge L. Gonz\'alez-Rios, Liz Mart\'inez Marrero, Juan Duncan, Luis M. Garc\'es-Socarr\'as, Raudel Cuiman Marquez, Juan A. V\'asquez Peralvo, Jevgenij Krivochiza, Symeon Chatzinotas, Bj\"orn Ottersten
https://arxiv.org/abs/2508.19657

Demonstrator Testbed for Effective Precoding in MEO Multibeam Satellites
The use of communication satellites in medium Earth orbit (MEO) is foreseen to provide quasi-global broadband Internet connectivity in the coming networking ecosystems. Multi-user multiple-input single-output (MU-MISO) digital signal processing techniques, such as precoding, emerge as appealing technological enablers in the forward link of multi-beam satellite systems operating in full frequency reuse (FFR). However, the orbit dynamics of MEO satellites pose additional challenges that must be c…

[2025-10-01 Wed (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Demystifying Serverless Costs on Public Platforms: Bridging Billing, Architecture, and OS Scheduling
Changyuan Lin, Yuanzhi Ma, Mohammad Shahrad

Exploiting Convexity of Neural Networks in Dynamic Operating Envelope Optimization for Distributed Energy Resources
Hongyi Li, Liming Liu, Yunyi Li, Zhaoyu Wang
https://arxiv.org/abs/2508.13090

Exploiting Convexity of Neural Networks in Dynamic Operating Envelope Optimization for Distributed Energy Resources
The increasing penetration of distributed energy resources (DERs) brings opportunities and challenges to the operation of distribution systems. To ensure network integrity, dynamic operating envelopes (DOEs) are issued by utilities to DERs as their time-varying export/import power limits. Due to the non-convex nature of power flow equations, the optimization of DOEs faces a dilemma of solution accuracy and computation efficiency. To bridge this gap, in this paper, we facilitate DOE optimization…

NEFT: A Unified Transformer Framework for Efficient Near-Field CSI Feedback in XL-MIMO Systems
Haiyang Li, Tianqi Mao, Pengyu Wang, Ruiqi Liu, Shunyu Li, Zhaocheng Wang
https://arxiv.org/abs/2509.12748

NEFT: A Unified Transformer Framework for Efficient Near-Field CSI Feedback in XL-MIMO Systems
Extremely large-scale multiple-input multiple-output (XL-MIMO) systems, operating in the near-field region due to their massive antenna arrays, are a key enabler of next-generation wireless communications but face significant challenges in channel state information (CSI) feedback. Deep learning has emerged as a powerful tool by learning compact CSI representations for feedback. However, existing methods struggle to capture the intricate structure of near-field CSI while incurring prohibitive co…

Shrinking the Kernel Attack Surface Through Static and Dynamic Syscall Limitation
Dongyang Zhan (Harbin Institute of Technology), Zhaofeng Yu (Harbin Institute of Technology), Xiangzhan Yu (Harbin Institute of Technology), Hongli Zhang (Harbin Institute of Technology), Lin Ye (Harbin Institute of Technology)
https://arxiv.org/abs/2510.0372…

Shrinking the Kernel Attack Surface Through Static and Dynamic Syscall Limitation
Linux Seccomp is widely used by the program developers and the system maintainers to secure the operating systems, which can block unused syscalls for different applications and containers to shrink the attack surface of the operating systems. However, it is difficult to configure the whitelist of a container or application without the help of program developers. Docker containers block about only 50 syscalls by default, and lots of unblocked useless syscalls introduce a big kernel attack surfa…

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
Yusheng Zheng, Yanpeng Hu, Wei Zhang, Andi Quinn

Crosslisted article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- A Target-Agnostic Protocol-Independent Interface for the Transport Layer
Mizuno, Mohammadtaheri, Qian, Johnson, Akbarzadeh, Neely, Baldi, Kapre, Arashloo

[2025-09-30 Tue (UTC), 1 new article found for cs.OS Operating Systems]
toXiv_bot_toot

Certifying the Nonexistence of Feasible Path Between Power System Operating Points
Mohammad Rasoul Narimani, Katherine R. Davis, Daniel K. Molzahn
https://arxiv.org/abs/2509.05935

Certifying the Nonexistence of Feasible Path Between Power System Operating Points
By providing the optimal operating point that satisfies both the power flow equations and engineering limits, the optimal power flow (OPF) problem is central to the operation of electric power systems. While extensive research efforts have focused on reliably computing high-quality OPF solutions, assessing the feasibility of transitioning between operating points remains challenging since the feasible spaces of OPF problems may consist of multiple disconnected components. It is not possible to …

[2025-09-29 Mon (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Dynamic Optimization of Storage Systems Using Reinforcement Learning Techniques
Chiyu Cheng, Chang Zhou, Yang Zhao

[2025-08-29 Fri (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Crosslisted article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Puzzle: Scheduling Multiple Deep Learning Models on Mobile Device with Heterogeneous Processors
Duseok Kang, Yunseong Lee, Junghoon Kim

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- MVVM: Deploy Your AI Agents-Securely, Efficiently, Everywhere
Yang, Hu, Zheng, Zhao, Zhang, Xiang, Chu, Zhang, Quinn

[2025-08-28 Thu (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Towards Deterministic Sub-0.5 us Response on Linux through Interrupt Isolation
Zhou, Liu, Zhang, Li, Du, Sun, Wang, Liu, Xu

[2025-08-27 Wed (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

[2025-09-26 Fri (UTC), 2 new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Crosslisted article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- To Unpack or Not to Unpack: Living with Packers to Enable Dynamic Analysis of Android Apps
Mohammad Hossein Asghari, Lianying Zhao

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Large Language Models as Realistic Microservice Trace Generators
Donghyun Kim, Sriram Ravula, Taemin Ha, Alexandros G. Dimakis, Daehyeok Kim, Aditya Akella

[2025-08-26 Tue (UTC), 1 new article found for cs.OS Operating Systems]
toXiv_bot_toot

Crosslisted article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- OS-R1: Agentic Operating System Kernel Tuning with Reinforcement Learning
Hongyu Lin, Yuchen Li, Haoran Luo, Kaichun Yao, Libo Zhang, Mingjie Xing, Yanjun Wu

[2025-09-25 Thu (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patc...
Pucheng Dang, Di Huang, Dong Li, Kang Chen, Yuanbo Wen, Qi Guo, Xing Hu

[2025-08-25 Mon (UTC), 1 new article found for cs.OS Operating Systems]
toXiv_bot_toot

[2025-09-24 Wed (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

[2025-09-23 Tue (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Crosslisted article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- Towards Timing Isolation for Mixed-Criticality Communication in Software-Defined Vehicles
Meszl\'enyi, Kahle, P\"ullen, Kowalewski, Katzenbeisser, Kampmann

{\mu}Fork: Supporting POSIX fork Within a Single-Address-Space OS
John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier
https://arxiv.org/abs/2509.09439 https://

μFork: Supporting POSIX fork Within a Single-Address-Space OS
Single-address-space operating systems have well-known lightweightness benefits that result from their central design idea: the kernel and applications share a unique address space. This model makes these operating systems (OSes) incompatible by design with a large class of software: multiprocess POSIX applications. Indeed, the semantics of the primitive used to create POSIX processes, fork, are inextricably tied to the existence of multiple address spaces. Prior approaches addressing this is…

Replaced article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
Xingda Wei, Zhuobin Huang, Tianle Sun, Yingyi Hao, Rong Chen, Mingcong Han, Jinyu Gu, Haibo Chen

[2025-09-22 Mon (UTC), no new articles found for cs.OS Operating Systems]
toXiv_bot_toot

Crosslisted article(s) found for cs.OS. https://arxiv.org/list/cs.OS/new
[1/1]:
- A TRRIP Down Memory Lane: Temperature-Based Re-Reference Interval Prediction For Instruction Caching
Kao, Sreekumar, Soni, Sedaghati, Su, Chan, Goudarzi, Azimi