link to compcert

[web.git] / research / publications.html

diff --git a/research/publications.html b/research/publications.html
index 0d600f5c5ff2fae3b3fdfd6953c72de2eb67c82d..5b30140ea288917094269b959a961a3dd09d44d8 100644 (file)
--- a/research/publications.html
+++ b/research/publications.html
@@ -13,10 +13,18 @@ slug: Publications
 
 <h3>2018</h3>
 
 
 <h3>2018</h3>
 

+<ul><li>
+  <b>MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic</b><br/>
+  Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer<br>
+  In <a href="https://icfp18.sigplan.org/">ICFP 2018</a>: 23nd ACM SIGPLAN International Conference on Functional Programming<br>
+  [<a href="http://iris-project.org/pdfs/2018-icfp-mosel-final.pdf">paper</a>] [<a href="http://iris-project.org/mosel/">paper website</a>  (incl. appendix and Coq formalization)]
+</li></ul>
+

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

-  [<a href="https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf">paper</a>] [<a href="http://www.mpi-sws.org/~dreyer/papers/rustbelt/">paper website</a>  (incl. appendix and Coq formalization)]
+  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>
 
 <h3>2017</h3>
 </li></ul>
 
 <h3>2017</h3>