diff --git a/README.md b/README.md
index 9a6c85b..e011330 100644
--- a/README.md
+++ b/README.md
@@ -1,9 +1,13 @@
+<!---
+This file was generated from `meta.yml`, please do not edit manually.
+Follow the instructions on https://github.com/coq-community/templates to regenerate.
+--->
 # Verdi Raft
 
 [![Docker CI][docker-action-shield]][docker-action-link]
 
-[docker-action-shield]: https://github.com/uwplse/verdi-raft/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/uwplse/verdi-raft/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/uwplse/verdi-raft/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/uwplse/verdi-raft/actions/workflows/docker-action.yml
 
 
 
@@ -32,8 +36,8 @@ Included is a verified fault-tolerant key-value store using Raft.
   - [Cheerios](https://github.com/uwplse/cheerios)
 - Coq namespace: `VerdiRaft`
 - Related publication(s):
-  - [Verdi: A Framework for Implementing and Verifying Distributed Systems](http://verdi.uwplse.org/verdi.pdf) doi:[10.1145/2737924.2737958](https://doi.org/10.1145/2737924.2737958)
-  - [Planning for Change in a Formal Verification of the Raft Consensus Protocol](http://verdi.uwplse.org/raft-proof.pdf) doi:[10.1145/2854065.2854081](https://doi.org/10.1145/2854065.2854081)
+  - [Verdi: A Framework for Implementing and Verifying Distributed Systems](https://homes.cs.washington.edu/~mernst/pubs/verify-distsystem-pldi2015.pdf) doi:[10.1145/2737924.2737958](https://doi.org/10.1145/2737924.2737958)
+  - [Planning for Change in a Formal Verification of the Raft Consensus Protocol](https://homes.cs.washington.edu/~mernst/pubs/raft-proof-cpp2016.pdf) doi:[10.1145/2854065.2854081](https://doi.org/10.1145/2854065.2854081)
 
 ## Optional requirements
 
diff --git a/meta.yml b/meta.yml
index fc365fc..528bf75 100644
--- a/meta.yml
+++ b/meta.yml
@@ -17,10 +17,10 @@ description: |-
   Included is a verified fault-tolerant key-value store using Raft.
 
 publications:
-- pub_url: http://verdi.uwplse.org/verdi.pdf
+- pub_url: https://homes.cs.washington.edu/~mernst/pubs/verify-distsystem-pldi2015.pdf
   pub_title: 'Verdi: A Framework for Implementing and Verifying Distributed Systems'
   pub_doi: 10.1145/2737924.2737958
-- pub_url: http://verdi.uwplse.org/raft-proof.pdf
+- pub_url: https://homes.cs.washington.edu/~mernst/pubs/raft-proof-cpp2016.pdf
   pub_title: 'Planning for Change in a Formal Verification of the Raft Consensus Protocol'
   pub_doi: 10.1145/2854065.2854081