Rust is a new programming language for performance-critical systems software, e.g. operating system kernels, hypervisors, databases, and web servers [1][2]. As with other systems programming languages (e.g. C/C++), Rust provides low-level control over hardware resources (e.g. memory layout and allocation). In contrast to C/C++, Rust’s strict compiler checks help prevent common programming errors, reducing the … full description “Linux Kernel Driver Development in Rust (available)”
Tag: Rust
Verifying real-world concurrent Rust crates (available)
Rust is a popular systems programming language which enforces memory and thread safety through compile-time safety checks [1]. While these constraints effectively prevent data races in safe Rust code, verification of concurrent Rust programs remains an ongoing challenge. Concurrency bugs may occur for a number of reasons, including atomicity violations, “unsafe” Rust code and interactions … full description “Verifying real-world concurrent Rust crates (available)”