Rust Search
Find the best content on Rust, curated by the community; a
search engine for Rustaceans.
View PDF HTML (experimental) Abstract:GNU core utilities (coreutils) is a crucial package in modern UNIX systems. It comprises around 100 fundamental commands---like ls, cp, and cat---which run every day on millions of computers. However, G...
Juan Conejero Palina Tolmach Runtime Verification, Inc. {nat.klaus, juan.conejero, palina.tolmach}@runtimeverification.com (May 2026) Abstract We describe a verification pipeline that takes production Rust cryptographic code and produces ma...
Title:Fearless Concurrency on the GPU View PDF HTML (experimental) Abstract:Rust has made safe systems programming practical on the CPU, but writing custom GPU kernels in Rust still forces programmers outside the language's ownership guaran...
Title:Auditing Rust Crates Effectively View PDF HTML (experimental) Abstract:We introduce Cargo Scan, the first interactive program analysis tool designed to help developers audit third-party Rust code. Real systems written in Rust rely on...
View PDF HTML (experimental) Abstract:C/C++ is a prevalent programming language. Yet, it suffers from significant memory and thread-safety issues. Recent studies have explored automated translation of C/C++ to safer languages, such as Rust....
Title:Securing Mixed Rust with Hardware Capabilities View PDF Abstract:The Rust programming language enforces three basic Rust principles, namely ownership, borrowing, and AXM (Aliasing Xor Mutability) to prevent security bugs such as memor...
Authors:Yuke Peng, Hongliang Tian, Zhang Junyang, Ruihan Li, Chengjun Chen, Jianfeng Jiang, Jinyi Xian, Xiaolin Wang, Chenren Xu, Diyu Zhou, Yingwei Luo, Shoumeng Yan, Yinqian Zhang View PDF HTML (experimental) Abstract:How can one build a...
View PDF HTML (experimental) Abstract:The increasing popularity of the Rust programming language in building robotic applications using the Robot Operating System (ROS 2) raises questions about its real-time execution capabilities, particul...
Title:Compiling C to Safe Rust, Formalized View PDF Abstract:The popularity of the Rust language continues to explode; yet, many critical codebases remain authored in C, and cannot be realistically rewritten by hand. Automatically translati...
Title:Charon: An Analysis Framework for Rust View PDF HTML (experimental) Abstract:With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs....
View PDF HTML (experimental) Abstract:We present Crux, a cross-language verification tool for Rust and C/LLVM. Crux targets bounded, intricate pieces of code that are difficult for humans to get right: for example, cryptographic modules and...
Title:Towards Modified Condition/Decision Coverage of Rust View PDF HTML (experimental) Abstract:Testing is an essential tool to assure software, especially so in safety-critical applications. To quantify how thoroughly a software item has...
Title:Bringing Rust to Safety-Critical Systems in Space View PDF HTML (experimental) Abstract:The development of safety-critical aerospace systems is traditionally dominated by the C language. Its language characteristics make it trivial to...
View PDF HTML (experimental) Abstract:This work introduces a new approach to building crash-safe file systems for persistent memory. We exploit the fact that Rust's typestate pattern allows compile-time enforcement of a specific order of op...
View PDF Abstract:Developers rely on open-source packages and must review dependencies to safeguard against vulnerable or malicious upstream code. A careful review of all dependencies changes often does not occur in practice. Therefore, dev...
View PDF HTML (experimental) Abstract:Rust is a programming language that combines memory safety and low-level control, providing C-like performance while guaranteeing the absence of undefined behaviors by default. Rust's growing popularity...
View PDF HTML (experimental) Abstract:Developers rely on the static safety guarantees of the Rust programming language to write secure and performant applications. However, Rust is frequently used to interoperate with other languages which...
View PDF HTML (experimental) Abstract:The Rust programming language restricts aliasing to provide static safety guarantees. However, in certain situations, developers need to bypass these guarantees by using a set of unsafe features. If the...
View PDF Abstract:The Rust programming language continues to rise in popularity, and as such, warrants the close attention of the programming languages community. In this work, we present a new foundational contribution towards the theoreti...
Title:Profiling Programming Language Learning View PDF HTML (experimental) Abstract:This paper documents a year-long experiment to "profile" the process of learning a programming language: gathering data to understand what makes a language...
"Don't come empty-handed to a project saying "this could be rewritten in Rust". It's obnoxious and gives the rust community a bad name.
Do start the pr..."