004.4 — Программные средства

CloakLM: Obfuscating GPU Memory Layout to Mitigate Model Ex-filtration for Serving Kunal Jain, Seokjin Go, Divya Mahajan · 2026

LiveStack: OS Support for Cluster-Scale Full-Stack Live Simulation Yiliang Wan, Haifeng Sun, Yihan Yang, Jonas Kaufmann, Antoine Kaufmann, Jialin Li · 2026

Cordon: Semantic Transactions for Tool-Using LLM Agents Zheng Chen, Hanqing Liu, Duling Xu, Dong Dong, Jialin Li, Bangzheng Pu, Jidong Zhai · 2026

A Periodic Space of Distributed Computing: Vision & Framework Mohsen Amini Salehi, Adel N. Tousi, Hai Duc Nguyen, Murtaza Rangwala, Omar Rana, Tevfik Kosar, Valeria Cardellini, Rajkumar Buyya · 2026

MARS: Efficient, Adaptive Co-Scheduling for Heterogeneous Agentic Systems Yifei Wang, Hancheng Ye, Yechen Xu, Cong Guo, Chiyue Wei, Qinsi Wang, Dongting Li, Tingjun Chen, Hai "Helen" Li, Danyang Zhuo, Yiran Chen · 2026

Bounded Priority-Aware Locking for Real-Time Kernels Shriram Raja, Richard West · 2026

uringscope: Portable, Low-Overhead Observability for io_uring Rajarshi Chowdhury · 2026

StorRep: Storage Research Experiment Patterns on Chameleon Cloud and Trovi Ray A. O. Sinurat, Yuyang Huang, Nanqinqin Li, Mark Powers, Michael Sherman, Kate Keahey, Haryadi S. Gunawi · 2026

CacheWise: Understanding Workloads and Optimizing KVCache Management for Efficiently Serving LLM Coding Agents Shubham Tiwari, Tapan Chugh, Nash Rickert, Simon Peter, Ratul Mahajan, Haiying Shen · 2026

Single-Connection Mixed-Criticality Transport with CATS: Bounded Guarantees, Three Structural Limits, and a QUIC Escape Syed Muhammad Aqdas Rizvi · 2026

A Principled Framework for Safe Algorithm Updates in Automated Insulin Delivery Systems Thomas Screven, Ziqiang "Joe" Zhu, Deniz Cengiz, Rayhan A. Lal, Korey K. Hood, Samuel T. King · 2026

Real-Time Language Model Jamming: A Case Study for Live Music Accompaniment Generation Bowen Zheng, Andrew H. Yang, Jiaqi Ruan, Jia He, Xinyue Li, Yuan-Hsin Chen, Ziyu Wang, Xiaosong Ma · 2026

Comparative Study Between Virtual Infrastructure Managers and Distributed Operating Systems Flavien Quesnel · 2014

DeltaBox: Scaling Stateful AI Agents with Millisecond-Level Sandbox Checkpoint/Rollback Yunpeng Dong, Jingkai He, Shiqi Liu, Yuze Hou, Dong Du, Zhonghu Xu, Si Yu, Baochuan Yang, Yubin Xia, Haibo Chen · 2026

TOMOYO Linux: A Mandatory Access Control Method Based on Application Execution State Toshiharu Harada, Tetsuo Handa, Masaki Hashimoto, Hidehiko Tanaka · 2026

Policy Description Language for Authorization using Logic-Based Programming Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka · 2026

TinyContainer: Container Runtime Middleware Enabling Multi-tenant Microcontrollers with Built-in Security Bastien Buil, Chrystel Gaber, Samuel Legouix, Emmanuel Baccelli, Samia Bouzefrane · 2026

FMplex: Model Virtualization for Serving Extensible Foundation Models Hetvi Shastri, Pragya Sharma, Walid A. Hanafy, David Irwin, Mani Srivastava, Prashant Shenoy · 2026

