add PRiML talk (and reference it)
authorRalf Jung <post@ralfj.de>
Mon, 31 Aug 2020 09:59:49 +0000 (11:59 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 31 Aug 2020 09:59:49 +0000 (11:59 +0200)
research/publications.html
research/rust/talk-priml2020.pdf [new file with mode: 0644]

index 82c264b7755b01a249be305cc672d97a67459d71..5a7d7b3fc722e8115c29e698dee6a9b6f6394c50 100644 (file)
@@ -103,6 +103,15 @@ slug: Publications
 
 <h2>Workshop Talks</h2>
 
 
 <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>
 <h3>2019</h3>
 
 <ul><li>
diff --git a/research/rust/talk-priml2020.pdf b/research/rust/talk-priml2020.pdf
new file mode 100644 (file)
index 0000000..95e5dbe
Binary files /dev/null and b/research/rust/talk-priml2020.pdf differ