Rust Courses

Rustberry Pi: Baby Steps in Embedded Rust - Lecture, September 2022

1 rating

Explore embedded Rust on Raspberry Pi: control GPIOs, create circuits, and build interactive projects. Perfect for beginners curious about physical computing and hardware interaction.

• YouTube
• 50 minutes
• Self-Paced
• Free Video

Rust for Medical Visualization - May 2021

Explore Rust's potential for medical visualization, covering real-time graphics, cross-platform development, and future web technologies like WebGPU and WebAssembly SIMD.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

Creative Coding in Rust - Generative Art and Playful Programming

Explore creative coding in Rust using algorithms and the nannou library. Learn to generate digital art, add interactivity, and create playful programs beyond problem-solving.

• YouTube
• 49 minutes
• Self-Paced
• Free Video

Rust and Tell - May 2021: Traits, Error Handling, and Cryptocurrency Exchange Development

Explore Rust programming with expert talks on beginner-friendly traits, error handling techniques, and building a cryptocurrency derivative exchange using Rust.

• YouTube
• 1 hour 15 minutes
• Self-Paced
• Free Video

Trait Evaluation Caching in Rust - PR #85186

Explore trait evaluation caching in Rust with Niko and Jack Huey as they explain PR #85186, diving into the intricacies of this performance optimization technique.

• YouTube
• 1 hour 9 minutes
• Self-Paced
• Free Video

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification

Explore multi-language verification using compiler intermediate representation, focusing on SMAC verifier, Boogie, and Rust support. Learn about tradeoffs and ongoing developments.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

Symbolic Testing for Rust with crux-mir

Explore symbolic testing in Rust with crux-mir, covering features, architecture, memory model, generics, unsafe code, and Cargo integration.

• YouTube
• 42 minutes
• Self-Paced
• Free Video

Ferrite: A Rust EDSL for Message-passing Protocol Verification

Explore an embedded domain-specific language in Rust for verifying message-passing protocols, enhancing communication system reliability and correctness.

• YouTube
• 29 minutes
• Self-Paced
• Free Video

Prusti - Deductive Verification for Rust

Explore deductive verification techniques for Rust programs using Prusti, enhancing code reliability and correctness through formal methods.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

Polonius - Rust's Next-Generation Borrow Checker

Explore Polonius, a cutting-edge borrow checker for Rust, enhancing memory safety and performance in systems programming.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

Peeking at Compiler-Internal Data for Fun and Profit

Explore compiler internals to gain insights and optimize code performance, with a focus on Rust's compilation process.

• YouTube
• 30 minutes
• Self-Paced
• Free Video

Rust in Safety and Mission-Critical Environments

Explore Rust's potential in safety- and mission-critical environments, focusing on specification needs, trust levels, and the language's unique strengths.

• YouTube
• 16 minutes
• Self-Paced
• Free Video

Creusot: A Prototype Tool for Verification of Rust Software

Explore Creusot, a prototype tool for verifying Rust software, covering translation, program logic, prophetic values, and ongoing developments in software verification.

• YouTube
• 24 minutes
• Self-Paced
• Free Video

Rustv: Semi-automatic Verification of Unsafe Rust Programs

Explore semi-automatic verification of unsafe Rust programs, focusing on adapting seL4's approach, translating to Isabelle/Simpl, and formalizing safety conditions.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

RustBelt: A Quick Dive Into the Abyss - Formalizing Rust's Safety Story

Explore Rust's safety mechanisms, type system, and semantic interpretations. Dive into lifetime logic, sharing predicates, and Coq implementations of Cell operations.

• YouTube
• 30 minutes
• Self-Paced
• Free Video