Operating Systems

Authors and titles for recent submissions

• Wed, 22 Jan 2025
• Mon, 20 Jan 2025
• Fri, 17 Jan 2025
• Thu, 16 Jan 2025
• Wed, 15 Jan 2025

See today's new changes

Wed, 22 Jan 2025 (showing 2 of 2 entries )

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

Title: Coach: Exploiting Temporal Patterns for All-Resource Oversubscription in Cloud Platforms

Benjamin Reidys, Pantea Zardoshti, Íñigo Goiri, Celine Irvene, Daniel S. Berger, Haoran Ma, Kapil Arya, Eli Cortez, Taylor Stark, Eugene Bak, Mehmet Iyigun, Stanko Novaković, Lisa Hsu, Karel Trueba, Abhisek Pan, Chetan Bansal, Saravan Rajmohan, Jian Huang, Ricardo Bianchini

Comments: To appear in 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 (ASPLOS'25). 15 pages

Subjects: Operating Systems (cs.OS)

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

Title: Towards Online Code Specialization of Systems

Vaastav Anand, Deepak Garg, Antoine Kaufmann

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

Mon, 20 Jan 2025 (showing 2 of 2 entries )

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

Title: The NIC should be part of the OS

Pengcheng Xu, Timothy Roscoe

Subjects: Operating Systems (cs.OS); Hardware Architecture (cs.AR); Networking and Internet Architecture (cs.NI)

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

Title: SyzParam: Introducing Runtime Parameters into Kernel Driver Fuzzing

Yue Sun, Yan Kang, Chenggang Wu, Kangjie Lu, Jiming Wang, Xingwei Li, Yuhao Hu, Jikai Ren, Yuanming Lai, Mengyao Xie, Zhe Wang

Comments: 15 pages, 9 figures

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

Fri, 17 Jan 2025

No updates for this time period.

Thu, 16 Jan 2025 (showing 1 of 1 entries )

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

Title: CORD: Co-design of Resource Allocation and Deadline Decomposition with Generative Profiling

Robert Gifford, Abby Eisenklam, Georgiy A. Bondar, Yifan Cai, Tushar Sial, Linh Thi Xuan Phan, Abhishek Halder

Subjects: Operating Systems (cs.OS); Performance (cs.PF)

Wed, 15 Jan 2025 (showing 1 of 1 entries )

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

Title: Verifying Device Drivers with Pancake

Junming Zhao, Alessandro Legnani, Tiana Tsang Ung, H. Truong, Tsun Wang Sau, Miki Tanaka, Johannes Åman Pohjola, Thomas Sewell, Rob Sison, Hira Syeda, Magnus Myreen, Michael Norrish, Gernot Heiser

Comments: 15 pages, 5 figures

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