projects / web.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: cc9c751)
forgot to add POPL to RustBelt publication
authorRalf Jung <post@ralfj.de>
Sat, 3 Mar 2018 12:20:51 +0000 (13:20 +0100)
committerRalf Jung <post@ralfj.de>
Sat, 3 Mar 2018 12:21:21 +0000 (13:21 +0100)
research/publications.html patch | blob | history

diff --git a/research/publications.html b/research/publications.html
index 97ad686ac1feca7805497aaa5c5b3dd5330e1458..b54e8de03cd163756e7383ce91843c276aece638 100644 (file)
--- a/research/publications.html
+++ b/research/publications.html
@@ -16,6 +16,7 @@ slug: Publications
 <ul><li>
   <b>RustBelt: Securing the Foundations of the Rust Programming Language</b><br/>
   Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer<br>
 <ul><li>
   <b>RustBelt: Securing the Foundations of the Rust Programming Language</b><br/>
   Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer<br>
+  In <a href="https://popl18.sigplan.org/">POPL 2018</a>: 45th ACM SIGPLAN Symposium on Principles of Programming Languages<br>
   [<a href="https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf">paper</a>] [<a href="https://plv.mpi-sws.org/rustbelt/popl18/">paper website</a>  (incl. appendix and Coq formalization)] [<a href="https://www.youtube.com/watch?v=Cy9NUVaiYUg" target="_blank">talk (YouTube)</a>] [<a href="https://plv.mpi-sws.org/rustbelt/popl18/talk.pdf">talk (slides)</a>]
 </li></ul>
 
   [<a href="https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf">paper</a>] [<a href="https://plv.mpi-sws.org/rustbelt/popl18/">paper website</a>  (incl. appendix and Coq formalization)] [<a href="https://www.youtube.com/watch?v=Cy9NUVaiYUg" target="_blank">talk (YouTube)</a>] [<a href="https://plv.mpi-sws.org/rustbelt/popl18/talk.pdf">talk (slides)</a>]
 </li></ul>
 
sources for my website