<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>
<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>