From d640e3d0c7b1994bee780a93ff6aa3532a4f7632 Mon Sep 17 00:00:00 2001 From: Andrea Lattuada Date: Fri, 20 Sep 2024 15:27:56 +0200 Subject: [PATCH] add landing page for artifact --- site/index.html | 48 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 site/index.html diff --git a/site/index.html b/site/index.html new file mode 100644 index 0000000..c53f5e9 --- /dev/null +++ b/site/index.html @@ -0,0 +1,48 @@ + + + + Verus: A Practical Foundation for Systems Verification (Artifact) + + + + + + + + +
+
+
+
+ This website and associated GitHub Repository https://github.com/verus-lang/paper-sosp24-artifact + contain the artifact for the paper: + +

Verus: A Practical Foundation for Systems Verification

+ + Andrea Lattuada (MPI-SWS), + Travis Hance (Carnegie Mellon University), + Jay Bosamiya (Microsoft Research), + Matthias Brun (ETH Zurich), + Chanhee Cho (Carnegie Mellon University), + Hayley LeBlanc (University of Texas at Austin), + Pranav Srinivasan (University of Michigan), + Reto Achermann (University of British Columbia), + Tej Chajed (University of Wisconsin-Madison), + Chris Hawblitzel (Microsoft Research), + Jon Howell (VMware Research), + Jacob R. Lorch (Microsoft Research), + Oded Padon (Weizmann Institute of Science), + Bryan Parno (Carnegie Mellon University) + +
+
+ The artifact guide (/guide.html) contains instructions to reproduce the results in the paper. +
+
+
+
+ + + + +