Completed
Type Systems
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Safe Systems Software and the Future of Computing - Closing Keynote
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Agenda
- 3 Joes background
- 4 Windows
- 5 What do we do
- 6 Starting from scratch
- 7 Static analysis
- 8 CSharp
- 9 Advanced Systems
- 10 Windows Project
- 11 Safe Systems Challenges
- 12 Outcome
- 13 Key Lessons
- 14 Inspiration Innovation
- 15 Short Term Productivity
- 16 Boiling the Ocean
- 17 Type Systems
- 18 Reliability
- 19 Systems programming
- 20 Inertia
- 21 What is the future
- 22 Simon Paton Jones
- 23 Systems everywhere
- 24 Silver Bullet
- 25 RIT Ops
- 26 Incrementality
- 27 One possibility
- 28 Life is beautiful
- 29 Finding a wave to ride
- 30 Distributed systems
- 31 All systems will be safe
