:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lamprakos, Christos, Xanthopoulos, Panagiotis, Katsaragakis, Manolis, Xydis, Sotirios, Soudris, Dimitrios, Catthoor, Francky
Format:	Preprint
Published:	2025
Subjects:	Operating Systems Artificial Intelligence Programming Languages
Online Access:	https://arxiv.org/abs/2504.04874
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Decoupled Access-Execute enabled DVFS for tinyML deployments on STM32 microcontrollers
by: Alvanaki, Elisavet Lydia, et al.
Published: (2024)

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

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
by: Li, Shangyu, et al.
Published: (2025)

SynergAI: Edge-to-Cloud Synergy for Architecture-Driven High-Performance Orchestration for AI Inference
by: Stathopoulou, Foteini, et al.
Published: (2025)

Getting a Handle on Unmanaged Memory
by: Wanninger, Nick, et al.
Published: (2024)

Mixed-precision Neural Networks on RISC-V Cores: ISA extensions for Multi-Pumped Soft SIMD Operations
by: Armeniakos, Giorgos, et al.
Published: (2024)

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

AIOS: LLM Agent Operating System
by: Mei, Kai, et al.
Published: (2024)

Cerebrum (AIOS SDK): A Platform for Agent Development, Deployment, Distribution, and Discovery
by: Rama, Balaji, et al.
Published: (2025)

Clove: Object-Level CXL Memory Management in Managed Runtimes
by: Son, Sam, et al.
Published: (2026)

FlexInfer: Breaking Memory Constraint via Flexible and Efficient Offloading for On-Device LLM Inference
by: Du, Hongchao, et al.
Published: (2025)

Potential of WebAssembly for Embedded Systems
by: Wallentowitz, Stefan, et al.
Published: (2024)

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

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
by: Yang, Chenyuan, et al.
Published: (2025)

The Missing Memory Hierarchy: Demand Paging for LLM Context Windows
by: Mason, Tony
Published: (2026)

SLO-aware GPU Frequency Scaling for Energy Efficient LLM Inference Serving
by: Kakolyris, Andreas Kosmas, et al.
Published: (2024)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
by: Yang, Chenyuan, et al.
Published: (2025)

Compiling Away the Overhead of Race Detection
by: Paznikov, Alexey, et al.
Published: (2025)

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
by: Gu, Yile, et al.
Published: (2025)

Sockeye: a language for analyzing hardware documentation
by: Fiedler, Ben, et al.
Published: (2025)

vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems
by: Gerber, Markus Elias, et al.
Published: (2025)

Scaling Inter-procedural Dataflow Analysis on the Cloud
by: Sun, Zewen, et al.
Published: (2024)

A Bespoke Design Approach to Low-Power Printed Microprocessors for Machine Learning Applications
by: Chaidos, Panagiotis, et al.
Published: (2025)

Diagnosing and Resolving Cloud Platform Instability with Multi-modal RAG LLMs
by: Wang, Yifan, et al.
Published: (2025)

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

NaSh: Guardrails for an LLM-Powered Natural Language Shell
by: Gyawali, Bimal Raj, et al.
Published: (2025)

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

DeltaBox: Scaling Stateful AI Agents with Millisecond-Level Sandbox Checkpoint/Rollback
by: Dong, Yunpeng, et al.
Published: (2026)

Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes
by: Wu, Tianyuan, et al.
Published: (2026)

Integrating Artificial Intelligence into Operating Systems: A Survey on Techniques, Applications, and Future Directions
by: Zhang, Yifan, et al.
Published: (2024)

ProphetKV: User-Query-Driven Selective Recomputation for Efficient KV Cache Reuse in Retrieval-Augmented Generation
by: Wang, Shihao, et al.
Published: (2026)

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

Skim: Speculative Execution for Fast and Efficient Web Agents
by: Wong, Mike, et al.
Published: (2026)

Safe and usable kernel extensions with Rex
by: Jia, Jinghao, et al.
Published: (2025)

ASC-Hook: fast and transparent system call hook for Arm
by: Shen, Yang, et al.
Published: (2024)

HyperGraphOS: A Modern Meta-Operating System for the Scientific and Engineering Domains
by: Ceravola, Antonello, et al.
Published: (2024)

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

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

CyberCortex.AI: An AI-based Operating System for Autonomous Robotics and Complex Automation
by: Grigorescu, Sorin, et al.
Published: (2024)

Cache-Craft: Managing Chunk-Caches for Efficient Retrieval-Augmented Generation
by: Agarwal, Shubham, et al.
Published: (2025)