Stanford Seminar - The Rust Programming Language

"The Rust Programming Language" - Aaron Turon of Mozilla

Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to operating systems and programming languages. It is free and open to the public, with new lectures each week.

Learn more: http://bit.ly/WinYX5

0:00 Introduction
4:26 What is Control?
6:07 Zero-cost abstraction
7:15 What is safety?
11:10 What about GC?
12:26 Rust's solution
14:03 More to Rust than Safety
19:56 Compiler enforces moves
24:59 Aliasing
25:39 Mutable references
26:09 Efficient Iteration
26:47 What if from and to are equal?
31:01 Data race
41:31 Thread safety checking
52:33 Safe abstractions
56:22 Status of Rust