PDXRust October 2016: RustProof

496 views · Published 7 October 2016 · 27:46 · Indexed 4 October 2026

Channel: Rust Programming Language · 2016 · Science & Technology

Watch on YouTube

PDXRust: PSU Capstone team shares progress on static analysis using MIR

More on http://www.meetup.com/PDXRust/events/234601233/

Help us caption & translate this video!

http://amara.org/v/2Fi3/

More from this channel

• 1:00:14 Rust Meetup Cologne (2016-06-06): Alex Crichton - State of Rust 2016

  Rust Programming Language

  1,991 views · 1 October 2016

• 48:36 PDXRust July 2016: Andy Grover - Froyo

  Rust Programming Language

  322 views · 7 October 2016

• 27:09 Brian Pearce - Learning to Love the Unfamiliar

  Rust Programming Language

  1,933 views · 15 November 2016

• 22:20 Kai Michaelis - Panopticon - A Libre Cross-Platform Disassembler in Rust

  Rust Programming Language

  891 views · 25 November 2016

• 25:50 Sharon Steed - Empathetic communication: why vulnerability is the key to collaboration

  Rust Programming Language

  1,335 views · 21 December 2016

• 8:48 Procedural Macros in Rust

  Rust Programming Language

  2,579 views · 3 January 2017

• 1:19:39 Bay Area Rust Meetup March 2014

  Rust Programming Language

  131 views · 3 January 2017

• 1:35:53 Bay Area Rust Meetup May 2016

  Rust Programming Language

  154 views · 3 January 2017