Safe Systems Software and the Future of Computing - Closing Keynote

Explore the future of safe systems programming in this closing keynote from RustConf 2017. Delve into Joe Duffy's experiences at Microsoft building an operating system using a Rust-like safe systems language and his efforts to apply these principles to Windows. Gain insights into technical and cultural challenges faced during the process. Learn about the importance of safe programming languages in systems software, the potential timeline for widespread adoption, and strategies for overcoming obstacles. Discover key lessons on innovation, productivity, type systems, reliability, and incrementality in systems programming. Examine the concept of "boiling the ocean" and its implications for large-scale changes. Contemplate the future of computing, distributed systems, and the potential for all systems to become safe. Engage with thought-provoking ideas on the evolution of systems programming and its impact on the broader landscape of technology.

Introduction
Agenda
Joes background
Windows
What do we do
Starting from scratch
Static analysis
CSharp
Advanced Systems
Windows Project
Safe Systems Challenges
Outcome
Key Lessons
Inspiration Innovation
Short Term Productivity
Boiling the Ocean
Type Systems
Reliability
Systems programming
Inertia
What is the future
Simon Paton Jones
Systems everywhere
Silver Bullet
RIT Ops
Incrementality
One possibility
Life is beautiful
Finding a wave to ride
Distributed systems
All systems will be safe