Oopsla23 Verus Verifying Rust Programs

Media Summary: A Grounded Conceptual Model for Ownership Types in In this video, I'll explain why you should stop using object-oriented programming in Follow me on Mastodon: Support me on Patreon

Oopsla23 Verus Verifying Rust Programs - Detailed Analysis & Overview

A Grounded Conceptual Model for Ownership Types in In this video, I'll explain why you should stop using object-oriented programming in Follow me on Mastodon: Support me on Patreon

Photo Gallery

[OOPSLA23] Verus: Verifying Rust Programs using Linear Ghost Types

Verus - Verified Rust for low-level systems code by Andrea Lattuada - Rust Zürisee June 2023

Verus -- SMT-based verification of Rust systems code

Verifying a Concurrent Memory Allocator with Verus

Verifying that Rust programs don't crash

[OOPSLA23] A Grounded Conceptual Model for Ownership Types in Rust

Rustv: Semi-automatic Verification of Unsafe Rust Programs

Rust in 100 Seconds

[OOPSLA23] A Deductive Verification Infrastructure for Probabilistic Programs

Testing in Rust

Rust for Dummies in 12 Minutes

Stop Using Object Oriented Programming In Rust (Do This Instead)

View Detailed Profile

[OOPSLA23] Verus: Verifying Rust Programs using Linear Ghost Types

[OOPSLA23] Verus: Verifying Rust Programs using Linear Ghost Types

Verus

Verus - Verified Rust for low-level systems code by Andrea Lattuada - Rust Zürisee June 2023

Verus - Verified Rust for low-level systems code by Andrea Lattuada - Rust Zürisee June 2023

Rust

Verus -- SMT-based verification of Rust systems code

Verus -- SMT-based verification of Rust systems code

Abstract: We are building

Verifying a Concurrent Memory Allocator with Verus

Verifying a Concurrent Memory Allocator with Verus

[1] https://github.com/

Verifying that Rust programs don't crash

Verifying that Rust programs don't crash

Herman Venter.

[OOPSLA23] A Grounded Conceptual Model for Ownership Types in Rust

[OOPSLA23] A Grounded Conceptual Model for Ownership Types in Rust

A Grounded Conceptual Model for Ownership Types in

Rustv: Semi-automatic Verification of Unsafe Rust Programs

Rustv: Semi-automatic Verification of Unsafe Rust Programs

Yulu Pan and Yuichi Nishiwaki.

Rust in 100 Seconds

Rust in 100 Seconds

Rust

[OOPSLA23] A Deductive Verification Infrastructure for Probabilistic Programs

[OOPSLA23] A Deductive Verification Infrastructure for Probabilistic Programs

A Deductive

Testing in Rust

Testing in Rust

Join our

Rust for Dummies in 12 Minutes

Rust for Dummies in 12 Minutes

Join our

Stop Using Object Oriented Programming In Rust (Do This Instead)

Stop Using Object Oriented Programming In Rust (Do This Instead)

In this video, I'll explain why you should stop using object-oriented programming in

C++ vs Rust: which is faster?

C++ vs Rust: which is faster?

Follow me on Mastodon: https://hachyderm.io/@fasterthanlime Support me on Patreon