:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Peng, Yuke, Tian, Hongliang, Junyang, Zhang, Li, Ruihan, Chen, Chengjun, Jiang, Jianfeng, Xian, Jinyi, Wang, Xiaolin, Xu, Chenren, Zhou, Diyu, Luo, Yingwei, Yan, Shoumeng, Zhang, Yinqian
Format:	Preprint
Published:	2025
Subjects:	Operating Systems
Online Access:	https://arxiv.org/abs/2506.03876
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rusty Linux: Advances in Rust for Linux Kernel Development
by: Panter, Shane K., et al.
Published: (2024)

XBOF: A Cost-Efficient CXL JBOF with Inter-SSD Compute Resource Sharing
by: Yi, Shushu, et al.
Published: (2025)

Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
by: Zheng, Yusheng, et al.
Published: (2025)

Ariel OS: An Embedded Rust Operating System for Networked Sensors & Multi-Core Microcontrollers
by: Frank, Elena, et al.
Published: (2025)

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS
by: Thapa, Bipin, et al.
Published: (2026)

Linux for Everyone: Can Standardization Drive Mainstream Adoption?
by: Nandha, Rohit J, et al.
Published: (2025)

Concurrency Testing in the Linux Kernel via eBPF
by: Xu, Jiacheng, et al.
Published: (2025)

A note on the orbit equivalence of injective actions
by: Qiang, Xiangqi, et al.
Published: (2024)

Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux
by: Deng, Zhaomeng, et al.
Published: (2024)

Machine Learning (ML) library in Linux kernel
by: Dubeyko, Viacheslav
Published: (2026)

On Diagonal bimodules of étale groupoid $C^*$-algebras
by: Liu, Rui, et al.
Published: (2025)

Joyride: Rethinking Linux's network stack design for better performance, security, and reliability
by: Du, Yanlin, et al.
Published: (2025)

Maratona Linux a tale of upgrading from Ubuntu 20.04 to 22.04
by: Santos, Davi Antônio da Silva, et al.
Published: (2025)

The eBPF Runtime in the Linux Kernel
by: Gbadamosi, Bolaji, et al.
Published: (2024)

Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
by: Mao, Jinsong, et al.
Published: (2025)

Case Study: Securing MMU-less Linux Using CHERI
by: Almatary, Hesham, et al.
Published: (2023)

Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives
by: Wang, Cong, et al.
Published: (2026)

SquirrelFS: using the Rust compiler to check file-system crash consistency
by: LeBlanc, Hayley, et al.
Published: (2024)

TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
by: Zhao, Xinkui, et al.
Published: (2025)

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
by: Ackermann, Eric, et al.
Published: (2026)

Design and Reliability of a User Space Write-Ahead Log in Rust
by: Pellegatti, Vitor K. F., et al.
Published: (2025)

eBPF-mm: Userspace-guided memory management in Linux with eBPF
by: Mores, Konstantinos, et al.
Published: (2024)

treVM: Tiny Rust Embedded Virtual Machines with WASM on Variable Resource-Constrained Hardware
by: Lavandier, Antoine, et al.
Published: (2026)

Understanding and Enhancing Linux Kernel-based Packet Switching on WiFi Access Points
by: Zhang, Shiqi, et al.
Published: (2024)

CrashFixer: A crash resolution agent for the Linux kernel
by: Mathai, Alex, et al.
Published: (2025)

Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems
by: Zhou, Jinmeng, et al.
Published: (2024)

ZeroOS: A Universal Modular Library OS for zkVMs
by: Zou, Guangxian, et al.
Published: (2025)

Towards Deterministic Sub-0.5 us Response on Linux through Interrupt Isolation
by: Zhou, Zhouyi, et al.
Published: (2025)

gpu_ext: Extensible OS Policies for GPUs via eBPF
by: Zheng, Yusheng, et al.
Published: (2025)

Mitigating context switching in densely packed Linux clusters with Latency-Aware Group Scheduling
by: Isstaif, Al Amjad Tawfiq, et al.
Published: (2025)

Alliance formation in a coproduct supply chain
by: Yangyang Peng, et al.
Published: (2026)

Scheduling Analysis of UAV Flight Control Workloads using Raspberry Pi 5 Using PREEMPT_RT Linux
by: Giacomossi, Luiz, et al.
Published: (2026)

Where Linux Breaks Under Radiation: A Cross-Architecture Kernel-Level Characterization of Proton-Induced Failures in COTS SoCs
by: Memon, Saad, et al.
Published: (2025)

AgentCgroup: Understanding and Controlling OS Resources of AI Agents
by: Zheng, Yusheng, et al.
Published: (2026)

Exploiting Application-to-Architecture Dependencies for Designing Scalable OS
by: Xiao, Yao, et al.
Published: (2025)

Leveraging OS-Level Primitives for Robotic Action Management
by: Zheng, Wenxin, et al.
Published: (2025)

Combining Type Checking and Formal Verification for Lightweight OS Correctness
by: Ijaz, Ramla, et al.
Published: (2024)

LithOS: An Operating System for Efficient Machine Learning on GPUs
by: Coppock, Patrick H., et al.
Published: (2025)

AgentRM: An OS-Inspired Resource Manager for LLM Agent Systems
by: She, Jianshu
Published: (2026)

MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions
by: Dang, Pucheng, et al.
Published: (2025)