Главная
Study mode:
on
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
Description:
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.

Safe Systems Software and the Future of Computing - Closing Keynote

Rust
Add to list
0:00 / 0:00