Wear-leveling for PCM main memory on embedded system via page management and process scheduling Chen Pan, Mimi Xie, Jingtong Hu, Meikang Qiu, Qingfeng Zhuge · 2014

C2CServe: Leveraging NVLink-C2C for Elastic Serverless LLM Serving on MIG Shutian Luo, Ali Zafar Sadiq, Rui Yang, Mingye Zhang, Haiying Shen, Wei Wang, Yue Cheng · 2026

Chamelio: A Fast Shared Cloud Network Stack for Isolated Tenant-Defined Protocols Matheus Stolet, Simon Peter, Antoine Kaufmann · 2026

Simulator for Performance Evaluation of Process Scheduling Policies for Embedded Real-Time Operating Systems Rajesh Kumar Garg, Vikram Singh · 2010

TIDAL: Recovering Temporal Phase for Cloud Block Storage Placement from LLM-Derived Semantics Difan Tan, Changlin Wan, Jiawen Liu, Hua Wang, Ke Zhou · 2026

Equinox: Decentralized Scheduling for Hardware-Aware Orbital Intelligence Ansel Kaplan Erol, Divya Mahajan · 2026

GNStor: Design of GPU-Native High-Performance Remote All-Flash Array Shushu Yi, Wenbo Wu, Guoci Chen, Junrong Zhu, Shengwen Liang, Mao Bo, Chenying Huan, Chen Tian, Jie Zhang · 2026

CarbonSim: A Lifecycle-Aware Framework for Evaluating Carbon Tradeoffs in Hardware Upgrade Decisions Kartik Hans, Kaiwen Zhao, Stephen Lee · 2026

TClone: Low-Latency Forking of Live GUI Environments for Computer-Use Agents Yutong Huang, Vikranth Srivatsa, Alex Asch, Hansin Tushar Patwa, Yiying Zhang · 2026

Scheduling Analysis of UAV Flight Control Workloads on PREEMPT_RT Linux Using a Raspberry Pi 5 Luiz Giacomossi, Håkan Forsberg, Ivan Tomasic, Baran Çürüklü, Tommaso Cucinotta · 2026

DPC: A Distributed Page Cache over CXL Shai Bergman, Zhe Yang, Julien Eudine, Giorgio Negro, Onur Mutlu, Arash Tavakkol, Ji Zhang · 2026

An AI Agent Execution Environment to Safeguard User Data Robert Stanley, Avi Verma, Lillian Tsai, Konstantinos Kallas, Sam Kumar · 2026

ПРИМЕНЕНИЕ ПРОГРАММНЫХ СРЕДСТВ ДЛЯ МОДЕЛИРОВАНИЯ АУТСОРСИНГА IT-ИНФРАСТРУКТУРЫ К. В. Парамейчук, Т. А. Серебрякова · 2025

КЛАССИФИКАЦИЯ ПРОГРАММНЫХ УЧЕБНО-ТРЕНИРОВОЧНЫХ СРЕДСТВ Коркишко Инна Вячеславовна, Третьякова Наталья Романовна, Коркишко Иван Васильевич · 2023

АВТОМАТИЗАЦИЯ ОЦЕНКИ УЯЗВИМОСТЕЙ ПРОГРАММНЫХ, ПРОГРАММНО-АППАРАТНЫХ СРЕДСТВ В ЦЕЛЕВОЙ ИНФОРМАЦИОННОЙ СИСТЕМЕ Жуков Вадим Геннадьевич, Селигеев Сергей Викторович · 2023

Программное средство извлечения сущностей из семантически аннотированных табличных данных Амирасланов Ильгар Вугарович, Дородных Никита Олегович, Юрин Александр Юрьевич · 2023

Characterizing Metastable Faults and Failures Ali Farahbakhsh, Qingjie Lu, Lorenzo Alvisi, Andreas Haeberlen, Robbert Van Renesse · 2026

Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM Yunseong Kim · 2026

Edge-Based QoS-Aware Adaptive Task Placement: A Closed-Loop Control in Multi-Robot Systems Thien Tran, Jonathan Kua, Thuong Hoang, Minh Tran, Honghao Lyu, Jiong Jin · 2026

