We gratefully acknowledge support from
the Simons Foundation and member institutions.

Operating Systems

Authors and titles for recent submissions

[ total of 6 entries: 1-6 ]
[ showing up to 25 entries per page: fewer | more ]

Tue, 17 May 2022

[1]  arXiv:2205.07314 [pdf, other]
Title: Dynamic Ready Queue Based Process Priority Scheduling Algorithm
Authors: Raghav Dalmia, Aryaman Sinha, Ruchi Verma, P. K. Gupta
Comments: 5 pages, 7 Figures, 5 Tables
Subjects: Operating Systems (cs.OS)
[2]  arXiv:2205.07480 (cross-list from cs.FL) [pdf, other]
Title: Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores
Authors: Chen-Kai Lin, Bow-Yaw Wang
Subjects: Formal Languages and Automata Theory (cs.FL); Operating Systems (cs.OS)

Mon, 9 May 2022

[3]  arXiv:2205.03322 (cross-list from cs.CR) [pdf, ps, other]
Title: Private delegated computations using strong isolation
Authors: Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Dominic P. Mulligan, Nick Spinale, Eric van Hensbergen, Hugo J. M. Vincent, Shale Xiong
Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS); Programming Languages (cs.PL)

Wed, 20 Apr 2022

[4]  arXiv:2204.08846 (cross-list from cs.NI) [pdf, other]
Title: Differentiating Network Flows for Priority-Aware Scheduling of Incoming Packets in Real-Time IoT Systems
Authors: Christoph Blumschein, Ilja Behnke, Lauritz Thamsen, Odej Kao
Comments: 25th International Symposium on Real-Time Distributed Computing
Subjects: Networking and Internet Architecture (cs.NI); Operating Systems (cs.OS)

Mon, 18 Apr 2022

[5]  arXiv:2204.07167 (cross-list from cs.PL) [pdf, other]
Title: Towards Porting Operating Systems with Program Synthesis
Authors: Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Comments: submitted to TOPLAS (under revision)
Subjects: Programming Languages (cs.PL); Operating Systems (cs.OS)

Thu, 14 Apr 2022

[6]  arXiv:2204.06066 [pdf, other]
Title: Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems
Authors: Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram
Comments: 16 pages
Subjects: Operating Systems (cs.OS); Software Engineering (cs.SE)
[ total of 6 entries: 1-6 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2205, contact, help  (Access key information)