A Aralex Aachen research explorer

October 15, 2024 conference-paper Open access

Rusty Linux: Advances in Rust for Linux Kernel Development

ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)

DOI: 10.1145/3674805.3690756 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 6

References 2

Intra-unikernel isolation with Intel memory protection keys
2020 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE) conference-paper Computer Science Security and Verification in Computing

56

citations
On the Challenge of Sound Code for Operating Systems
2023 Workshop on Programming Languages and Operating Systems (PLOS) conference-paper Computer Science Logic, programming, and type systems Open access

2

citations

2 results