Cover Image

Rusty Linux: Advances in Rust for Linux Kernel Development

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Panter, Shane K., Eisty, Nasir U.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Operating Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CrashFixer: A crash resolution agent for the Linux kernel
by: Mathai, Alex, et al.
Published: (2025)

MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions
by: Dang, Pucheng, et al.
Published: (2025)

MALTA: Maintenance-Aware Technical Lag, Estimation to Address Software Abandonment
by: Panter, Shane K., et al.
Published: (2026)

Technical Lag as Latent Technical Debt: A Rapid Review
by: Panter, Shane K., et al.
Published: (2026)

The eBPF Runtime in the Linux Kernel
by: Gbadamosi, Bolaji, et al.
Published: (2024)

PVAC: Package Version Activity Categorizer, Leveraging Semantic Versioning in a Heterogeneous System
by: Panter, Shane K., et al.
Published: (2024)

Empowering WebAssembly with Thin Kernel Interfaces
by: Ramesh, Arjun, et al.
Published: (2023)

Concurrency Testing in the Linux Kernel via eBPF
by: Xu, Jiacheng, et al.
Published: (2025)

AgentSight: System-Level Observability for AI Agents Using eBPF
by: Zheng, Yusheng, et al.
Published: (2025)

BYOS: Knowledge-driven Large Language Models Bring Your Own Operating System More Excellent
by: Lin, Hongyu, et al.
Published: (2025)

Shedding Light onto Safety Integrity Level and Basic Software Constraints in a Real-World Automotive Application: Case Study with Driverator Framework
by: Denzinger, Tobias, et al.
Published: (2026)

Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC
by: Liu, Qingyuan, et al.
Published: (2025)

Playing in the Sandbox: A Study on the Usability of Seccomp
by: Alhindi, Maysara, et al.
Published: (2025)

DeLog: An Efficient Log Compression Framework with Pattern Signature Synthesis
by: Yu, Siyu, et al.
Published: (2026)

Symbol Resolution MatRs: Make it Fast and Observable with Stable Linking
by: Zakaria, Farid, et al.
Published: (2025)

Proto: A Guided Journey through Modern OS Construction
by: Choe, Wonkyo, et al.
Published: (2025)

Towards Online Code Specialization of Systems
by: Anand, Vaastav, et al.
Published: (2025)

Bomfather: An eBPF-based Kernel-level Monitoring Framework for Accurate Identification of Unknown, Unused, and Dynamically Loaded Dependencies in Modern Software Supply Chains
by: Srinivasan, Naveen, et al.
Published: (2025)

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
by: Peng, Yuke, et al.
Published: (2025)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
by: Yang, Chenyuan, et al.
Published: (2025)

A Practical-Driven Framework for Transitioning Drive-by-Wire to Autonomous Driving Systems: A Case Study with a Chrysler Pacifica Hybrid Vehicle
by: Zhang, Dada, et al.
Published: (2024)

sqlelf: a SQL-centric Approach to ELF Analysis
by: Zakaria, Farid, et al.
Published: (2024)

Exploring the Advances in Using Machine Learning to Identify Technical Debt and Self-Admitted Technical Debt
by: Melin, Eric L., et al.
Published: (2024)

A Time Series Analysis of Assertions in the Linux Kernel
by: Ruohonen, Jukka
Published: (2024)

Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel
by: Lyu, Yunbo, et al.
Published: (2023)

Scaling Inter-procedural Dataflow Analysis on the Cloud
by: Sun, Zewen, et al.
Published: (2024)

AIOps Solutions for Incident Management: Technical Guidelines and A Comprehensive Literature Review
by: Remil, Youcef, et al.
Published: (2024)

SyzRetrospector: A Large-Scale Retrospective Study of Syzbot
by: Bursey, Joseph, et al.
Published: (2024)

It's Not the Size: Harness Design Determines Operational Stability in Small Language Models
by: Cho, Yong-eun
Published: (2026)

Compiling Away the Overhead of Race Detection
by: Paznikov, Alexey, et al.
Published: (2025)

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
by: Gu, Yile, et al.
Published: (2025)

Configuration Validation with Large Language Models
by: Lian, Xinyu, et al.
Published: (2023)

Designing Robust API Monitoring Solutions
by: D'Elia, Daniele Cono, et al.
Published: (2020)

Testing Access-Control Configuration Changes for Web Applications
by: Xiang, Chengcheng, et al.
Published: (2025)

The Missing Memory Hierarchy: Demand Paging for LLM Context Windows
by: Mason, Tony
Published: (2026)

A Survey of Fuzzing Open-Source Operating Systems
by: Hu, Kun, et al.
Published: (2025)

Threadbox: Sandboxing for Modular Security
by: Alhindi, Maysara, et al.
Published: (2025)

Beyond Crash-to-Patch: Patch Evolution for Linux Kernel Repair
by: Bai, Luyao, et al.
Published: (2026)

Characterizing and Mitigating False-Positive Bug Reports in the Linux Kernel
by: Tian, Jiashuo, et al.
Published: (2026)

Understanding Emojis :) in Useful Code Review Comments
by: Ahmed, Sharif, et al.
Published: (2024)