Session

Microsoft's Safe Systems Programming Languages Effort

with Dean Bryen, Ryan Levick

The software industry has a problem: the base of our mission critical systems is usually written in unsafe languages like C++. The Safe Systems Programming Languages effort was formed to address this issue in many ways including adopting the most promising existing safe systems language in the industry: Rust.