Idleness is Relative: Exploiting Tool-Call Idle Windows for Offloading in Agentic Systems with MORI Tian Xia, Hanchen Li, Zhifei Li, Xiaokun Chen, Hao Kang, Yifan Qiao, Yi Xu, Ion Stoica · 2026

Characterizing Metastable Faults and Failures Ali Farahbakhsh, Qingjie Lu, Lorenzo Alvisi, Andreas Haeberlen, Robbert Van Renesse · 2026

Skim: Speculative Execution for Fast and Efficient Web Agents Mike Wong, Kevin Hsieh, Suman Nath, Ravi Netravali · 2026

Study of Embedded Operating System Process Scheduling Jin Hai Zhang · 2013

MegaTrain: Full Precision Training of 100B+ Parameter Large Language Models on a Single GPU Zhengqing Yuan, Hanchi Sun, Lichao Sun, Yanfang Ye · 2026

Qurator: Scheduling Hybrid Quantum-Classical Workflows Across Heterogeneous Cloud Providers Sinan Pehlivanoglu, Ulrik de Muelenaere, Peter Kogge, Amr Sabry · 2026

Nexus: Transparent I/O Offloading for High-Density Serverless Computing JooYoung Park, Kevin Nguetchouang, Jovan Stojkovic, Likun Zhang, Riccardo Mancini, Marco Cali, Dmitrii Ustiugov · 2026

Scheduling Analysis of UAV Flight Control Workloads using Raspberry Pi 5 Using PREEMPT_RT Linux Luiz Giacomossi, Håkan Forsberg, Ivan Tomasic, Baran Çürüklü, Tommaso Cucinotta · 2026

DAXFS: A Lock-Free Shared Filesystem for CXL Disaggregated Memory Cong Wang, Yiwei Yang, Yusheng Zheng · 2026

HACache: Leveraging Read Performance with Cache in a Heterogeneous Array Jialin Liu, Liang Shi, Dingcui Yu · 2026

WIO: Upload-Enabled Computational Storage on CXL SSDs Yiwei Yang, Yanpeng Hu, Yusheng Zheng, Estabon Ramos, Jianchang Su, Andi Quinn, Wei Zhang · 2026

Efficiency and Scheduling Thomas E. Schulte · 2026

Scheduling in Transactional Memory Systems: Models, Algorithms, and Evaluations Gokarna Sharma · 2024

ipc_shared_ptr: A Publish/Subscribe-Aware Smart Pointer for Cross-Process Object Lifetime Management Takahiro Ishikawa-Aso, Atsushi Yano, Koichi Imai, Takuya Azumi, Shinpei Kato · 2026

Shedding Light onto Safety Integrity Level and Basic Software Constraints in a Real-World Automotive Application: Case Study with Driverator Framework Tobias Denzinger, Matthias Becker, Peter Ulbrich · 2026

Memory Management for Self-stabilizing Operating Systems Shlomi Dolev, Reuven Yagel · 2005

Patchlings: Safety-Preserving Flash-Based Hotpatching for Automotive Microcontrollers Yuxin "Myles" Liu, Sekar Kulandaivel, Ardalan Amiri Sani, Jorge Guajardo · 2026

A Secure, Manifest-Based Framework for Delegated Privilege Promotion Rajarshi Chowdhury, Akshay Shah · 2026

IORM: Hierarchical I/O Governance for Thousands of Consolidated Databases on Oracle Exadata Rajarshi Chowdhury, Akshay Shah, Zakaria Alrmaih, Chenhao Guo, Anubhav Singh, Sue Lee · 2026

