Using LLMs for safe low-level programming | Microsoft Research Forum
41Aseem Rastogi, Principal Researcher, and Pantazis Deligiannis, Principal Research Engineer from Microsoft Research FoSSE (Future of Scalable Software Engineering) discuss the technical results from ICSE'2025 on using Large Language Models (LLMs) for safe low-level programming. The results demonstrate LLMs inferring machine-checkable memory safety invariants in legacy C code, and how LLMs assist in fixing compilation errors in Rust codebases.
LLM assistance for memory safety: https://www.microsoft.com/en-us/research/uploads/prod/2024/08/main.pdf
RustAssistant: Using LLMs to fix compilation errors in Rust code: https://www.microsoft.com/en-us/research/uploads/prod/2024/08/paper.pdf
This session aired on February 25, 2025, at Microsoft Research Forum, Episode 5.
Register for the series: https://aka.ms/registerresearchforumYTe5
Continue watching episode 5: https://aka.ms/researchforumYTe5
Explore all previous episodes: https://aka.ms/researchforumYTplaylist