Specification and Verification of Distributed Protocols: Kapritsos @UMich
Raft Consensus Algorithm
Distributed == Relational - by Guyren Howe - FREST Substack
Idempotence Is Not a Medical Condition - ACM Queue
One VM to rule them all | Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Overview — Ray 2.34.0
New Directions in Cloud Programming - cidr2021_paper16.pdf
[POPL 2021] Keynote: "A Programmable Cloud: CALM Foundations and Open Challenges" by Joe Hellerstein - YouTube