RTP-LLM: High-Performance Alibaba LLM Inference Engine Boyu Tan, Jiarui Guo, Zongwei Lv, Hanbo Sun, Tong Yang, Kan Liu, Xinfei Shi, Zetao Hu, Yaxin Yu, Chi Zhang, Jianning Zhang, Xi Yang, Wei Zhang, Bo Cai, Silu Zhou, Xiyu Wang, Na He, Yinghao Yu, Wending Bao, Guiyang Huang, Yuxing Yuan, Juncheng Yin, Nan Wang, Lin Yang, Zechao Zhang, Lu Chen, Guoding Li, Tao Lan, Lin Qu · 2026

MARS: Efficient, Adaptive Co-Scheduling for Heterogeneous Agentic Systems Yifei Wang, Hancheng Ye, Yechen Xu, Cong Guo, Chiyue Wei, Qinsi Wang, Dongting Li, Tingjun Chen, Hai "Helen" Li, Danyang Zhuo, Yiran Chen · 2026

TierBPF: Page Migration Admission Control for Tiered Memory via eBPF Xi Wang, Tal Zussman, Yuang Xu, Bin Ma, Asaf Cidon, Dong Li · 2026

Don't Let AI Agents YOLO Your Files: Shifting Information and Control to Filesystems for Agent Safety and Autonomy Shawn Wanxiang Zhong, Junxuan Liao, Jing Liu, Mai Zheng, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau · 2026

Process Management in Embedded Systems K. C. Wang · 2017

CityOS: Privacy Architecture for Urban Sensing Giorgio Cavicchioli, Mark Chen, Navid Salami Pargoo, Shuren Xia, Xiaotian Zhou, Roxana Geambasu, Jason Nieh, Jorge Ortiz · 2026

Tutti: Making SSD-Backed KV Cache Practical for Long-Context LLM Serving Shi Qiu, Yifan Hu, Xintao Wang, Wenhao Zhu, Jianqin Yan, Hao Chen, Kaiqiang Xu, Kai Chen, Yiming Zhang · 2026

SteelDB: Diagnosing Kernel-Space Bottlenecks in Cloud OLTP Databases Mitsumasa Kondo · 2026

Generative Profiling for Soft Real-Time Systems and its Applications to Resource Allocation Georgiy A. Bondar, Abigail Eisenklam, Yifan Cai, Robert Gifford, Tushar Sial, Linh Thi Xuan Phan, Abhishek Halder · 2026

StepCache: Step-Level Reuse with Lightweight Verification and Selective Patching for LLM Serving Azam Nouri · 2026

Experimental Analysis of FreeRTOS Dependability through Targeted Fault Injection Campaigns Luca Mannella, Stefano Di Carlo, Alessandro Savino · 2026

Hybrid Adaptive Tuning for Tiered Memory Systems Xi Wang, Jie Liu, Shuangyan Yang, Jongryool Kim, Pengfei Su, Dong Li · 2026

A Physics-Aware Framework for Short-Term GPU Power Forecasting of AI Data Centers Mohammad AlShaikh Saleh, Sanjay Chawla, Sertac Bayhan, Haitham Abu-Rub, Ali Ghrayeb · 2026

SAGA: Workflow-Atomic Scheduling for AI Agent Inference on GPU Clusters Dongxin Guo, Jikun Wu, Siu Ming Yiu · 2026

VUDA: Breaking CUDA-Vulkan Isolation for Spatial Sharing of Compute and Graphics on the Same GPU Bin Xu, Pengfei Hu, Wenxin Zheng, Jinyu Gu, Haibo Chen · 2026

CvxCluster: Solving Large, Complex, Granular Resource Allocation Problems 100-1000x Faster Obi Nnorom, Stephen Boyd, Philip Levis · 2026

A Per-Access Upper Bound for Shared-Resource Interference in Direct-Mapped Multicore Architectures Felipe T. Pedroni · 2026

LearnedCache: An eBPF-Integrated Perceptron-Based Eviction Policy for the Linux Page Cache Zejia Qi · 2026

Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives Cong Wang, Yusheng Zheng · 2026

Effective executives operating in the project management process Liangxiaoqin, Hong Shicong · 2010

