From eb19abcc6b144327217ad90534610f6cdef9a9ee Mon Sep 17 00:00:00 2001 From: Sam Miller Date: Sun, 15 Jan 2023 08:33:19 -0500 Subject: [PATCH] Update broken link to IronFleet paper (#709) Current link is broken. IronFleet paper retrieved via link on Microsoft Research [publication](https://www.microsoft.com/en-us/research/publication/ironfleet-proving-practical-distributed-systems-correct/) page. Paper is formatted in two-columns, further indicating that it is the same paper as the previously linked one. --- distributed_systems/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/distributed_systems/README.md b/distributed_systems/README.md index f8b4efb..c246f4b 100644 --- a/distributed_systems/README.md +++ b/distributed_systems/README.md @@ -269,4 +269,4 @@ Full Cluster Geo-replication](tiered-replication-a-cost-effective-alternative-to An Analysis of Production Failures in Distributed Data-Intensive Systems](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-yuan.pdf) -* :scroll: [IronFleet: Proving Practical Distributed Systems Correct](http://research.microsoft.com/pubs/255833/IronFleet-twocol.pdf) +* :scroll: [IronFleet: Proving Practical Distributed Systems Correct](https://www.microsoft.com/en-us/research/wp-content/uploads/2015/10/ironfleet.pdf))