u/pjmlpin r/rust • Recommends
On “Fil-C: Garbage In, Memory Safety Out! - Filip Pizlo | SSW 2026”
From EuroLLVM 2026 conference, CHERI or Rust.
0:00 / 0:00
- Recommended by 1 person: 1 in engineering communities.
- Presented by Edoardo Marangoni
- Linked in the descriptionSlides on llvm.org
Advanced. Deep dive for people who know the field.
375 views4 months ago1 recommendation
Systems programmingSecurityRustMemory managementCompilers and interpreters
Edoardo Marangoni explains how Rust and CHERI complement each other by combining compile-time safety with hardware-enforced runtime safety for unsafe code.
2026 EuroLLVM - Rust or CHERI? 2026 EuroLLVM Developers' Meeting llvm.org/devmtg/2026-04/ ------ Title: Rust or CHERI? Speaker: Edoardo Marangoni ------ Slides: llvm.org/devmtg/2026-04/slides/technical_talk/technical_talk… ----- CHERI and Rust may, at first, appear as two mutually exclusive and clashing philosophies that want to solve the same problems. We claim that it is the opposite: Rust and CHERI (and CHERIoT, in particular) are complementary and work best when used together, as Rust provides compile-time guarantees for safe code whereas CHERI provides runtime guarantees for every fragment of unsafe code. In this talk we will show evidence to back our claim, present recent work to bring production-quality Rust support to CHERIoT leveraging the maturity of the CHERIoT port of LLVM and Rust's strict provenance model (which aligns naturally with CHERI's capabilities) and discuss our plans to engage with the Rust and LLVM communities. ----- Videos Edited by Bash Films: BashFilms.comWhy it's here
1 person recommends thisWhat people say. Recommended as a talk from EuroLLVM 2026 exploring the synergy between Rust's compile-time safety and CHERI's hardware-enforced runtime safety.