Wayfinder: Automated Operating System Specialization Alexander Jung, Cezar Crăciunoiu, Nikolaos Karaolidis, Hugo Lefeuvre, Daniel Oñoro Rubio, Felipe Huici, Charalampos Rotsos, Pierre Olivier · 2026

ProbeLogits: Kernel-Level LLM Inference Primitives for AI-Native Operating Systems Daeyeon Son · 2026

Tock: From Research to Securing 10 Million Computers Leon Schuermann, Brad Campbell, Branden Ghena, Philip Levis, Amit Levy, Pat Pannuto · 2026

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS Bipin Thapa, Daniele Alfonso, Lorenzo Bini, Licio Mapelli, Kaspar Schleiser, Romain Fouquet, Emmanuel Baccelli · 2026

treVM: Tiny Rust Embedded Virtual Machines with WASM on Variable Resource-Constrained Hardware Antoine Lavandier, Bastien Buil, Chrystel Gaber, Emmanuel Baccelli · 2026

Affinity Tailor: Dynamic Locality-Aware Scheduling at Scale Jin Xin Ng, Ori Livneh, Richard O'Grady, Josh Don, Peng Ding, Samuel Grossman, Luis Otero, Chris Kennelly, David Lo, Carlos Villavieja · 2026

Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes Tianyuan Wu, Chaokun Chang, Lunxi Cao, Wei Gao, Wei Wang · 2026

Memory management policies for a hardware implemented computer operating system William A. Kwinn · 2024

SSV: Sparse Speculative Verification for Efficient LLM Inference Zhibin Wang, Ziyu Zhong, Nuo Shen, Yuhang Zhou, Rong Gu, Sheng Zhong · 2026

Clove: Object-Level CXL Memory Management in Managed Runtimes Sam Son, Zhihong Luo, Wen Zhang, Sylvia Ratnasamy, Scott Shenker · 2026

ParaCell: Paravirtualized Secure Containers with Lightweight Intra-Container Isolation and Intent-Driven Memory Management Yiyang Wu, Xunjie Wang, Jinyu Gu, Haibo Chen · 2026

DeltaBox: Scaling Stateful AI Agents with Millisecond-Level Sandbox Checkpoint/Rollback Yunpeng Dong, Jingkai He, Yuze Hou, Dong Du, Zhonghu Xu, Si Yu, Yubin Xia, Haibo Chen · 2026

Nanvix: A Multikernel OS Design for High-Density Serverless Deployments Carlos Segarra, Pedro Henrique Penna, Enrique Saurez, Íñigo Goiri, Peter Pietzuch, Shan Lu, Rodrigo Fonseca · 2026

Memory Management / Speicherverwaltung Christian Baun · 2020

Design and Implementation of a Process Scheduler Simulator and an Improved Process Scheduling Algorithm for Multimedia Operating Systems Prabhat K. Saraswat, Prasoon Gupta · 2006

Teaching Process Management with an Operating Systems Simulator: The UR-OS Experience Pedro Wightman · 2024

Memory Management / Speicherverwaltung Christian Baun · 2023

2DIO: A Cache-Accurate Storage Microbenchmark Yirong Wang, Isaac Khor, Peter Desnoyers · 2026

GateANN: I/O-Efficient Filtered Vector Search on SSDs Nakyung Lee, Soobin Cho, Jiwoong Park, Gyuyeong Kim · 2026

Integrated Scheduling for Operating Systems on Asymmetric Multi-core Processors Rui-Zhong CHEN, De-Yu QI, Wei-Wei LIN, Jian LI · 2012

VCAO: Verifier-Centered Agentic Orchestration for Strategic OS Vulnerability Discovery Suyash Mishra · 2026

EdgeFlow: Fast Cold Starts for LLMs on Mobile Devices Yongsheng Yan, Jiacheng Shen, Xuchuan Luo, Yangfan Zhou · 2026

Decoupling Vector Data and Index Storage for Space Efficiency Yuanming Ren, Juncheng Zhang, Yanjing Ren, Rui Yang, Di Wu, Patrick P. C. Lee · 2026

