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.
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.
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.
Polonius - Rust's Next-Generation Borrow Checker
Explore Polonius, a cutting-edge borrow checker for Rust, enhancing memory safety and performance in systems programming.
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.
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.
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.
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.
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.
Verifying That Rust Programs Don't Crash
Learn techniques to ensure Rust programs are crash-free, enhancing code reliability and performance through advanced verification methods.
Towards Automatic Verification of Unsafe Rust with Constrained Horn Solvers
Explore automatic verification techniques for unsafe Rust code using constrained Horn solvers, enhancing program safety and reliability.
Rust and Tell - April 2021
Explore Rust's program verification, distributed networks, and microservices through expert presentations on Creusot, open-source networks, and Cropping.Rocks implementation.
Learning Rust with Game Development - Flappy Dragon Tutorial
Explore Rust programming through game development, focusing on creating a simple Flappy Dragon game. Learn language basics and gain insights from an experienced developer's journey with Rust.
Leveraging Rust to Build Cross-Platform Libraries
Explore how Mozilla leverages Rust to build cross-platform libraries, focusing on telemetry for mobile and desktop applications. Learn about reusability and integration across Android, iOS, and Desktop platforms.
A-Mir-Formality Walkthrough: Implementing Copy Trait Rules - 2022-04-20
Explore the implementation of built-in rules for the `Copy` trait in A-Mir-Formality, enhancing your understanding of Rust's type system and trait mechanics.
Psychology of Programming: Approaches to Evaluating Proposed Changes in Rust - 2022
Explore psychological aspects of programming and decision-making processes in Rust language development with insights from Felienne Hermans.
Nightgraph - Putting Code to Paper with Rust
Explore Nightgraph, a Rust-based creative coding environment for interactive sketching, featuring minimal boilerplate and efficient tools for digital art and plotter-ready designs.
MindBuffer and Nannou - Creating Large-Scale Art Installations with Rust
Explore the creation of nannou and its use in large-scale art installations by MindBuffer. Learn about creative coding, Rust's role, and open-source projects in digital art.
Introduction to WAGI - Rust Linz
Explore WAGI, an experimental project for writing HTTP handlers as WebAssembly binaries, with architectural insights and Rust sample code from experienced developers Stefan and Rainer.
Rust, Kubernetes, and the Cloud - Leveraging Rust for Azure and Kubernetes
Explore Rust's potential in cloud computing with Azure and Kubernetes. Learn how Rust simplifies code, enhances safety, and integrates seamlessly with cloud technologies through practical demonstrations.
The Rusting Cloud - Implementing Kubernetes in Rust
Explore Krustlet, a Rust-based Kubernetes Kubelet for WASM modules. Learn about Rust's advantages in cloud software development and its comparison to Go, with insights from real-world implementation.