[Pl-seminar] 7/18: Niko Matsakis, "Guaranteeing memory safety in Rust"

Vincent St-Amour stamourv at ccs.neu.edu
Sun Jul 14 21:33:26 EDT 2013

NEU Programming Languages Seminar presents

Niko Matsakis

Thursday, 7/18
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

Guaranteeing memory safety in Rust

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.

More information about the pl-seminar mailing list