ClawVM: Harness-Managed Virtual Memory for Stateful Tool-Using LLM Agents Mofasshara Rafique, Laurent Bindschaedler · 2026

An empirical analysis of process scheduling behavior in lightweight operating systems Lucas Reinhardt, Elena Rossi, Johan Svensson · 2026

Performance Isolation and Semantic Determinism in Efficient GPU Spatial Sharing Zhenyuan Yang, Wenxin Zheng, Mingyu Li, Haibo Chen · 2026

LMetric: Simple is Better - Multiplication May Be All You Need for LLM Request Scheduling Dingyan Zhang, Jinbo Han, Kaixi Zhang, Xingda Wei, Sijie Shen, Chenguang Fang, Wenyuan Yu, Jingren Zhou, Rong Chen · 2026

AppFlow: Memory Scheduling for Cold Launch of Large Apps on Mobile and Vehicle Systems Xiaochen Li, Sicong Liu, Bin Guo, Yu Ouyang, Fengmin Wu, Yuan Xu, Zhiwen Yu · 2026

Brain-inspired AI for Edge Intelligence: a systematic review Yingchao Cheng, Meijia Wang, Zhifeng Hao, Rajkumar Buyya · 2026

Empowering network operating systems with memory management techniques Roberto Doriguzzi-Corin, Domenico Siracusa, Elio Salvador, Arne Schwabe · 2016

The User Process and Memory Management · 2014

In-Memory Data and Process Management Hasso Plattner, Jens Krüger · 2014

Scheduling the Unschedulable: Taming Black-Box LLM Inference at Scale Renzhong Yuan, Yijun Zeng, Xiaosong Gao, Linxi Yu, Haochun Liao, Han Wang · 2026

Blink: CPU-Free LLM Inference by Delegating the Serving Stack to GPU and SmartNIC Mohammad Siavashi, Mariano Scazzariello, Gerald Q. Maguire, Dejan Kostić, Marco Chiesa · 2026

A Hardware-Anchored Privacy Middleware for PII Sharing Across Heterogeneous Embedded Consumer Devices Aditya Sabbineni, Pravin Nagare, Devendra Dahiphale, Preetam Dedu, Willison Lopes · 2026

Valve: Production Online-Offline Inference Colocation with Jointly-Bounded Preemption Latency and Rate Fangyue Liu, Hua Liu, Xinyuan Lyu, Shuo Ai, Hao Liang, Lingpeng Chen, Ziqian Hu, Chong Zha, Xin Jin, Hanmei Luo, Peng Chen · 2026

Session details: Session 2A: Memory Management Ricardo Bianchini · 2016

Scheduling Under Memory Constraint in Task-based Runtime Systems Maxime Gonthier · 2024

FlexServe: A Fast and Secure LLM Serving System for Mobile Devices with Flexible Resource Isolation Yinpeng Wu, Yitong Chen, Lixiang Wang, Jinyu Gu, Zhichao Hua, Yubin Xia · 2026

Ensuring Data Freshness in Multi-Rate Task Chains Scheduling José Luis Conradi Hoffmann, Antônio Augusto Fröhlich · 2026

NCCLbpf: Verified, Composable Policy Execution for GPU Collective Communication Yusheng Zheng · 2026

AgentRM: An OS-Inspired Resource Manager for LLM Agent Systems Jianshu She · 2026

Distributed Shared Memory · 2010

Influence of staffing and scheduling on operating room productivity Franklin Dexter, Richard H. Epstein · 2012

Distributed, flexible memory management in an operating system supporting quality of service Ian McDonald · 2000

Memory Management/Speicherverwaltung Christian Baun · 2025

Enterprise-Wide Patient Scheduling Information Systems to Coordinate Surgical Clinic and Operating Room Scheduling Can Impair Operating Room Efficiency Franklin Dexter, Alex Macario, Rodney D. Traub · 2000

Case Scheduling Jaideep J. Pandit · 2024

