Search Results - Rust (Computer program language)

Rust Quick Start Guide: The Easiest Way to Learn Rust Programming by Arbuckle, Daniel

“…Rust is an emerging programming language applicable to areas such as embedded programming, network programming, system programming, and web development…”
Get full text

Practical WebAssembly: Explore the fundamentals of WebAssembly programming using Rust by Nellaiyapen, Sendil Kumar

“…Understand the basic building blocks of WebAssembly and learn, install, and use various tools from the Rust and WebAssembly ecosystem Key Features Understand the Rust programming language…”
Get full text

Rust Web Development with Rocket: A practical guide to starting your journey in Rust web development using the Rocket framework by Murti, Karuna

“…Explore the world of Rocket-fueled web application development and the power of the Rust programming language Key Features Discover solutions to the common problems faced while creating web…”
Get full text

Hands-On Concurrency with Rust: Confidently Build Memory-Safe, Parallel, and Efficient Software in Rust by L. Troutwine, Brian

“…Writing safe and correct parallel programs is tough. Reasoning about concurrent memory modification is tough…”
Get full text

Rust Web Development With Rocket: A Practical Guide to Building Your Own Web Applications Using Rust and the Rocket Framework by Karuna Murti, Murti

“…Explore the world of Rocket-fueled web application development and the power of the Rust programming languageKey FeaturesDiscover solutions to the common problems faced while creating web applications…”
Get full text

The the Complete Rust Programming Reference Guide: Design, Develop, and Deploy Effective Software Systems Using the Advanced Constructs of Rust by Sharma, Rahul, Kaihlavirta, Vesa, Matzinger, Claus

“…This Learning Path is your easy reference to mastering Rust programming. It begins with an introduction to Rust data structures and algorithms and covers…”
Get full text

Hands-on Rust by Wolverson, Herbert

“…Rust is an exciting new programming language combining the power of C with memory safety, fearless concurrency, and productivity boosters - and what better way to learn than by making games…”
Get full text

Hands-On Concurrency with Rust by Brian L. Troutwine

“… with Rust.What this Book will help me doUnderstand and optimize the performance of Rust programs on modern…”
Get full text

Hands-On Functional Programming in Rust by Andrew Johnson

“…"Hands-On Functional Programming in Rust" helps you harness the power of functional programming principles in the advanced programming language Rust…”
Get full text

Time Series Indexing: Implement iSAX in Python to index time series with confidence by Tsoukalos, Mihalis

“…Build and use the most popular time series index available today with Python to search and join time series at the subsequence level Purchase of the print or…”
Get full text

RustBelt: securing the foundations of the Rust programming language by Jung, Ralf, Jourdan, Jacques-Henri, Krebbers, Robbert, Dreyer, Derek

“…Rust is a new systems programming language that promises to overcome the seemingly fundamental tradeoff between high-level safety guarantees and low-level control over resource management…”
Get full text

Hands-On Functional Programming in Rust: Build Modular and Reactive Applications with Functional Programming Techniques in Rust 2018 by Johnson, Andrew

“…Functional programming allows developers to divide programs into smaller, reusable components that ease the creation and maintenance of software as a whole…”
Get full text

rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust by Cui, Mohan, Xu, Hui, Tian, Hongliang, Zhou, Yangfan

“…Rust is an effective system programming language that guarantees memory safety via compile-time verifications…”
Get full text

SBD: Securing safe rust automatically from unsafe rust by Li, Shaowen, Sato, Hiroyuiki

“… Programming languages designed for this type of task provide little abstraction of the underlying hardware…”
Get full text

C2SaferRust: Transforming C Projects Into Safer Rust With NeuroSymbolic Techniques by Nitin, Vikram, Krishna, Rahul, Valle, Luiz Lemos do, Ray, Baishakhi

“…, makes extensive use of unsafe Rust, a subset of the language that doesn't have memory or thread safety guarantees…”
Get full text

Securing UnSafe Rust Programs with XRust by Liu, Peiming, Zhao, Gang, Huang, Jeff

“…Rust is a promising systems programming language that embraces both high-level memory safety and low-level resource manipulation…”
Get full text

VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models by Yang, Aidan Z.H., Takashima, Yoshiki, Paulsen, Brandon, Dodds, Josiah, Kroening, Daniel

“…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…”
Get full text

Type-migrating C-to-Rust translation using a large language model by Hong, Jaemin, Ryu, Sukyoung

“…Rust, a modern system programming language, introduces new types that prevent memory bugs and data races…”
Get full text

Verus: Verifying Rust Programs using Linear Ghost Types by Lattuada, Andrea, Hance, Travis, Cho, Chanhee, Brun, Matthias, Subasinghe, Isitha, Zhou, Yi, Howell, Jon, Parno, Bryan, Hawblitzel, Chris

“… This paper presents Verus, an SMT-based tool for formally verifying Rust programs. With Verus, programmers express proofs and specifications using the Rust language, allowing proofs to take advantage of Rust's linear types and borrow checking…”
Get full text

Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs by Gao, Hongyan, Yang, Yibiao, Sun, Maolin, Wu, Jiangchang, Zhou, Yuming, Xu, Baowen

“… However, generating valid test programs for the Rust compiler poses significant challenges, given Rust's complex syntax and strict requirements…”
Get full text