add link to paper

Author: utaal

site/index.html

@@ -17,7 +17,7 @@
             <span class="highlight-1">This website and associated GitHub Repository <a href="https://github.com/verus-lang/paper-sosp24-artifact">https://github.com/verus-lang/paper-sosp24-artifact</a>
             contain the artifact for the paper:</span>
 
-            <h1 style="margin-top: 10px; margin-bottom: 10px;">Verus: A Practical Foundation for Systems Verification</h1>
+            <h1 style="margin-top: 10px; margin-bottom: 10px;"><a href="https://dl.acm.org/doi/10.1145/3694715.3695952">Verus: A Practical Foundation for Systems Verification</a></h1>
 
             Andrea Lattuada (MPI-SWS),
             Travis Hance (Carnegie Mellon University),