Embedded software is used in safety-critical systems such as medical devices and
autonomous vehicles, where software defects, including security vulnerabilities, have severe …

Safe system programming is often a crucial requirement due to its critical role in system
software engineering. Conventional low-level programming languages such as C and …

Rust is an emerging programming language that aims at preventing memory-safety bugs
without sacrificing much efficiency. The claimed property is very attractive to developers, and …

This paper conducted a novel study to explore the capabilities of ChatGPT, a state-of-the-art
LLM, in static analysis tasks such as static bug detection and false positive warning removal …

Modern software development still struggles with memory safety issues as a significant
source of security bugs. The Rust programming language addresses memory safety and …

Rust is an emerging, strongly-typed programming language focusing on efficiency and
memory safety. With increasing projects adopting Rust, knowing how to use Unsafe Rust is …

Translating legacy system programs from C to Rust is a promising way to enhance their
reliability. To alleviate the burden of manual translation, automatic C-to-Rust translation is …

Rust is a rapidly growing system programming language that ensures a speed comparable
to traditional C/C++ system programming languages, along with the additional benefit of …

Rust libraries are ubiquitous in Rust-based software development. Guaranteeing their
correctness and reliability requires thorough analysis and testing. Fuzzing is a popular bug …

The Rust programming language is becoming increasingly popular among systems
programmers due to its efficient performance and robust memory safety guarantees. Rust …