Interrupt Processing and Process Scheduling K. C. Wang · 2015

Efficiency and Scheduling Brian C. Spence, William R. Furman · 2024

An Impact of Cross Over Operator on the Performance of Genetic Algorithm Under Operating System Process Scheduling Problem Rajiv Kumar, Sanjeev Gill, Ashwani Kaushik · 2011

Pomegranate: A Lightweight Compartmentalization Architecture using Virtualization Extensions Shriram Raja, Zhiyuan Ruan, Richard West · 2026

KV-RM: Regularizing KV-Cache Movement for Static-Graph LLM Serving Zhiqing Zhong, Zhijing Ye, Jian Zhang, Weijian Zheng, Bolun Sun, Xiaodong Yu · 2026

It's Not the Size: Harness Design Determines Operational Stability in Small Language Models Yong-eun Cho · 2026

SemaTune: Semantic-Aware Online OS Tuning with Large Language Models Georgios Liargkovas, Mihir Nitin Joshi, Hubertus Franke, Kostis Kaffes · 2026

Synchron-ITS: An Interactive Tutoring System to Teach Process Synchronization and Shared Memory Concepts in an Operating Systems Course Manoj Kumar Putchala, Adam R. Bryant · 2016

Session details: Session 8B: Memory Management Alper Buyuktosunoglu · 2015

Distributed, configurable memory management in an operating system supporting quality of service I. Mcdonald · 2024

Energy Management of Virtual Memory on Diskless Devices Jerry Hom, Ulrich Kremer · 2003

Governed MCP: Kernel-Level Tool Governance for AI Agents via Logit-Based Safety Primitives Daeyeon Son · 2026

GPUOS: A GPU Operating System Primitive for Transparent Operation Fusion Yiwei Yang, Xiangyu Gao, Yuan Zhou, Yuhang Gan, Yusheng Zheng, Andi Quinn · 2026

Proxics: an efficient programming model for far memory accelerators Zikai Liu, Niels Pressel, Jasmin Schult, Roman Meier, Pengcheng Xu, Timothy Roscoe · 2026

AgenTEE: Confidential LLM Agent Execution on Edge Devices Sina Abdollahi, Mohammad M Maheri, Javad Forough, Amir Al Sadi, Josh Millar, David Kotz, Marios Kogias, Hamed Haddadi · 2026

AI-Aware Operating System Architecture: Redefining Scheduling and Memory Management Sneha Pawar, Pranita Deobhankar · 2026

Process Management · 2010

An operating theatre planning and scheduling problem in the case of a "block scheduling" strategy [PDF Not Yet Available In IEEE Xplore] Emilie Grand Girard, Christine Gertosio, Alain Dussauchoy · 2006

Real-Time Operating Systems: The Scheduling and Resource Management Aspects · 2005

Memory management for operating systems and runtimes Alexis Lescouet · 2024

Evolving Operating System Strategies for Intelligent Scheduling and Adaptive Memory Management Vishal Sharma, Varuna Gupta · 2026

Management of Staffing and Case Scheduling for Anesthesia Outside of the Operating Room Alex Macario · 2011

Memory Management in ARM K. C. Wang · 2023

Memory Management in ARM K. C. Wang · 2017

Scalable Deductive Verification of Data-Level Parallel Programs Lars B. van den Haak, Anton Wijs, Marieke Huisman · 2026

SkillOps: Managing LLM Agent Skill Libraries as Self-Maintaining Software Ecosystems Hongji Pu, Xinyuan Song, Liang Zhao · 2026

Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles Yizhuo Xiao, Haotian Yan, Ying Wang, Zhongpan Zhu, Yuxin Zhang, Xintao Yan, Mustafa Suphi Erden, Cheng Wang · 2026

(How) Do Large Language Models Understand High-Level Message Sequence Charts? Mohammad Reza Mousavi · 2026

Neurosymbolic Auditing of Natural-Language Software Requirements Bethel Hall, William Eiers · 2026