Guaranteeing memory safety in Rust

Event will be delayed due to technical issues

# Abstract

Rust is a new programming language targeting systems-level applications. Rust offers a similar level of control over performance to C++, but guarantees type soundness, memory safety, and data-race freedom. One of Rust's distinguishing features is that, like C++, it supports stack allocation and does not require the use of a garbage

This talk covers the basics of Rust, with an emphasis on the type system. We show how Rust employs ownership and regions in order to guarantee memory safety, and how these same techniques can be generalized to provide data-race freedom.

# Bio

Nicholas Matsakis is a senior researcher at Mozilla research. He focuses on safe support for parallelism in prorgramming languages. He is currently working on the Rust programming language as well as Parallel JavaScript.

Start time:
Location: SFO Commons
Duration: 48 minutes
Channels: Main, Mozilla Research, Rust

Tags: rust

Views since archived: 30,249

Small (640x380) Big (896x504)

WebM (HD) , Mpeg4 (HD)
To download, right-click and select "Save Link As..."


Loading comments. Please wait…

You must be signed in to post comments.