Rust Search
Find the best content on Rust, curated by the community; a
search engine for Rustaceans.
Title:Refinement Proofs in Rust Using Ghost Locks View PDF Abstract:Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete imple...
Title:Functional Ownership through Fractional Uniqueness View PDF Abstract: Ownership and borrowing systems, designed to enforce safe memory management without the need for garbage collection, have been brought to the fore by the Rust progr...
View PDF HTML (experimental) Abstract:The Rust programming language is becoming increasingly popular among systems programmers due to its efficient performance and robust memory safety guarantees. Rust employs an ownership model to ensure t...
This paper has been withdrawn by Jie Zhou No PDF available, click to view other formats Abstract:Rust is one of the most promising systems programming languages to fundamentally solve the memory safety issues that have plagued low-level sof...
Title:Debugging Trait Errors as Logic Programs View PDF Abstract:Rust uses traits to define units of shared behavior. Trait constraints build up an implicit set of first-order hereditary Harrop clauses which is executed by a powerful logic...
Title:REVIS: An Error Visualization Tool for Rust View PDF Abstract:Rust is a programming language that uses a concept of ownership to guarantee memory safety without the use of a garbage collector. However, some error messages related to o...
View PDF Abstract:In many programming languages there exist countless nuances, making developers accidentally release new versions of their packages that are not backwards-compatible. Such releases can directly impact projects which are usi...
Title:Fixing Rust Compilation Errors using LLMs View PDF Abstract:The Rust programming language, with its safety guarantees, has established itself as a viable choice for low-level systems programming language over the traditional, unsafe a...
View PDF HTML (experimental) Abstract:Rust is a popular memory-safe systems programming language. In order to interact with hardware or call into non-Rust libraries, Rust provides \emph{unsafe} language features that shift responsibility fo...
View PDF Abstract:Kernel task scheduling is important for application performance, adaptability to new hardware, and complex user requirements. However, developing, testing, and debugging new scheduling algorithms in Linux, the most widely...
Bibliographic Tools Bibliographic and Citation Tools Bibliographic Explorer Toggle Connected Papers Toggle Litmaps Toggle scite.ai Toggle Code, Data, Media Code, Data and Media Associated with this Article alphaXiv Toggle Links to Code Togg...
View PDF Abstract:Rust is a modern systems programming language whose type system guarantees memory safety. For the sake of expressivity and performance it allows programmers to relax typing rules temporarily, using unsafe code blocks. Howe...
Title:Static Information Flow Control Made Simpler View PDF Abstract:Static information flow control (IFC) systems provide the ability to restrict data flows within a program, enabling vulnerable functionality or confidential data to be sta...
View PDF Abstract:Memory-safety bugs introduce critical software-security issues. Rust provides memory-safe mechanisms to avoid memory-safety bugs in programming, while still allowing unsafe escape hatches via unsafe code. However, the unsa...
Title:Flux: Liquid Types for Rust View PDF Abstract:We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating...
View PDF Abstract:We present Aeneas, a new verification toolchain for Rust programs based on a lightweight functional translation. We leverage Rust's rich region-based type system to eliminate memory reasoning for many Rust programs, as lon...
Authors:Gianluca Scopelliti (1 and 2), Sepideh Pouyanrad (2), Job Noorman (2), Fritz Alder (2), Christoph Baumann (1), Frank Piessens (2), Jan Tobias Mühlberg (2 and 3) ((1) Ericsson AB, Sweden, (2) KU Leuven, Belgium, (3) Université Libre...
View PDF Abstract:The Rust programming language has garnered significant interest and use as a modern, type-safe, memory-safe, and potentially formally analyzable programming language. Our interest in Rust stems from its potential as a hard...
This paper has been withdrawn by Ruofei Chen No PDF available, click to view other formats Abstract:\emph{Session types} have proved viable in expressing and verifying the protocols of message-passing systems. While message passing is a dom...
View PDF Abstract:Open-source software (OSS) is widely spread in industry, research, and government. OSS represents an effective development model because it harnesses the decentralized efforts of many developers in a way that scales. As OS...
"I still get excited about programming languages. But these days, it's not so much because of what they let me do, but rather what they don't let me do..."