Alex Gaynor • 9/2/2019

A Memory Safety Research Agenda

This article proposes a research agenda for advancing memory safety in software. It focuses on practical challenges in migrating from unsafe languages (C/C++) to safe ones (Rust, Go, Swift), highlighting open questions in automated code conversion, reducing unsafe code usage, and building critical safe abstractions for popular libraries and systems.

0 comments

#programming languages #c #rust