Operating Systems

Authors and titles for April 2025

[1] arXiv:2504.04874 [pdf, html, other]

Title: Futureproof Static Memory Planning

Christos Lamprakos, Panagiotis Xanthopoulos, Manolis Katsaragakis, Sotirios Xydis, Dimitrios Soudris, Francky Catthoor

Comments: Submitted to ACM TOPLAS

Subjects: Operating Systems (cs.OS); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[2] arXiv:2504.06151 [pdf, html, other]

Title: Zerrow: True Zero-Copy Arrow Pipelines in Bauplan

Yifan Dai, Jacopo Tagliabue, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, Tyler R. Caraza-Harter

Comments: Pre-print conf submission

Subjects: Operating Systems (cs.OS); Databases (cs.DB)

[3] arXiv:2504.14489 [pdf, html, other]

Title: Optimizing SLO-oriented LLM Serving with PD-Multiplexing

Weihao Cui, Yukang Chen, Han Zhao, Ziyi Xu, Quan Chen, Xusheng Chen, Yangjie Zhou, Shixuan Sun, Minyi Guo

Subjects: Operating Systems (cs.OS)

[4] arXiv:2504.15465 [pdf, html, other]

Title: LithOS: An Operating System for Efficient Machine Learning on GPUs

Patrick H. Coppock, Brian Zhang, Eliot H. Solomon, Vasilis Kypriotis, Leon Yang, Bikash Sharma, Dan Schatzberg, Todd C. Mowry, Dimitrios Skarlatos

Subjects: Operating Systems (cs.OS); Machine Learning (cs.LG)

[5] arXiv:2504.16251 [pdf, html, other]

Title: Adaptive and Efficient Dynamic Memory Management for Hardware Enclaves

Vijay Dhanraj, Harpreet Singh Chwarla, Tao Zhang, Daniel Manila, Eric Thomas Schneider, Erica Fu, Mona Vij, Chia-Che Tsai, Donald E. Porter

Comments: 12 pages, 10 figures

Subjects: Operating Systems (cs.OS); Cryptography and Security (cs.CR)

[6] arXiv:2504.03109 (cross-list from cs.PL) [pdf, html, other]

Title: Extending Data Spatial Semantics for Scale Agnostic Programming

Jason Mars

Comments: 16 pages

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA); Operating Systems (cs.OS); Software Engineering (cs.SE)

[7] arXiv:2504.09474 (cross-list from cs.SE) [pdf, html, other]

Title: MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions

Pucheng Dang, Di Huang, Dong Li, Kang Chen, Yuanbo Wen, Qi Guo, Xing Hu, Ninghui Sun

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Operating Systems (cs.OS)

[8] arXiv:2504.13994 (cross-list from cs.HC) [pdf, html, other]

Title: Terminal Lucidity: Envisioning the Future of the Terminal

Michael MacInnis, Olga Baysal, Michele Lanza

Subjects: Human-Computer Interaction (cs.HC); Operating Systems (cs.OS); Software Engineering (cs.SE)

[9] arXiv:2504.14603 (cross-list from cs.AI) [pdf, html, other]

Title: UFO2: The Desktop AgentOS

Chaoyun Zhang, He Huang, Chiming Ni, Jian Mu, Si Qin, Shilin He, Lu Wang, Fangkai Yang, Pu Zhao, Chao Du, Liqun Li, Yu Kang, Zhao Jiang, Suzhen Zheng, Rujia Wang, Jiaxu Qian, Minghua Ma, Jian-Guang Lou, Qingwei Lin, Saravan Rajmohan, Dongmei Zhang

Comments: The source code of UFO2 is publicly available at this https URL, with comprehensive documentation provided at this https URL

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Operating Systems (cs.OS)

[10] arXiv:2504.15302 (cross-list from cs.DC) [pdf, html, other]

Title: RAGDoll: Efficient Offloading-based Online RAG System on a Single GPU

Weiping Yu, Ningyi Liao, Siqiang Luo, Junfeng Liu

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS)

[11] arXiv:2504.15499 (cross-list from cs.CR) [pdf, html, other]

Title: Guillotine: Hypervisors for Isolating Malicious AIs

James Mickens, Sarah Radway, Ravi Netravali

Comments: To be published in the ACM SIGOPS 2025 Workshop on Hot Topics in Operating Systems

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Operating Systems (cs.OS)