X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/09fc08dfcaed407c3b8e28a85df7f5923518d264..98ea116b7ff5f110b6141a6d2d87fb6ec1acaf0b:/research/publications.html?ds=sidebyside diff --git a/research/publications.html b/research/publications.html index 5a7d7b3..cbe4de4 100644 --- a/research/publications.html +++ b/research/publications.html @@ -14,6 +14,13 @@ slug: Publications <h3>2020</h3> +<ul><li> + <b>Understanding and Evolving the Rust Programming Language</b><br/> + Ralf Jung<br> + <i>PhD Thesis</i><br> + [<a href="thesis.html">website</a>] +</li></ul> + <ul><li> <b>The Future is Ours: Prophecy Variables in Separation Logic</b><br/> Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs<br> @@ -99,7 +106,6 @@ slug: Publications <i>Bachelor Thesis</i><br> [<a href="bachelor/bachelor.pdf">thesis</a>] [<a href="bachelor/bachelor-talk.pdf">slides</a>] [<a href="bachelor/bachelor.zip">coq</a>] </li></ul> -</p> <h2>Workshop Talks</h2> @@ -118,7 +124,7 @@ slug: Publications <b>Logical Atomicity in Iris: the Good, the Bad, and the Ugly</b><br/> Ralf Jung<br> <i>At <a href="https://iris-project.org/workshop-2019/">Iris Workshop 2019</a></i><br> - [<a href="iris/logatom-talk-2019.pdf">slides</a>] + [<a href="iris/talk-iris2019.pdf">slides</a>] </li></ul> <h3>2015</h3>