:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kressel, John Alistair, Lefeuvre, Hugo, Olivier, Pierre
Format:	Preprint
Published:	2025
Subjects:	Operating Systems
Online Access:	https://arxiv.org/abs/2509.09439
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SoK: Software Compartmentalization
by: Lefeuvre, Hugo, et al.
Published: (2024)

Quine: Realizing LLM Agents as Native POSIX Processes
by: Ke, Hao
Published: (2026)

Wayfinder: Automated Operating System Specialization
by: Jung, Alexander, et al.
Published: (2026)

Fork, Explore, Commit: OS Primitives for Agentic Exploration
by: Wang, Cong, et al.
Published: (2026)

Tidying Up the Address Space
by: Banakar, Vinay, et al.
Published: (2025)

TClone: Low-Latency Forking of Live GUI Environments for Computer-Use Agents
by: Huang, Yutong, et al.
Published: (2026)

OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering
by: Banakar, Vinay, et al.
Published: (2026)

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

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)

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

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

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
by: Peng, Yuke, et al.
Published: (2025)

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

B-Side: Binary-Level Static System Call Identification
by: Thévenon, Gaspard, et al.
Published: (2024)

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)

Revelator: Rapid Data Fetching via OS-Driven Hash-based Speculative Address Translation
by: Kanellopoulos, Konstantinos, et al.
Published: (2025)

Analysis of Security in OS-Level Virtualization
by: Ketha, Krishna Sai, et al.
Published: (2025)

Composable OS Kernel Architectures for Autonomous Intelligence
by: Singh, Rajpreet, et al.
Published: (2025)

Herding LLaMaS: Using LLMs as an OS Module
by: Kamath, Aditya K, et al.
Published: (2024)

ByteFS: System Support for (CXL-based) Memory-Semantic Solid-State Drives
by: Li, Shaobo, et al.
Published: (2025)

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

Crash-Consistent Checkpointing for AI Training on macOS/APFS
by: Jeon, Juha
Published: (2025)

Proto: A Guided Journey through Modern OS Construction
by: Choe, Wonkyo, et al.
Published: (2025)

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

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

CHRONOS: Compensating Hardware Related Overheads with Native Multi Timer Support for Real-Time Operating Systems
by: Heider, Kay, et al.
Published: (2025)

Revitalising the Single Batch Environment: A 'Quest' to Achieve Fairness and Efficiency
by: Manna, Supriya, et al.
Published: (2023)

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

RUISA Operational Ecosystem Architecture
by: AL Mohtar, Mouayad
Published: (2026)

PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
by: Wei, Xingda, et al.
Published: (2024)

MaLV-OS: Rethinking the Operating System Architecture for Machine Learning in Virtualized Clouds
by: Bitchebe, Stella, et al.
Published: (2025)

Decoupling Vector Data and Index Storage for Space Efficiency
by: Ren, Yuanming, et al.
Published: (2026)

Ringmaster: How to juggle high-throughput host OS system calls from TrustZone TEEs
by: Habeeb, Richard, et al.
Published: (2026)

SemaTune: Semantic-Aware Online OS Tuning with Large Language Models
by: Liargkovas, Georgios, et al.
Published: (2026)

The NIC should be part of the OS
by: Xu, Pengcheng, et al.
Published: (2025)

Supporting Deterministic Traffic on Standard NICs
by: Xue, Chuanyu, et al.
Published: (2025)

Victima: Drastically Increasing Address Translation Reach by Leveraging Underutilized Cache Resources
by: Kanellopoulos, Konstantinos, et al.
Published: (2023)