From: Ralf Jung Date: Wed, 4 Feb 2026 10:20:06 +0000 (+0100) Subject: add link to Miri talk X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/c085f53e63f69c049614a05c3a4dd741684c5aee?ds=sidebyside add link to Miri talk --- diff --git a/personal/_posts/2025-12-22-miri.md b/personal/_posts/2025-12-22-miri.md index c6ec030..d6164d8 100644 --- a/personal/_posts/2025-12-22-miri.md +++ b/personal/_posts/2025-12-22-miri.md @@ -26,6 +26,8 @@ To learn more about Miri, you can read the [**paper**](https://plf.inf.ethz.ch/r Yes, there's a paper! That's the first bit of news. *"Miri: Practical Undefined Behavior Detection for Rust"* has been accepted to POPL 2026, one of the most prestigious and competitive conferences for fundamental research in Programming Languages. +**Update (2026-02-04):** A recording of the conference talk about this paper is now also [available online](https://www.youtube.com/watch?app=desktop&v=9A8ZeDIStAs). + ## Miri progress The paper aside, what progress has Miri made in the last three years?