Programming: Research directions
- Updated
On this page
Making safer transitions feasible
Emerging direction · Engineering direction; reviewed 2026-11-03
Memory-safe roadmaps focus attention on what to replace, how to manage risk and how to measure progress. Mixed-language systems and long-lived dependencies make this a systems problem, not a syntax change. Incremental migrations must preserve compatibility while reducing exposure.
The Case for Memory Safe Roadmaps announcement — CISA and international partners · Source date: 2023 · Checked
Moving checks earlier without obscuring intent
Emerging direction · Language-design direction; reviewed 2026-11-03
Ownership illustrates how language rules can make resource constraints explicit before a program runs. Extending useful checks while keeping tools understandable remains a design challenge. Stronger guarantees apply only to the properties actually checked and the assumptions around them.
Ownership and compiler-checked memory management — The Rust Project · Checked