From: Ralf Jung <post@ralfj.de>
Date: Wed, 3 Dec 2025 15:35:45 +0000 (+0100)
Subject: add Miri paper
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain

add Miri paper
---

diff --git a/research/papers/2026-popl-miri.pdf b/research/papers/2026-popl-miri.pdf
new file mode 100644
index 0000000..cb20c5d
Binary files /dev/null and b/research/papers/2026-popl-miri.pdf differ
diff --git a/research/publications.html b/research/publications.html
index 608689c..6af569f 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -5,6 +5,15 @@ slug: Publications
 
 <h2>Conference and journal papers</h2>
 
+<h3>2026</h3>
+
+<ul><li>
+  <b>Miri: Practical Undefined Behavior Detection for Rust</b><br>
+  Ralf Jung, Benjamin Kimock, Christian Poveda, Eduardo Sánchez Muñoz, Oli Scherer, Qian Wang<br>
+  <i>In <a href="https://popl26.sigplan.org/">POPL 2026</a></i><br>
+  [<a href="papers/2026-popl-miri.pdf">paper</a>] [<a href="https://plf.inf.ethz.ch/research/popl26-miri.html">paper website</a>]
+</li></ul>
+
 <h3>2025</h3>
 
 <ul><li>