The Rust Programming Language

Aaron Turon
Mozilla Research

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.

Slides:

Download the slides for this talk in PDF format.

Videos:

• Join the live presentation. Wednesday March 11, 4:15-5:30.  Requires Microsoft Windows Media player.
• View video by lecture sequence. Winter 2015 only, HTML5. Available after 8PM on the days of the lecture.
• View Video on YouTube.

About the speaker:

Aaron Turon received his PhD from Northeastern University, where he focused on concurrent programming and verification. He is currently a Research Engineer at Mozilla Research working full time on the Rust programming language.

Contact information:

Aaron Turon
Mosilla Research