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

Operating Systems

Authors and titles for recent submissions

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

Tue, 29 Dec 2020

[1]  arXiv:2012.14219 (cross-list from cs.DC) [pdf, other]
Title: Reproducible Host Networking Evaluation with End-to-End Simulation
Comments: 15 pages, 10 figures, under submission
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI); Operating Systems (cs.OS)

Thu, 24 Dec 2020

[2]  arXiv:2012.12868 (cross-list from cs.DC) [pdf, other]
Title: A Flat-Combining-Based Persistent Stack for Non-Volatile Memory
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS)

Wed, 16 Dec 2020

[3]  arXiv:2012.07917 (cross-list from cs.CR) [pdf, other]
Title: The Design and Implementation of a Verified File System with End-to-End Data Integrity
Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS)

Tue, 1 Dec 2020

[4]  arXiv:2011.15065 (cross-list from cs.CR) [pdf, other]
Title: No Crash, No Exploit: Automated Verification of Embedded Kernels
Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS)

Mon, 30 Nov 2020

[5]  arXiv:2011.13432 [pdf, other]
Title: On the Applicability of PEBS based Online Memory Access Tracking for Heterogeneous Memory Management at Scale
Comments: 8 pages, 16 figures, conference
Journal-ref: Proceedings of the Workshop on Memory Centric High Performance Computing (2018) 50-57
Subjects: Operating Systems (cs.OS)
[ total of 5 entries: 1-5 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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