Stacked Borrows an Aliasing Model for Rust (POPL 2020)

Paper
Technical Appendix
Coq Formalization
Artifact (with VM)
Read more

Similar

Rust is not a good C replacement

I have a saying that summarizes my opinion of Rust compared to Go: “Go is the result of C programmers designing a new programming language, and Rust is the result of C++ programmers designing a new programming language”. This isn’t just a metaphor - Go wa... (more…)

Read more »

How to Use Diesel ORM in Rust

Diesel is a framework for Object Relational Mapping and Query Building. It’s goal is to get rid of alot of boilerplate code usually needed for interacting with a database. It should feel like Rust, so that the developer does not need to write SQL and inst... (more…)

Read more »