1

https://arxiv.org/pdf/2407.18431 [pdf, other] cs.SE cs.OS doi
10.1145/3674805.3690756
Rusty Linux: Advances in Rust for Linux Kernel Development
Authors: Shane K. Panter, Nasir U. Eisty
Abstract: Context: The integration of Rust into kernel development is a transformative endeavor aimed at enhancing system security and reliability by leveraging… ▽ More
Submitted 6 September, 2024; v1 submitted 25 July, 2024; originally announced July 2024.
Comments: This paper has been accepted for publication and presentation at ESEM 2024 Emerging Results, Vision and Reflection Papers Track to be held in Barcelona, Spain on October 24-25, 2024

2

https://arxiv.org/pdf/2407.02680 [pdf, other] cs.SE
KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution
Authors: Alex Mathai, Chenxi Huang, Petros Maniatis, Aleksandr Nogikh, Franjo Ivancic, Junfeng Yang, Baishakhi Ray
Abstract: …at increasingly realistic software engineering (SE) tasks. In real-world software stacks, significant SE effort is spent developing foundational system software like the Linux kernel. Unlike application-level software, a systems codebase like… ▽ More
Submitted 11 November, 2024; v1 submitted 2 July, 2024; originally announced July 2024.

3

https://arxiv.org/pdf/2404.05478 [pdf, other] cs.PL cs.NI
doi10.4204/EPTCS.401.3
Session Types for the Transport Layer: Towards an Implementation of TCP
Authors: Samuel Cavoj, Ivan Nikitin, Colin Perkins, Ornela Dardha
Abstract: …In this work, we discuss how multiparty session types (MPST) can be applied to implement the TCP protocol. We develop an MPST-based implementation of a subset of a TCP server in Rust and test its interoperability against the Linux TCP stack. Our results highlight the differences in assumptions between session type theo… ▽ More
Submitted 8 April, 2024; originally announced April 2024.
Comments: In Proceedings PLACES 2024, arXiv:2404.03712
Journal ref: EPTCS 401, 2024, pp. 22-36

4

https://arxiv.org/pdf/401.10422 [pdf, other] cs.SE
doi 10.1145/3597503.3623323
Semantic Analysis of Macro Usage for Portability
Authors: Brent Pappas, Paul Gazzillo
Abstract: C is an unsafe language. Researchers have been developing tools to port C to safer languages such as Rust, Checked C, or Go. Existing tools, however, resort to preprocessing the source file first, then porting the resulting code, leaving barely recognizable code that loses macro abstractions. To preserve macro usage, porting tools need analyses that understa… ▽ More
Submitted 18 January, 2024; originally announced January 2024.
Comments: 12 pages. 4 figures. 2 tables. To appear in the 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE '24), April 14-20, 2024, Lisbon, Portugal. See https://zenodo.org/doi/10.5281/zenodo.7783131 for the latest version of the artifact associated with this paper
ACM Class: D.3.4; D.2.7

5

https://arxiv.org/pdf/2311.08862 [pdf, ps, other] cs.LO cs.DS cs.PL
doi 10.4204/EPTCS.393.13
Verification of a Rust Implementation of Knuth's Dancing Links using ACL2
Authors: David S. Hardin
Abstract: …and has been popularized by Knuth in Volume 4B of his seminal series The Art of Computer Programming. We describe an implementation of the Dancing Links optimization in the Rust programming language, as well as its formal verification using the ACL2 theorem prover.… ▽ More
Submitted 15 November, 2023; originally announced November 2023.
Comments: In Proceedings ACL2-2023, arXiv:2311.08373. arXiv admin note: substantial text overlap with arXiv:2205.11709
ACM Class: F.3.1
Journal ref: EPTCS 393, 2023, pp. 161-174

6

https://arxiv.org/pdf/2309.12624 [pdf, other] cs.NI
Quark: A High-Performance Secure Container Runtime for Serverless Computing
Authors: Chenxingyu Zhao, Yulin Sun, Ying Xiong, Arvind Krishnamurthy
Abstract: …and serverless computing, we build a high-performance secure container runtime named Quark. Unlike existing solutions that rely on traditional VM technologies by importing Linux for the guest kernel and QEMU for the VMM, we take a different approach to building Quark from the ground up, paving the way for extreme customization to unlock high performance. Our… ▽ More
Submitted 6 October, 2023; v1 submitted 22 September, 2023; originally announced September 2023.
Comments: arXiv admin note: text overlap with arXiv:2305.10621. The paper on arXiv:2305.10621 presents a detailed version of the TSoR module in Quark

