- Specula: Scaling formal specifications for autonomous model checking of system code
2026/07/28 by Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang +6 · 1 voice
#cs.SE #cs.AI #cs.DC #cs.OS
- SuperPass: Fast-Tracking Blocking Threads to Mitigate Priority Inversion on Mobile Devices
2026/07/20 by Lei Li, Yu Liang, Riwei Pan +4 · 2 voices
#cs.OS
- Isolation Failure From Shared Storage: Characterizing and Exploiting Page-Cache SCA Leakage Across Containers and VMs
2026/07/20 by Alon Abudraham, Xingyu Chen, Itamar Levi +1 · 1 voice
#cs.AR #cs.CR #cs.OS
- Scaling Unmodified Multithreaded Applications with Elastic CXL-based Distributed Shared Memory
2026/07/17 by Guowei Liu, Kang Chen, Laiping Zhao +7 · 1 voice
#cs.OS
- Rethinking Polling Efficiency in Service Core Network Stacks
2026/07/17 by Matheus Stolet, Simon Peter, Antoine Kaufmann · 1 voice
#cs.OS #cs.AR #cs.NI
- SynapticOS: An Inference-First Runtime Architecture for Neural Processing Units on Resource-Constrained Microcontrollers
2026/07/14 by Dimitrios Kafetzis · 1 voice
#eess.SY #cs.OS
- ActPlane: Programmable OS-Level Policy Enforcement for Agent Harnesses
2026/06/23 by Yusheng Zheng, Tianyuan Wu, Quanzhi Fu +6 · 2 voices
#cs.OS
- Kops: Safely Extending the eBPF Compilation Pipeline with Native Operations
2026/06/23 by Yusheng Zheng, Zhengjie Ji, Weichen Tao +4 · 2 voices
#cs.OS #cs.CR
- Apple Neural Engine: Architecture, Programming, and Performance
2026/06/21 by Spencer H. Bryngelson · 11 voices
#cs.AR #cs.OS #cs.PF
- SSV: Sparse Speculative Verification for Efficient LLM Inference
2026/05/19 by Zhibin Wang, Ziyu Zhong, Nuo Shen +3 · 2 voices
#cs.OS
- Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS
2026/04/28 by Bipin Thapa, Daniele Alfonso, Lorenzo Bini +4 · 14 voices
#cs.OS
- MegaTrain: Full Precision Training of 100B+ Parameter Large Language Models on a Single GPU
2026/04/06 by Zhengqing Yuan, Hanchi Sun, Lichao Sun +1 · 22 voices
#cs.CL #cs.DC #cs.OS
- DAXFS: A Lock-Free Shared Filesystem for CXL Disaggregated Memory
2026/04/02 by Cong Wang, Yiwei Yang, Yusheng Zheng · 2 voices
Computer Science · #cs.OS
- The Missing Memory Hierarchy: Demand Paging for LLM Context Windows
2026/03/09 by Tony Mason · 2 voices
Computer Science · #cs.OS #cs.AI #cs.SE
- AgentCgroup: Understanding and Controlling OS Resources of AI Agents
2026/02/10 by Yusheng Zheng, Jiakun Fan, Quanzhi Fu +3 · 1 voice · 2 citations
#cs.OS #cs.AI
- Fork, Explore, Commit: OS Primitives for Agentic Exploration
2026/02/09 by Cong Wang, Yusheng Zheng · 3 voices
#cs.OS #cs.DC
- Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
2025/09/01 by Yusheng Zheng, Yanpeng Hu, Zheng, Yusheng +5 · 1 voice
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Mobile Agent-Based Network Management #Multiagent Systems (cs.MA) #Operating Systems (cs.OS) #Simulation Techniques and Applications #cs.AI #cs.MA #cs.OS
- Ultra Ethernet's Design Principles and Architectural Innovations
2025/08/12 by Torsten Hoefler, Hoefler, Torsten, Karen Schramm +31 · 4 voices · 2 citations
Computer Science · Engineering · #Advanced Optical Network Technologies #Network Time Synchronization Technologies #Software-Defined Networks and 5G #cs.AR #cs.DC #cs.NI #cs.OS #cs.PF
- Mainframe-Style Channel Controllers for Modern Disaggregated Memory Systems
2025/06/11 by Zikai Liu, Jasmin Schult, Liu, Zikai +5 · 1 voice
Computer Science · #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Operating Systems (cs.OS) #cs.AR #cs.ET #cs.OS
- Guillotine: Hypervisors for Isolating Malicious AIs
2025/04/22 by James Mickens, Mickens, James, Sarah Radway +3 · 3 voices · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Operating Systems (cs.OS) #cs.AI #cs.CR #cs.OS
- Where Linux Breaks Under Radiation: A Cross-Architecture Kernel-Level Characterization of Proton-Induced Failures in COTS SoCs
2025/03/05 by Saad Memon, Memon, Saad, Rafał Graczyk +16 · 2 voices
Engineering · #Radiation Effects in Electronics #Space Technology and Applications #Spacecraft Design and Technology #cs.AR #cs.OS
- Cache is King: Smart Page Eviction with eBPF
2025/02/04 by Tal Zussman, Zussman, Tal, Ioannis Zarkadas +11 · 2 voices
#cs.OS
- Symbol Resolution MatRs: Make it Fast and Observable with Stable Linking
2025/01/12 by Farid Zakaria, Andrew Quinn, Zakaria, Farid +3 · 1 voice
Computer Science · #FOS: Computer and information sciences #Operating Systems (cs.OS) #Software Engineering (cs.SE) #cs.OS #cs.SE
- Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
2025/01/08 by Gernot Heiser, Heiser, Gernot, Ivan Velickovic +27 · 1 voice
#cs.OS #cs.CR
- Telepathic Datacenters: Fast RPCs using Shared CXL Memory
2024/08/21 by Suyash Mahar, Ehsan Hajyjasini, Mahar, Suyash +9 · 2 voices
Computer Science · Decision Sciences · #cs.DC #cs.OS
- bypass4netns: Accelerating TCP/IP Communications in Rootless Containers
2024/02/01 by Naoki Matsumoto, Matsumoto, Naoki, Akihiro Suda +1 · 2 voices
#cs.NI #cs.OS
- Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems
2024/01/31 by Jinmeng Zhou, Zhou, Jinmeng, Jiayi Hu +11 · 2 voices
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Operating Systems (cs.OS) #cs.CR #cs.OS
- OpenBSD formal driver verification with SeL4
2023/11/06 by Adriana Nicolae, Nicolae, Adriana, Paul Irofti +3 · 2 voices
#cs.CR #cs.LO #cs.OS
- FlexOS: Towards Flexible OS Isolation
2021/12/02 by Hugo Lefeuvre, Lefeuvre, Hugo, Vlad-Andrei Bădoiu +13 · 1 voice · 1 citation
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Operating Systems (cs.OS) #Security and Verification in Computing #Software System Performance and Reliability #cs.OS
- Hints and Principles for Computer System Design
2020/11/03 by Butler Lampson, Lampson, Butler · 2 voices
#cs.DC #cs.OS #cs.SE
more