The Rust Programming Language

Rust is a new systems language, initially developed at Mozilla, and rapidly approaching its 1.0 release. The goal of the language is to combine safety and control. In particular, Rust guarantees memory and type safety, but does not require a garbage collector, and provides for the kind of zero cost abstractions found in languages like C++.

This talk will focus on the core concepts that make Rust work: ownership and borrowing. It will show how these concepts are applied to combine safety and control for sequential programming. It will also go into some detail on how the same techniques apply to concurrent programming, in particular guaranteeing freedom from data races.