7

https://arxiv.org/pdf/2306.15076 [pdf, other] cs.OS
Agile Development of Linux Schedulers with Ekiben
Authors: Samantha Miller, Anirudh Kumar, Tanay Vakharia, Tom Anderson, Ang Chen, Danyang Zhuo
Abstract: …is important for application performance, adaptability to new hardware, and complex user requirements. However, developing, testing, and debugging new scheduling algorithms in Linux, the most widely used cloud operating system, is slow and difficult. We developed Ekiben, a framework for high velocity development of… ▽ More
Submitted 26 June, 2023; originally announced June 2023.
Comments: 13 pages, 5 figures, submitted to Eurosys 2024

8

https://arxiv.org/pdf/2103.00022 [pdf, other] cs.NI
Synthesizing Safe and Efficient Kernel Extensions for Packet Processing
Authors: Qiongwen Xu, Michael D. Wong, Tanvi Wagle, Srinivas Narayana, Anirudh Sivaraman
Abstract: Extended Berkeley Packet Filter (BPF) has emerged as a powerful method to extend packet-processing functionality in the Linux operating system. BPF allows users to write code in high-level languages (like C or… ▽ More
Submitted 14 July, 2021; v1 submitted 26 February, 2021; originally announced March 2021.

9

https://arxiv.org/pdf/2008.06537 [pdf, ps, other] cs.SE
doi 10.1109/TSE.2020.3047766
The Relevance of Classic Fuzz Testing: Have We Solved This One?
Authors: Barton P. Miller, Mengxiao Zhang, Elisa R. Heymann
Abstract: …technique is still useful and applicable? In that tradition, we have updated the basic fuzz tools and testing scripts and applied them to a large collection of Unix utilities on Linux, FreeBSD, and MacOS. As before, our failure criteria was whether the program crashed or hung. We found that 9 crash or hang out of 74 utilities on… ▽ More
Submitted 4 January, 2021; v1 submitted 14 August, 2020; originally announced August 2020.
Journal ref: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2021

10

https://arxiv.org/pdf/2005.09723 [pdf, other] cs.OShttps://arxiv.org/pdf/High Velocity Kernel File Systems with Bento
Authors: Samantha Miller, Kaiyuan Zhang, Mengqi Chen, Ryan Jennings, Ang Chen, Danyang Zhuo, Tom Anderson
Abstract: High development velocity is critical for modern systems. This is especially true for Linux file systems which are seeing increased pressure from new storage devices and new demands on storage systems. However, high velocity… ▽ More
Submitted 8 February, 2021; v1 submitted 19 May, 2020; originally announced May 2020.
Comments: 14 pages, 6 figures, to be published in FAST 2021

11

https://arxiv.org/pdf/1909.06344 [pdf, other] cs.NI cs.PL
The Case for Writing Network Drivers in High-Level Programming Languages
Authors: Paul Emmerich, Simon Ellmann, Fabian Bonk, Alex Egger, Esaú García Sánchez-Torija, Thomas Günzel, Sebastian Di Luzio, Alexandru Obada, Maximilian Stadlmeier, Sebastian Voit, Georg Carle
Abstract: Drivers are written in C or restricted subsets of C++ on all production-grade server, desktop, and mobile operating systems. They account for 66% of the code in Linux, but 39 out of 40 security bugs related to memory safety found in… ▽ More
Submitted 13 September, 2019; originally announced September 2019.
Journal ref: ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS 2019), 2019

12

https://arxiv.org/pdf/1812.05787 [pdf, ps, other] astro-ph.IM
An introduction to FITSWebQL
Authors: C. Zapart, Y. Shirasaki, M. Ohishi, Y. Mizumoto, W. Kawasaki, T. Kobayashi, G. Kosugi, E. Morita, A. Yoshino, S. Eguchi
Abstract: …data from other telescopes, for example Nobeyama NRO45M in Japan. The updated server software has been renamed FITSWebQL. In addition, a standalone desktop version supporting Linux, macOS and Windows 10… ▽ More
Submitted 14 December, 2018; originally announced December 2018.
Comments: Proceedings of ADASS2018