3 papers
cs.PL2026
UnsafeChecker: Finding Soundness Bugs in Rust Safe Abstractions
Xizhe Yin, Yaokun Zhang, Yang Feng +1
Rust guarantees memory safety without garbage collection through a strict ownership and borrowing system. However, for low-level systems programming, many widely used libraries rel…
cs.SE2025
PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
Yuxuan Dai, Yang Feng
The pinning APIs of Rust language guarantee memory location stability for self-referential and asynchronous constructs, as long as used according to the pinning API contract. Rust…
cs.PL2025
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
Zixi Liu, Yang Feng, Yunbo Ni +5
Rust is gaining popularity for its well-known memory safety guarantees and high performance, distinguishing it from C/C++ and JVM-based languages. Its compiler, rustc, enforces the…