add Miri paper

diff --git a/research/papers/2026-popl-miri.pdf b/research/papers/2026-popl-miri.pdf
new file mode 100644 (file)
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 608689c46a48e2d9e29a637228bb67759f5eef2c..6af569f73d44c94600b0b6e86498ec77bd4f1af5 100644 (file)
--- a/research/publications.html
+++ b/research/publications.html
@@ -5,6 +5,15 @@ slug: Publications
 
 <h2>Conference and journal papers</h2>
 
 
 <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>
 <h3>2025</h3>
 
 <ul><li>