From e53cc189578e746470272a98cefaef484fc07518 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 8 Jul 2018 15:23:04 +0200
Subject: [PATCH] add MoSeL paper

---
 research/publications.html | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/research/publications.html b/research/publications.html
index b54e8de..5b30140 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -13,6 +13,13 @@ slug: Publications
 
 <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>
-- 
2.30.2