Share:
  • Title:MiniRust: An operational semantics for Rust
  • Duration: 57:22
  • Plays: 1.9K views
  • Published: 2 years ago
Download MP3
Download MP4


Simillar Videos

March Session -- Kani▶️ 53:18
March Session -- Kani 1.9K views • 2 years ago
Contracts, Revisited▶️ 58:58
Contracts, Revisited 1.9K views • 1 month ago
Towards Sound `unsafe` Rust▶️ 1:04:20
Towards Sound `unsafe` Rust 1.9K views • 2 weeks ago
Gillian Rust: A hybrid approach to unsafe Rust verification▶️ 55:21
Gillian Rust: A Hybrid Approach To Unsafe Rust Verification 1.9K views • 7 months ago
Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice▶️ 58:21
Modernizing Verified Crypto With Rust: Introducing Hacl-rust And Eurydice 1.9K views • 10 months ago