Using LLMs for safe low-level programming | Microsoft Research Forum
7 882
50.5
Microsoft Research354 тыс
Следующее
348 дней – 1 19850:50Популярные
57 дней – 1 9650:52
120 дней – 21854:46Опубликовано 25 февраля 2025, 19:09
Aseem 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.
This session aired on February 25, 2025, at Microsoft Research Forum, Episode 5.
Register for the series: aka.ms/registerresearchforumYT...
Continue watching episode 5: aka.ms/researchforumYTe5
Explore all previous episodes: aka.ms/researchforumYTplaylist
This session aired on February 25, 2025, at Microsoft Research Forum, Episode 5.
Register for the series: aka.ms/registerresearchforumYT...
Continue watching episode 5: aka.ms/researchforumYTe5
Explore all previous episodes: aka.ms/researchforumYTplaylist
Свежие видео
5 дней – 10 3925:33
8 дней – 1 463 5220:31
9 дней – 28 2730:40
11 дней – 5 28721:12
Случайные видео
33 дня – 1 0220:39
69 дней – 1 2360:14
248 дней – 3 272 6826:13
289 дней – 102 9980:09
24.10.22 – 6 33213:08
31.07.15 – 1 0971:57
2 дня – 67 6520:12
4 дня – 64 6640:16
5 дней – 2744:27
6 дней – 1 7180:15
7 дней – 1760:24
9 дней – 662 2711:00
2 дня – 1 135 4770:44