Closing Keynote: Safe Systems Software and the Future of Computing
summary
A project builds a Rust-like safe systems language and a greenfield OS called Midori, runs the Microsoft speech server replacing 1 million lines of C++ and reaches performance parity with Linux and Windows. A team of about 100 writes 5–7 million lines of safe code, showing memory, type and concurrency safety plus data-parallel gains and useful fail-fast behavior. Shortcomings include poor short-term productivity, rough ergonomics and lack of incremental adoption, so the prototype succeeds technically but fails to ship broadly.
AI-written summary · about
chapters (31)
- 0:00Introduction
- 1:06Agenda
- 1:41Joes background
- 4:00Windows
- 4:51What do we do
- 6:35Starting from scratch
- 9:53Static analysis
- 10:39CSharp
- 11:02Advanced Systems
- 13:58Windows Project
- 14:23Safe Systems Challenges
- 15:22Outcome
- 17:21Key Lessons
- 17:34Inspiration Innovation
- 23:24Short Term Productivity
- 25:00Boiling the Ocean
- 25:37Type Systems
- 30:47Reliability
- 32:00Systems programming
- 33:26Inertia
- 33:54What is the future
- 35:11Simon Paton Jones
- 35:41Systems everywhere
- 36:33Silver Bullet
- 36:50RIT Ops
- 37:03Incrementality
- 38:36One possibility
- 39:20Life is beautiful
- 39:36Finding a wave to ride
- 40:53Distributed systems
- 42:04All systems will be safe
related talks
27mClosing Keynote
01h 05mKeynote - Rust: confident, productive systems programming
35mMicrosoft is Getting Rusty: A Review of Successes and Challenges
45mBuilding Safe and Secure Systems in Rust
01h 01mMemory Safety: Rust vs. C
10mKeynote: Rust in the Linux Kernel: A New Era for Cloud Native Performance and Security
01h 40mKeynote: An Introduction to Rust
46mKeynote: Rust is not about memory safety