Signin

Tree Borrows: An aliasing model for Rust

Rust Formal Methods IG • September 10, 2023
Video Thumbnail

You May Also Like

Video Thumbnail

Crust of Rust: Lifetime Annotations

Jon Gjengset

Video Thumbnail

RFMIG: CreuSAT, a verified SAT solver

Rust Formal Methods IG

Video Thumbnail

Stacked Borrows - An Aliasing Model for Rust

ACM SIGPLAN

Video Thumbnail

Verus -- SMT-based verification of Rust systems code

Rust Formal Methods IG

Video Thumbnail

Unsafe Rust is not C

Jack O'Connor

Video Thumbnail

10x faster - taking charge of the compiler backend - Folkert de Vries - Oct 26, 2023

Rust Nederland (RustNL)

Video Thumbnail

Gillian Rust: A hybrid approach to unsafe Rust verification

Rust Formal Methods IG

Video Thumbnail

Unsafe Rust and Miri by Ralf Jung - Rust Zürisee June 2023

Rust

Video Thumbnail

Terence Tao at IMO 2024: AI and Mathematics

AIMO Prize

Video Thumbnail

Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice

Rust Formal Methods IG

Video Thumbnail

Carl Kadie - 9 Rules for Creating (...) Data Structures - Rust Linz

Rust

Video Thumbnail

Writing My Own Database From Scratch

Tony Saro

Video Thumbnail

All Rust string types explained

Let's Get Rusty

Video Thumbnail

Rust NYC: Jon Gjengset - Demystifying unsafe code

Rust

Video Thumbnail

C++ vs Rust: which is faster?

fasterthanlime

Video Thumbnail

Verifying a Concurrent Memory Allocator with Verus

Rust Formal Methods IG

Video Thumbnail

The Tragedy of systemd

linux.conf.au

Video Thumbnail

Debugging SMT issues: Axiom Profiler 2.0

Rust Formal Methods IG

Video Thumbnail

MiniRust: An operational semantics for Rust

Rust Formal Methods IG

Video Thumbnail

Compilers, How They Work, And Writing Them From Scratch

Adam McDaniel

Rust Formal Methods IG

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

RefinedRust

Rust Formal Methods IG

Video Thumbnail

RFMIG: CreuSAT, a verified SAT solver

Rust Formal Methods IG

Video Thumbnail

Verus -- SMT-based verification of Rust systems code

Rust Formal Methods IG

Video Thumbnail

Gillian Rust: A hybrid approach to unsafe Rust verification

Rust Formal Methods IG

AI Assistant

Loading...