One Year with Rust: I wrote a full featured application in rust, and so can you

I wrote a full featured application in rust, and so can you! Read more

Similar

Flux: Liquid Types for Rust [pdf]

We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating programs. First, we design a novel refined type system for Rust tha... (more…)

Read more »