projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
9797304
)
forgot to add POPL to RustBelt publication
author
Ralf Jung
<post@ralfj.de>
Sat, 3 Mar 2018 12:20:51 +0000
(13:20 +0100)
committer
Ralf 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>