• Brian's talk on the Rust Runtime
• OS threads vs. green threads
• Define the runtime
• Memory model