X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/4a54e6cc7167fd88731c47681e3ff7de1a2c57b1..5dafbfbac9096a3a46e1a90d2e293c19901dd6ff:/research/publications.html?ds=inline

diff --git a/research/publications.html b/research/publications.html
index 82c264b..5a7d7b3 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -103,6 +103,15 @@ slug: Publications
 
 <h2>Workshop Talks</h2>
 
+<h3>2020</h3>
+
+<ul><li>
+  <b>Stacked Borrows: An Aliasing Model for Rust</b><br/>
+  Ralf Jung<br>
+  <i>At <a href="https://agozillon.github.io/PRiML/">PRiML 2020</a> (invited talk)</i><br>
+  [<a href="rust/talk-priml2020.pdf">slides</a>]
+</li></ul>
+
 <h3>2019</h3>
 
 <ul><li>