From b25c620c42f198b7ed5de4e26b8d0462f45da779 Mon Sep 17 00:00:00 2001
From: geno <gabriele.genovese2@studio.unibo.it>
Date: Fri, 25 Apr 2025 12:55:12 +0200
Subject: [PATCH] fix some broken links

---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 2c269a2..19fc08b 100644
--- a/index.html
+++ b/index.html
@@ -267,7 +267,7 @@ <h2>Publications</h2>
     Michael D. Ernst, and
     Thomas Anderson.
     <br />
-    <a href="http://verdi.uwplse.org/">Verdi: A Framework for Implementing and Verifying Distributed Systems</a>.
+    <a href="https://dl.acm.org/doi/pdf/10.1145/2737924.2737958">Verdi: A Framework for Implementing and Verifying Distributed Systems</a>.
     <br />
     Programming Language Design and Implementation (PLDI), June 2015.
     </p>
@@ -289,7 +289,7 @@ <h2>Publications</h2>
     Anil Madhavapeddy, and
     Jon Crowcroft.
     <br />
-    <a href="https://www.cl.cam.ac.uk/~ms705/pub/papers/2015-osr-raft.pdf">Raft Refloated: Do We Have Consensus?</a>.
+    <a href="https://api.repository.cam.ac.uk/server/api/core/bitstreams/c9bcee5b-a1cb-4147-9281-1a05632f5aa3/content">Raft Refloated: Do We Have Consensus?</a>.
     <br />
     SIGOPS Operating Systems Review, January 2015.
     </p>